第二章关系模型.ppt

形式化定义 { t | P（t）} 表示所有使谓词P为真的元组集合 t为元组变量 如果元组变量前有“全称”（?）或“存在”（?）量词，则称其为约束变量，否则称为自由变量 P是公式 由原子公式和运算符组成 原子公式 t∈R，写成R(t) t是关系R中的一个元组 t[i] ? u[j] t[i]与u[j]为元组分量，他们之间满足比较关系? ,元组t的第I个分量与元组u的第j个分量满足比较关系? t[i] ? c 分量t[i]与常量c之间满足比较关系? 公式的递归定义 原子公式是公式 如果P是公式，那么┑P也是公式 如果P1 , P2是公式，则P1 ? P2 , P1 ? P2 , P1 ? P2也是公式 如果P(t)是公式，R是关系，则?t?R (P(t))是公式 如果P(t)是公式，R是关系，则?t?R (P(t)) 也是公式 运算优先级(从高到低) 算术比较运算符最高 量词次之， ?高于? 逻辑运算符:┑, ? , ? 括号优先 公式的等价性 P1 ?P2 ? ┑(┑P1 ? ┑P2) ? t (P(t)) ? ┑?t (┑P(t)) P1 ? P2 ? ┑P1 ?P2 表达式的安全性 元组关系演算有可能会产生无限关系，这样的表达式是不安全的 如{t | ┑(t ? R)}，求所有不在R中的元组 引入公式P的域概念，用dom(P)表示 dom(P) = 显式出现在P中的值 + 在P中出现的关系的元组中出现的值（不必是最小集） 如dom ( t | ┑(t ? R) )是R中出现的所有值的集合 如果出现在表达式{t | P（t）}结果中的所有值均来自dom(P)，则称{t | P（t）}是安全的 元组关系演算与关系代数的等价性 投影 ∏A( R ) = { t | ?s?R ( s[A] = t[A] ) } 选择 ?F(A)(R) = { t | t?R ? F(t[A]) } 广义笛卡儿积 R(A) ? S(B) = { t | ?u?R?s?S( t[A] = u[A] ? t[B] = s[B])} 并 R?S={ t | t?R ? t?S} 差 R?S={ t | t?R ? ┑t?S} 形式化定义 { x1 x2 …xn | P（ x1 , x2 , … , xn ）} xi代表域变量，P为由原子构成的公式 原子公式 x1 , x2 , … , xn ? R，记R(x1 , x2 , … , xn ) xi是域变量或域常量 x ? y 域变量x与y之间满足比较关系? x ? c 域变量x与常量c之间满足比较关系? 2.4 关系代数(续) 查2号课程的学生姓名和成绩?Sname,Grade(?Cno =‘2’ (S SC) ) 或?Sname,Grade( ?Sno,Grade(?Cno =‘2’ (SC)) S) 查选修“数学”的学生学号，姓名及该课程的成绩?Sno,Sname,Grade(?Cname =‘数学’ (S SC C ) ) 查选修1号或2号课程的学生学号?Sno(?Cno =‘1’ V Cno = ‘2’ (SC) ) 2.4 关系代数(续) 查没学2号课程的学生姓名?Sname(S) - ?Sname(?Cno=‘2’ (S SC) ) 查询选修了全部课程的学生学号 ?Sno,Cno(SC) ? ?Cno(C) 2.4 关系代数(续) 5种基本运算 并、差、笛卡尔积、投影、选择 其它运算 交、连接、除 均可用5种基本运算来表达，引进它们并不增加语言的能力，但可以简化表达 R?S = R ? (R ? S) R S = ∏属性列表(?相同的属性列值相等(R) (R×S)) R ? S = ?X(R) ? ?X(?X(R) ? ?Y(S) ? R) 关系代数中，这些运算经有限次复合后形成的式子称为关系代数表达式 2.5 关系演算 以数理逻辑中的谓词演算为基础 元组关系演算，例ALPHA 域关系演算，例QBE 2.5 关系演算(续)- 元组关系演算 2.5 关系演算(续)- 元组关系演算 2.5 关系演算(续)- 元组关系演算 T T T F F T T T T F F F F F T T T F T T ┑p ? q p ?q ┑p q p 2.5 关系演算(续)- 元组关系演算 9 8 7 6 5 4 3 2 1 C B A 9 6 5 6 4 3 3 2 1 C B A R S 9 6 5 6 4 3 C B A { t | S(t) ? t[A] 2} 6 5 4 9 8 7 C B A { t | R(t) ? ┑S(t) } 2.5 关系演算(续)- 元组关系演算 9 8 7