第二章 关系模型与关系代数.pptVIP

（3）差运算 设关系R和S具有相同的关系模式，R和S的差是由属于R但不属于S的元组构成的集合记为R－S： R－S≡{ t | t∈R ∧ t∈S} 【例】已知关系R和关系S 关系R A B C a1 b1 c1 a1 b1 c2 a2 b2 c1 关系S A B C a1 b1 c1 a2 b2 c1 a2 b3 c2 关系R-S A B C a1 b1 c2 (5)广义笛卡儿积 两个分别为n目和m目的关系R和S的笛卡儿乘积是一个(n+m)列元组的集合。 如果R有K1个元组，S有K2个元组，则关系R和关系S的笛卡儿乘积有K1×K2个元组。 笛卡儿乘积记作： R×S＝｛ trts︱tr ∈ R ∧ ts∈S ｝ 【例】已知关系R和关系S 关系R A B C a1 b1 c1 a1 b1 c2 a2 b2 c1 关系S A B C a1 b1 c1 a2 b2 c1 a2 b3 c2 关系R×S A B C S.A S.B S.C a1 b1 c1 a1 b1 c1 a1 b1 c1 a2 b2 c1 a1 b1 c1 a2 b3 c1 a1 b1 c2 a1 b1 c1 a1 b1 c2 a2 b2 c1 a1 b1 c2 a2 b3 c1 a2 b2 c1 a1 b1 c1 a2 b2 c1 a2 b2 c1 a2 b2 c1 a2 b3 c1 2.专门的关系运算 （1） 选择(Selection) 选择是在关系R中选择给定条件的元组， 记作： σF（R）＝={t | t ∈R∧F(t) = ‘TRUE’} 其中：F(t)表示逻辑条件，F(t)=’TRUE’是一个逻辑表达式，由逻辑运算 ?，∨ ，∧ 连接各算术表达式组成，基本形式为： Xi θYi θ表示比较运算符，可以是、≥、≤、=或≠。 Xi和Yi可以是属性名，也可以是常量，或为简单的函数。 （2）投影(Projection) 关系R上的投影是从R中选择出若干属性列组成新的关系。记作： πA (R) ={ t[A] | t ∈R} 其中：[A] 为R中的属性表。 （3）连接（Join） 连接从两个关系的笛卡尔积中选取属性间满足一定条件的元组。记作： 其中A和B分别为R和S上度数相等且可比的属性组。 θ为比较运算符，也称θ连接；X θ Y为连接条件。 当 θ为“=”时，称为等值连接；当θ为“”时，称为小于连接；当θ为“”时，称为大于连接。 连接运算从R和S的广义笛卡尔积RS中选取（R关系）在A属性组上的值与(S关系)在B属性组上值满足比较关系的元组。 （4）自然连接(Natural Join) 从关系R与S的笛卡儿乘积中选择A，B属性值相等的那些元组，记作： R﹡S=﹛tr ts︱tr∈R∧ts∈S∧tr[A] ≌ ts[B]﹜ 等值连接与自然连接的区别在于： 等值连接中不要求相等属性值的属性名相同，而自然连接要求相等属性值的属性名必须相同，即两关系只有在同名属性才能进行自然连接。 等值连接不去掉重复属性，而自然连接会将重复属性去掉。也可以说，自然连接是去掉重复列的等值连接。 （5）外连接 左外连接 关系R与关系S进行自然连接时，如果关系R的某个元组与关系S中的元组连接成功，就取该元组的连接运算结果；如果关系R的某个元组与关系S中的所有元组都没有连接成功，就把该元组与空值组合形成运算结果。 右外连接 关系R与关系S进行自然连接时，如果关系S的某个元组与关系R中的元组连接成功，就取该元组的连接运算结果；如果关系S的某个元组与关系R中的所有元组都没有连接成功，就把该元组与空值组合形成运算结果。 全外连接 关系R与关系S进行自然连接时，如果关系S的某个元组与关系R中的元组连接成功，就取该元组的连接运算结果；如果关系R的某个元组与关系S中的所有元组都没有连接成功，就把该元组与空值组合形成运算结果；如果关系S的某个元组与关系R中的所有元组都没有连接成功，就把该元组与空值组合形成运算结果。 （6）除（Division) R与S的除运算得到一个新的关系P ( X )，P是R中满足下列条件的元组在X属性列上的投影：元组在X上分量值x的象集包含S在Y上投影的集合。 除运算 A B C D E a1 b1 5 d1 3 a1 b1 5 d2 7 a1 b2 5 d3 10 a2 b3 5 d3 2 a2 b1 5 d5 2 a3 b2 6 d1 3 a4 b5 6 d2 7 a4 b5 6 d3 10 a4 b5 6 d3 2 a6 b6 6 d5 2 X Y = C D E F 6 d2 7 fa 6 d3 10 fb 6 d3