五种基本的关系代数运算包括并、差、笛卡儿积、投影和选择,其他运算可以通过基本的
关系运算导出。
1.并(Union)
关系R与S具有相同的关系模式,即2?与S的元数相同(结构相同)。关系R与S的并
由属于R或属于S的元组构成的集合组成,记作R\JS,其形式定义如下,式中,为元组变量。
2.差(Difference)
关系R与S具有相同的关系模式,关系R与S的差是由属于R但不属于S的元组构成的
集台,记作R S ,其形式定义如下:
R-S = {f|fe2?Af 砖 5}
3.广义笛卡儿积(Extended Cartesian Product)
两个元数分别为"目和川目的关系R和S的广义笛卡儿积是一个(«+«/)列的元组的集合。
元组的前〃列是关系R的一个元组,后,”列是关系S的一个元组,记作RXS ,其形式定义
如下:
RXS = {r|f =<严,严〉A产€人/\产《$}
如果次和s中有相同的属性名,可在属性名前加关系名作为限定,以示区别。若R有鬲个
元组,S有长2个元组,则我和S的广义笛卡儿积有个元组。
注意:本教材中的< f,tm >意为元组广和产拼接成的一个元组。
4.投影(Projection)
投影运算是从关系的垂直方向进行运算,在关系R中选择出若干属性列/组成新的关系,
记作吨(我),其形式定义如下:
兀』0) = {同1,寮}
5.选择(Selection)
选择运算是从关系的水平方向进行运算,是从关系人中选择满足给定条件的诸元组,记作
bF(R),其形式定义如下:
bp (&) = {/1 r € & A F(t) = True}
其中,F中的运算对象是属性名(或列的序号)或常数,运算符是算术比较符(<、W、
>、N、了)和逻辑运算符(A、V、「)*例如,幻部(&)表示选取我关系中第1个属性值
大于等于第6个属性值的元组;表示选取R关系中第1个属性值大于6的元组。