华中科技大学数据库课件第02章节 关系数据库-3.pptVIP

第2章 关系数据库 2.1 关系模型概述 2.2 关系数据结构 2.3 关系的完整性 2.4 关系代数 2.5 关系演算 2.6 小结 2.5 关系演算 2.5.1 元组关系演算 2.5.2 域关系演算 2.5.1 元组关系演算 原子公式: 以下三类 t∈R，写成R(t) t是关系R中的一个元组 t[i] ? u[j] t[i]与u[j]为元组分量，他们之间满足比较关系? ,元组t的第i个分量与元组u的第j个分量满足比较关系? t[i] ? c 分量t[i]与常量c之间满足比较关系? 2.5.1 元组关系演算 公式的递归定义 原子公式是公式 如果P是公式，那么┑P也是公式 如果P1 , P2是公式，则P1 ? P2 , P1 ? P2 , P1 ? P2也是公式 如果P(t)是公式，则?t? (P(t))是公式 如果P(t)是公式，则?t? (P(t)) 也是公式 2.5.1 元组关系演算 运算优先级(从高到低) 括号优先 算术比较运算符 ( ≥ = ≤ ≠) 量词次之， ?高于? 逻辑运算符:┑, ? , ? 2.5.1 元组关系演算 公式的等价性 P1 ?P2 ? ┑(┑P1 ? ┑P2) ? t (P(t)) ? ┑?t (┑P(t)) P1 ? P2 ? ┑P1 ?P2 2.5.1 元组关系演算 [例1] 2.5.1 元组关系演算 [例2] 2.5.1 元组关系演算 [例3] 2.5.1 元组关系演算 [例4] 2.5.1 元组关系演算 综合举例 2.5.1 元组关系演算 2.5.1 元组关系演算 [例1] 查询信息系(IS)的全体学生 ?Sdept =‘IS’ (S)  {t | S(t) ? t[Sdept] ?’IS’} [例2] 查询年龄小于20岁的学生 ?Sage 20 (S) {t | S(t) ? t[Sage] 20} [例3] 查询学生的姓名和所在系 ?Sname, Sdept(S) 或 ?2,5(S) {t| (?u)(S(u) ? t[1]=u[Sname] ? t[2] = u[Sdept])} 2.5.1 元组关系演算 [例4] 查选修了2号课程的学生的学号 ?Sno(?Cno =‘2’ (SC) ){t| (?u)(SC(u) ? u[Cno]=‘2’ ? t[1] = u[Sno])} [例5] 查2号课程的学生学号和成绩 ?Sno,Grade(?Cno =‘2’ (SC) ){t| (?u)(SC(u) ? u[Cno]=‘2’ ? t[1] = u[Sno] ? t[2] = u[Grade] )}  2.5.1 元组关系演算 [例6] 查选修2号课程的学生姓名和成绩 ?Sname,Grade(?Cno =‘2’ (S |×| SC) )  {t| (?u) (?v)(S(u) ? SC(v) ? v[Cno]=‘2’ ? u[Sno] = v[Sno] ? t[1] = u[Sname]  ? t[2] = v[Grade])} 2.5.1 元组关系演算 [例7] 查选修“数学”的学生学号，姓名及该课程 的成绩?Sno,Sname,Grade(?Cname =‘数学’ (S |×| SC |×| C ) ) {t| (?u) (?v) (?w)(S(u) ? SC(v) ? C[w]  ? w[Cname]=‘数学’ ? u[Sno] = v[Sno] ? v[Cno] = w[Cno] ? t[1] = u[Sno] ? t[2] = u[Sname] ? t[3] = v[Grade])} 2.5.1 元组关系演算 [例8] 查至少选修1号和3号课程的学生学号 ?Sno,Cno(SC) ? ? Cno=‘1’ V Cno = ‘3’(C)  ?Sno(?2 =‘1’ ^ 5=‘3’ (SC |×| SC) ) {t| (?u) (?v) ( SC(u) ? SC(v) ? u[Sno] = v[Sno] ?u[Cno]=‘1’ ? v[Cno] = ‘3’ ? t[1] = u[Sno])} 2.5