第三单元 关系运算.pptVIP

六、关系模型的形式定义(有三个组成部分) 数据结构： 数据操作： 完整性规则： 四、关系代数表达式及其应用实例 举例 假设学生数据库中的关系模式如下： S（SNO, SNAME, AGE, SEX, SDEPT） C（CNO, CNAME, CDEPT, TNAME） SC（SNO, CNO, GRADE） 试用关系代数表达式表示每个查询语句。 如果P1和P2是公式，在元组关系演算的公式中，存在下列等价转换规则： P1∧P2 ? ┐(┐P1∨┐P2) P1∨P2 ? ┐(┐P1∧┐P2） (?s)(P1(s)) ? ┐(?s)(┐P1(s)) (?s)(P1(s)) ?┐(?s) (┐P1(s)) P1?P2 ? ┐P1∨P2 6. 实例:用元组表达式形式表示下列查询 §4 关系演算 以数理逻辑中的谓词演算为基础，用公式表示关系演算的条件。 关系演算按所用到的变量不同可分为： 元组关系演算－－－以元组为变量； 域关系演算 －－－以域为变量。 一、元组关系演算 形式： {t∣?(t)} 其中 t：元组变量； ?：公式，公式有原子公式及运算符组成。 1. 原子公式有下列三种形式： ① R（t）： R 是关系名，t 是元组变量。 ② t[i]θu[j]: t 和 u是元组变量，θ是算术比较运算符。 ③ t[i]θC 或 Cθu[i]： t 和 u 是元组变量，c 是常量。 2.约束变量和自由变量 在一个公式中，如果一个元组变量的前面没有存在量词ョ或全称量词?的符号定义，称之为自由元组变量，否则称为约束元组变量。 3. 运算符及优先次序为： i.括号中运算符优先级最高 ii.算术比较运算符最高； iii.量词 ：存在量词ョ 全称量词? iv.逻辑运算符：? 、∧、∨ 优先级最高 4. 公式中变量的递归定义如下： ①每个原子公式是一个公式。其中的元组变量是自由变量; ②如果?1和?2是元组关系演算公式，则: ?1∧?2,?1∨?2,┓?1也是元组关系演算公式; ③若?是元组关系演算公式，则(?t)(?)也是元组关系演算公式; ④若?是元组关系演算公式，则(?t)(?)也是元组关系演算公式; ⑤在元组演算公式中，各种运算符的优先次序为： 括号,算术比较运算符,ョ, ?,? 、∧、∨ ⑥有限次地使用上述五条规则得