第二章关系模型与关系运算.ppt

专门的关系运算（续） 4、除(Division) 给定关系R(X,Y)和S(Y,Z)，其中X,Y,Z为属性组。 R中的Y与S中的Y可以有不同的属性名，但必须在相 同的域上取值。R与S的商(除运算的结果)，记作R?S 是一个新关系P(X)，P是R中满足下列条件的元组在X 属性列上的投影：元组在X上分量值x的象集Yx包含S 在Y上投影的集合。 R?S={tr[X]|tr ?R ? ? Yx} 第二章 关系模型和关系运算 （1）除运算的步骤 ①计算S在属性组Y上的投影。 ②计算关系R 在属性组X上的投影。 ③计算（2）结果中各元素在关系R中的象集。 ④判断各个象集与（1）中投影的包含关系，若某个象集包含S在属性组Y上的投影，则该象集对应的X上的分量值即为除运算的结果元素。 第二章 关系模型和关系运算 除运算（续） 除运算举例 例2.23 已知关系R, S,求R?S。 A B C a1 a2 a3 a1 a4 a2 a1 b1 b3 b4 b2 b6 b2 b2 c2 c7 c6 c3 c6 c3 c1 R B C D b1 b2 b2 c2 c1 c3 d1 d1 d2 S R?S A a1 （2）关系R在A上的投影为{a1,a2,a3,a4} （3）（2）中各个元素的象集： a1的象集为{(b1,c2),(b2,c3)(b2,c1)} a2的象集为{(b3,c7),(b2,c3)} a3的象集为{(b4,c6)} a4的象集为{(b6,c6)} （4）判断：a1的象集包含了S在(B,C)属性组上的投影，a1所在的元组为满足条件的元组。 第二章 关系模型和关系运算 （1）S在(B,C)上的投影为{(b1,c2),(b2,c1),(b2,c3)} 满足条件的元组 A B C a1 a1 a1 b1 b2 b2 c2 c3 c1 （2）除法运算的含义 数学中一般整数除法运算： 对于两个整数 R和S，它们的除法运算R/S 是满足以下条件的最大整数Q。 类似的在关系代数中对于关系R和S，它们的除法运算 是满足以下条件的最大的一个关系实例Q。 即 Q与 的笛卡尔积应包含于关系R 。其中 除运算（续） 第二章 关系模型和关系运算 上例子中 为{ a1, a2, a3,a4}。 当 Q分别等于{ a1}、 {a2}、{a3}、 {a4}时， 的结果分别记为 ： R1 R2 R3 R4 显然，只有 R1 是包含于R的，因而 Q={ a1}是满足条 件的最大的关系实例，也即为 。 第二章 关系模型和关系运算 除运算含义（续） A B C a1 a1 a1 b1 b2 b2 c2 c1 c3 A B C a2 a2 a2 b1 b2 b2 c2 c1 c3 A B C a3 a3 a3 b1 b2 b2 c2 c1 c3 A B C a4 a4 a4 b1 b2 b2 c2 c1 c3 （3）除法运算的基本运算符等效表达形式 根据关系除法本质含义，可以看出 的求解过程 即为在 的集合中选择满足下列条件的元素x： 这个过程等价于将 中不满足以上条件的元素剔除。 对于 中的元素，若使得 Q={x}时不能满足条件 ，则该元素应被剔除。 相应地，这些应被剔 除的元素集合可以通过下列公式 获得： 因而 的基本运算符表达式即为： 第二章 关系模型和关系运算 除运算（续） 除法运算的等效表达形式(续) A a1 a2 a3 a4 第二章 关系模型和关系运算 B C b1 b2 b2 c2 c1 c3 A B C a1 a1 a1 a2 a2 a2 a3 a3 a3 a4 a4 a4 b1 b2 b2 b1 b2 b2 b1 b2 b2 b1 b2 b2 c2 c1 c3 c2 c1 c3 c2 c1 c3 c2 c1 c3 A B C a2 a2 a3 a3 a3 a4 a4 a4 b1