《3.第6讲关系演算.pptVIP

本章内容 关系模型 关系代数 关系演算 3.3 关系演算 关系操作语言 关系演算语言 用数理逻辑中的谓词演算来表达关系的操作 用查询的结果应满足的谓词条件来表达查询要求。 3.3 关系演算 关系操作语言 关系R的表示 用集合描述法建立谓词与关系间的联系。关系R可以看成是满足一定条件的元组或属性域的集合。 R = ?u ? R（u）? u 可为元组变量或域变量 R（u）是一个谓词 3.3 关系演算 元组关系演算 关系R的表示 查询的形式 ?t ? ?（t）? t为元组变量，即查询的目标 ? 称为元组演算公式，即查询的条件 用到变量t ?（t）是布尔值true或false ?t ? ?（t）?表示使?（t）为真的元组t的集合。 3.3 关系演算 元组关系演算 元组演算公式 原子公式 R（t）：表示t是R中的元组。 t [ i ]θu [ j ]： 表示“元组t的第i个分量与元组u 的第j个分量进行比较运算θ”。 t [ i ]θC ：表示“元组t的第i个分量与常量C进行比较运算θ” 3.3 关系演算 元组关系演算 元组演算公式 递归定义 原子公式是公式。 设?1(t1)和?2(t2)是公式，则┐?1 (t1) ，?1(t1) ∧?2(t2) ，?1 (t1) ∨?2 (t2)也是公式。 设?（t）是公式，t是?（t）中的元组变量， 则（?t）?（t）， （? t）?（t）也是公式。 有限次使用上述规则得到的式子都是公式。 3.3 关系演算 元组关系演算 元组演算公式 约束变量与自由变量 若元组演算公式中的一个元组变量前有“全称量词”和“存在量词”，则称该变量为约束元组变量，否则称自由元组变量。 在公式（?t）?（t）和（? t）?（t）中, ?称为是量词的辖域。 t出现在(?t)或(?t)的辖域内，t 为约束元组变量，被量词所绑定。任何没有以这种方法显示绑定的变量都称为自由变量。 3.3 关系演算 元组关系演算 元组演算公式 公式运算符 算术比较符：，，≤，≥，≠，= 存在量词 ? 和全称量词 ? 逻辑运算符：? ，∧，∨，→ ?t ? R（t）∧? S（t）? 【例】应用实例数据库中的关系模式 （1）查询学生年龄大于等于20岁的学生姓名 （2）查询学号为“S1”的学生选修的课程中其成绩为“98”的所有课程号 （3）查询选修了课程名为“操作系统” 课程的所有学生的姓名 （4）查询选修所有课程的学生姓名 （5）查询不学“C2”课程的学生姓名与年龄； （6）查询至少选修学号为“S1”的学生所选修的所有课程的学生的学号 （6）查询至少选修学号为“S1”的学生所选修的所有课程的学生的学号 3.3 关系演算 域关系演算 关系R的表示 { t1t2…tk ? ?（t1，t2，…，tk）} t1,t2,…,tk为元组变量t的各个分量，称为域变量。 ?是域演算公式。 3.3 关系演算 域关系演算 域演算公式 原子公式 R（t1t2…tk） t iθu j t iθC 3.3 关系演算 域关系演算 域演算公式 递归定义 原子公式是公式。 设?1和?2是公式，则? ?1，?1∧?2，?1∨?2也是公式。 设?(t1，t2，…，tk)是公式，(?ti) ?(t1，t2，…，tk)，(?t i)?(t1，t1，…，tk)也是公式。 有限次使用上述规则得到的式子都是公式。 3.3 关系演算 关系数据模型是目前大多数DBMS所采用的数据模型。 关系数据结构 关系操作 关系完整性 关系数据模型是以集合论中的关系概念为基础发展起来的数据模型。 在关系模型中，实体以及实体之间的联系均用单一的结构类型即关系来表示。 关系数据模型中关系操作表达方式 ： 关系代数 基本关系代数运算 并、差、广义笛卡尔乘积、投影和选择 组合关系代数运算 交、除、连接 关系演算 元组关系演算 域关系演算 关系模型中有三类完整性约束： 实体完整性 参照完整性 用户定义的完整性 以关系代数为基础的数据库语言非过程性较弱，以关系演算为基础的数据库语言非过程性较强。 小结 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. C