数据库第二章 的关系数据库.ppt

形式化定义 { 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.5 关系演算(续)- 域关系演算 A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 R S A B C 4 5 6 R1={ x y z | R( x, y, z) ? x5 ? y3} D E 7 5 4 8 W 2.5 关系演算(续)- 域关系演算 A B C 1 2 3 4 5 6 7 8 9 R D E 7 5 4 8 W B D A 5 7 4 8 7 7 8 4 7 R2={ x y z| (?u) (?v) (R(z, x, u) ?W(y, v) ? uv)} 2.5 关系演算(续)- 域关系演算 A B C 1 2 3 4 5 6 7 8 9 R A B C 1 2 3 4 5 6 7 8 9 3 4 6 R2={xyz| R(x, y, z) ? (S( x, y, z) ? y=4)} D E 7 5 4 8 W 2.5 关系演算(续)- 域关系演算 A B C 1 2 3 3 4 6 5 6 9 S 2.6 小结 关系模型 关系数据结构及定义 完整性约束 关系代数:5个基本运算 关系演算:元组、域 2.4 关系代数（续） 2.4.3 专门的关系运算 4. 除 1）特殊用途 查询选修了全部课程的学生姓名 查询选修了所有开课院系为管理学院的课程的学生 All, Every 和整数的除运算的比较 姓名 课程 张蕊 物理 王红 数学 张蕊 数学 课程 数学 物理 张蕊同学所选修的全部课程 2.4 关系代数（续） 2.4.3 专门的关系运算 4. 除 2）象集(Image Set) 关系R(X , Z), X, Z是属性组，x是X上的取值，定义x在R中的象集为 Zx = { t[Z] | t?R ? t[X]= x } 从R中选出在X上取值为x的元组，去掉X上的分量，只留Z上的分量 2.4 关系代数（续） 2.4.3 专门的关系运算 4. 除 R 姓名 课程 张军 物理 王红 数学 张军 数学 Z X S 课程 数学 物理 Z 2.4 关系代数（续） 如何得到选修了全部课程的学生？ 做法：逐个考虑选课关系SC中的元组r，求r在姓名SN上的分量x，再求x在选课关系中的象集课程Cx，若Cx包含了所有的课程C，则x是满足条件的一个元组 选修全部课 程的学生 x同学所选修 的全部课程 全部课程 { x | x=r[SN] ? r?SC ? Cx?C } 2.4 关系代数（续） 2.4.3 专门的关系运算 4. 除 3）定义 R(X , Y) ? S(Y) = { x | x=r[x] ? r?R ? Yx? ?Y(S)} R?S = ?X(R) ? ?X(?X(R) ? ?Y(S) ? R) 设关系R和S的元数分别为r和s（设rs0）,那么R÷S是一个（r-s）元的元组集合。（R÷S）是满足下列条件的最大关系：其中每个元组t与S中每个元组u组成的新元组t , u必在关系R中。为方便起见，我们假设S的属性为R中后S个属性。 除运算示例 I ? 物理 数学 课程 ＝ 物理 王红 数学 张军 数学 王红 物理 张军 课程 姓名 王红 张军 姓名 所有学生选修全部课程 ? ＝ 数学 张军 数学 王红 物理 张军 课程 姓名 物理 王红 数学 张军 数学 王红 物理 张军 课程 姓名 姓名 王红 没有选修全部课程的学生 姓名 王红 张军 姓名 王红 ? ＝ 姓名 张军 选修了全部课程的学生 除运算示例 II-1 A B C D a b c d a b e f a b d e b c e f e d c d e d e f C D c d e f R S A B a b b c e d ?AB (R) 除运算示例 II-2 A B C D a b c d a b e f b c c d b c e f e d c d e d e f ?AB (R) ? ?CD (S) ?AB (R) ? ?CD (S)-R A B C D b c c d R ? S= A B a b b c e d - A B b c = A B a b e d A B C 2 1 2 6 7 4 2 4 4 6 8 9 7 5 2 4 8 9 9 7 3 A D E 3 6 4 1 2 3 2