安庆师范学院计算机与信息学院

安庆师范学院计算机与信息学院内容摘要：

troduction to Database System 参照完整性规则 (续 ) 选修（ 学号 ， 课程号 ，成绩） “ 学号 ” 和 “ 课程号 ” 是选修关系中的主属性 按照实体完整性和参照完整性规则，它们 只能取相应被参照关系中已经存在的主码 值 An Introduction to Database System 参照完整性规则 (续 ) 学生（ 学号 ，姓名，性别，专业号，年龄， 班长 ） “班长”属性值可以取两类值： （ 1）空值，表示该学生所在班级尚未选出班长，或该学生本人即是班长； （ 2）非空值，这时该值必须是本关系中某个元组的学号值 An Introduction to Database System 三、 用户定义的完整性  用户定义的完整性是针对某一具体关系数据库的约束条件 ， 反映某一具体应用所涉及的数据必须满足的语义要求。 An Introduction to Database System 用户定义的完整性 (续 ) 例 : 课程 (课程号 ， 课程名 ， 学分 )  “课程名 ” 属性必须取唯一值  非主属性 “ 课程名 ” 也不能取空值  “ 学分 ” 属性只能取值 {1， 2， 3， 4} An Introduction to Database System 关系代数  概述  传统的集合运算  专门的关系运算 An Introduction to Database System 概述 1. 关系代数 2. 关系代数运算的三个要素 3. 关系代数运算的分类 4. 表示记号 An Introduction to Database System 概述 一种抽象的查询语言 用对关系的运算来表达查询 An Introduction to Database System 概述 (续 ) 2． 关系代数运算的三个要素 运算对象：关系 运算结果：关系 运算符：四类 An Introduction to Database System 概述 (续 )  集合运算符  将关系看成元组的集合  运算是从关系的 “ 水平 ” 方向即行的角度来进行  专门的关系运算符  不仅涉及行而且涉及列  算术比较符  辅助专门的关系运算符进行操作  逻辑运算符  辅助专门的关系运算符进行操作 An Introduction to Database System 集合 运算 符 ∪ ∩ 并 差 交 广义笛卡尔积 比较运算符 ＞ ≥ ＜ ≤ ＝ ≠ 大于 大于等于 小于 小于等于 等于 不等于 运算符 含义 运算符 含义 表 关系代数运算符 概述 (续 ) An Introduction to Database System 专门的关系 运算符 σ π 247。 选择 投影 连接 除 逻辑运算符  ∧ ∨ 非 与 或 运算符 含义 运算符 含义 表 关系代数运算符（续） 概述 (续 ) An Introduction to Database System 概述 (续 ) 3．关系代数运算的分类 传统的集合运算 并 、 差 、 交 、 广义笛卡尔积 专门的关系运算 选择 、 投影 、 连接 、 除 An Introduction to Database System 概述 (续 ) 4．表示记号 （ 1） R， tR， t[Ai] 设关系模式为 R(A1， A2， … ， An) 它的一个关系设为 R。 tR表示 t是 R的一个元组 t[Ai]则表示元组 t中对应于属性 Ai的一个分量 An Introduction to Database System 概述 (续 ) （ 2） A， t[A]， A 若 A={Ai1， Ai2， … ， Aik}，其中 Ai1， Ai2， … ，Aik是 A1， A2， … ， An中的一部分，则 A称为属性列或属性组。 t[A]=(t[Ai1]， t[Ai2]， … ，t[Aik])表示元组 t在属性列 A上诸分量的集合。 A则表示 {A1， A2， … ， An}中去掉 {Ai1，Ai2， … ， Aik}后剩余的属性组。 An Introduction to Database System 概述 (续 ) （ 3） tr ts R为 n目关系， S为 m目关系。 tr R， tsS， tr ts称为元组的连接。 它是一个 n + m列的元组，前 n个分量为 R中的一个 n元组，后 m个分量为 S中的一个 m元组。 An Introduction to Database System 概述 (续 ) （ 4） 象集 Zx 给定一个关系 R（ X， Z） ， X和 Z为属性组。 当t[X]=x时 ， x在 R中的 象集 （ Images Set） 为： Zx={t[Z]|t R， t[X]=x} 它表示 R中属性组 X上值为 x的诸元组在 Z上分量的集合。 An Introduction to Database System 传统的集合运算  并  差  交  广义笛卡尔积 An Introduction to Database System 1. 并（ Union）  R和 S  具有相同的目 n（ 即两个关系都有 n个属性 ）  相应的属性取自同一个域  R∪ S  仍为 n目关系 ， 由属于 R或属于 S的元组组成 R∪ S = { t|t  R∨ t S } An Introduction to Database System 并 (续 ) A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b1 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R∪ S An Introduction to Database System 2. 差（ Difference）  R和 S  具有相同的目 n  相应的属性取自同一个域  R S  仍为 n目关系 ， 由属于 R而不属于 S的所有元组组成 R S = { t|tR∧ tS } An Introduction to Database System 差 (续 ) A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b1 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S RS An Introduction to Database System 3. 交（ Intersection）  R和 S  具有相同的目 n  相应的属性取自同一个域  R∩S  仍为 n目关系 ， 由既属于 R又属于 S的元组组成 R∩S = { t|t  R∧ t S } R∩S = R –(RS） An Introduction to Database System 交 (续 ) A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b2 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R ∩ S An Introduction to Database System 4. 广义笛卡尔积  R  n目关系 ， k1个元组  S  m目关系 ， k2个元组  R S  列： （ n+m） 列的元组的集合  元组的前 n列是关系。