[工学]数据库5版讲稿第五章----其它关系语言.ppt

数据库系统概念关系模型 5.1 元组关系演算 概念 用一阶谓词演算表示关系的操作叫关系演算 设关系r有元组t1,t2,…tm，则它对应一个谓词P，t1,t2,…，tm是P的成真指派，其它非r中的任意元组则是P的成伪指派。 给出一个元组t，当它在r中时P(t)为真，否则P(t)为假。注意P(t)是一个谓词公式，它是由原子公式经复合运算而成。 元组关系演算 形式化定义 { t | P（t）} 表示所有使谓词P为真的元组集合 t为元组变量 P是公式 由原子公式和运算符组成 元组关系演算 原子公式 ，为三类： (1) t∈r 为原子公式。表示t是r的一个元组。 (2) u［i］θv［j］是原子公式。u，v是元组变量，θ是比较运算符，u［i］θv［j］表元组u的第i个分量与元组v的第j个分量间的比较运算。 (3) u［i］θ C 是原子公式。C为常数，θ比较运算符，u［i］θ C表示元组的第i个分量与常数的比较运算。 元组关系演算 公式的递归定义 原子公式是公式 如果P是公式，那么┑P也是公式 如果P1 , P2是公式，则P1 ? P2 , P1 ? P2 , P1 → P2也是公式 如果P(t)是公式，r是关系，则 ?t?r (P(t))和?t?r (P(t)) 也是公式 元组关系演算 其中?是“全称”量词，?是“存在量词”，若公式的变量前有? 或 ?量词，则这个变量为约束变量，否则为自由变量。这些概念与谓词逻辑中的概念一样。 给定集合r={t1,t2, … ,tn} ? t?r (P(t))= P(t1) ∧ P(t2) ∧…∧ P(tn) ? t?r (P(t)) = P(t1) ∨ P(t2) ∨…∨ P(tn) 元组关系演算 公式中运算符的优先次序为 (1) 比较运算符：＞，＜，≤,≥,=,≠； (2) 量词?，?； (3) “否定”：┑； (4) “与”，“或”，“蕴含”：∧，∨，→。 如果公式中使用括号，括号的优先级最高。 元组关系演算 公式的等价性 P1 ?P2 ? ┑(┑P1 ? ┑P2) ? t?r (P(t)) ? ┑?t ?r (┑P(t)) P1 ? P2 ? ┑P1 ?P2 元组关系演算 元组关系演算 元组关系演算 元组关系演算与关系代数的等价性 (1) r∪S=｛t｜ t∈r ∨ t∈s｝ (2) r-S=｛t｜ t∈r∧┑t∈s｝ (3) σF(r)=｛t｜t∈r ∧F′｝ (F′为F在谓词演算中的表示形式) (4) ΠAi1、Ai1,…,Aik (r)= ｛t｜?u∈r(t［Ai1］=u［Ai1］∧t［Ai2］=u［Ai2］∧…∧t［Aik］=u［Aik］｝ 元组关系演算 或者 ΠAi1、Ai1,…,Aik(r)=｛t｜?u∈r(t［1］=u［Ai1］∧t［2］=u［Ai2］∧…∧t［k］=u［Aik］｝ 结果元组有k个分量。 (5) r×s=｛t｜?u∈r (?v∈s (t［１］=u［１］∧…∧t［n］=u［n］∧t［n+1］=V［1］∧…∧t(n+m)=V［m］))｝ 注意：并、差、选择不用量词，投影、笛卡尔积用量词表示。 量词是扫描一遍的意义。 元组关系演算 学生 学号 姓名 性别 年龄 系别 98001 张平 男 19 计算机 98002 王欣 女 19 计算机 98003 李华 女 20 数学 98004 赵岩 男 18 外语 元组关系演算 课程 课程号 课程名 先行课号 学分 1 数据库 5 4 2 数学 6 3 软件工程 5 4 4 操作系统 7 4 5 数据结构 7 4 6 计算机网络 4 3 7 C语言 3 元组关系演算 选课 学号 课程号 成绩