数据库系统2-4：专门关系运算

会计考友

　　(1) 选择（Selection）
　　在给定关系R中选择满足条件的元组。记为：
　　其中F表示选择条件，是一个逻辑表达式，它的值为“真”或“假”。
( U4 q) y0 c" C* [　　逻辑表达式是由属性名、常量、简单函数和比较运算符、逻辑运算符组成的有意义的式子。通常情况下，逻辑表达式是由逻辑运算符连接由比较运算符组成的比较关系式而成。即通过逻辑运算符将比较关系式XqY连接起来组成逻辑表达式。当然单独的比较关系式也是一个逻辑表达式。
　　（2）投影（Projection）
　　在给定关系R(U)中选择若干属性列组成的新关系。记为：
　　其中A为R中属性组，且AíU。在关系二维表中，选择是一种水平操作，它针对二维表中行，而投影是一种垂直操作，它针对二维表中的属性列。
　　（3）连接（Join）
$ g9 H* R+ u$ I. r' e# t8 H4 w0 `　　连接也称为条件连接，它从两个关系的笛卡儿积中选择满足条件的元组。记为：
& ]( k: y* g) B( ~　　其中A和B分别是关系R和S上度数相同且可比属性组，q为比较运算符。
　　在连接中有三种最常见的连接，一种是等值连接，一种是自然连接，还有半连接。
　　① 等值连接（equijoin）
8 R, l& }- R: Q( X+ M　　当比较运算符q为“=”时的连接称为等值连接，其结果是从关系R和S的笛卡儿积中选取属性组A和B值相等的元组。记为：
. Q/ A& h( f7 v2 W& q　　②自然连接（Natural join）
# N) I; c) E+ t' ~2 b$ W. g1 d0 R  l　　自然连接是一种特殊的等值连接。当关系R和S有相同的属性组B，且该属性组的值相等时的连接称为自然连接。结果关系的属性集合为R的属性并上S减去属性B后的属性集合，即Att(R)∪(Att(S)-B)。其中Att( R )为关系R的属性集。R和S的自然连接记为：
　　自然连接与等值连接的区别是：
　　ａ）自然连接要求两个关系中进行比较的属性或属性组必须同名和相同值域，而等值连接只要求比较属性有相同的值域。
: `! {+ G2 l/ z$ l8 q　　ｂ）自然连接的结果中，同名的属性只保留一个。
　　③半连接（half join）
, t# S$ v8 W- \/ o2 B# ]" ]　　半连接是一种特殊的自然连接。它与自然连接的区别在于其结果只保留R的属性。当关系R和S有相同的属性组B，且该属性组的值相等时进行连接，其结果只保留R的属性，这种连接称为半连接。记为：
　　（４）商（Division）
& J( A2 L7 ^0 ], G　　设关系R（X，Y）和S（Y，Z），其中X，Y，Z是属性集合，R中的Y与S中的Y可以不同名，但必须出自同一域。R除以S的商定义为：
　　其中Yx为值x在R中的象集，即表示R中属性组X上的值为x（x=tr[X]）的元组在属性组Y上分量的集合。
　　R÷S是一个新关系，它是R中元组的X上分量的值为x的象集Yx包含S在Y上投影的集合。
& s7 `7 m3 F# m- J$ Y　　1)求R÷S
　　令X=A，Y={B，C} x=tx[X]={a1,a2,a3},则Yx分别为：
" v6 A* H$ w+ Z9 N　　a1的象集为{（b1,c1）,(b1,c2),(b3,c2)}
* y4 o, v( I0 x+ f4 |3 |　　a2的象集为{(b2,c3)}
. x4 _; q2 ]0 {8 F* x+ j　　a3的象集为{(b2,c1)}
5 c; @: m3 o' H　　所以只有a1的象集包含S在Y上的投影，即
7 `2 u5 p1 W! W1 h& j　　故此R÷S为：
0 z3 O7 y; u: N　　2）求σ-A=a1( R )为
　　4)求R >< S
　　5)求R>