数据库关系运算理论.ppt

自然联接与等值联接的区别：（1）在做自然联接的两个关系中，要求值相等的属性名也必须相等，而在等值联接中不要求值相等的属性名相等。（2）在自然联接的结果中，去掉重复的属性名，而在等值联接的结果中不去掉重复的属性名。★若两个关系没有公共属性，则其自然联接就转化为笛卡尔积操作。第37页,共48页，星期六，2024年，5月ABCabcdbcbbfcadBCDbcdbceadbRSABCDabcdabcedbcddbcecadbRS自然联接第38页,共48页，星期六，2024年，5月ABCabcdbcbbfcadBCDbcdbceadbRSAR.BR.CS.BS.CDabcbcdabcbcedbcbcddbcbcecadadbRS等值联接3=2RS1=1AR.BR.CS.BS.CDbbfbcdbbfbceabcadb第39页,共48页，星期六，2024年，5月⑧除运算（Division）设关系R和S的元数分别为m和n（设mn0），那么R÷S是一个（m-n）元的元组集合。R÷S是满足下列条件的最大关系：最大关系中每个元组t与S中每个元组u组成的新元组〈t,u〉必在关系R中。为了方便起见，我们假设关系S的属性为关系R中后S个属性。第40页,共48页，星期六，2024年，5月则R÷S的具体计算过程如下：（1）?T=Π1,2,…m-n（R）（2）?W=（T╳S）-R（计算T╳S中不在R的元组）（3）??V=Π1,2,…m-n（W）（4）?R÷S=T-V即R÷S=Π1,2,…m-n（R）-Π1,2,…m-n（（Π1,2,…m-n（R）╳S）-R）除运算是同时从行和列角度进行运算第41页,共48页，星期六，2024年，5月象集给定一个关系R(X,Y)，X和Y为属性组。定义，当t[X]=x时，x在R中的象集为：Yx={t[Y]|t∈R,t[X]=x}它表示R中属性组X上值为x的诸元组在Y上各分量的集合。t[Y]Y为R中的一个属性组，Y={yi1,yi2…yik}，t[Y]=(t[yi1],t[yi2]…t[yik])表示R中的元组t在属性组Y上各分量的集合第42页,共48页，星期六，2024年，5月(1)将R中属性分为两个集合X和Y，R(X,Y），其中Y就是S中的前半部分属性的集合,S(Y,Z)。(2)若X的某个值x的象集YxYx={t[Y]∣t∈R∧t[X]=x}包含S表中t[Y]的所有元组?，则将x放入结果集中。因此，求R÷S的操作步骤如下：第43页,共48页，星期六，2024年，5月例如：ABCDabcdabefabdebcefedcdedefCDcdefRSXYY当x=(b,c)时，其象集Yx为：CDef第44页,共48页，星期六，2024年，5月R÷S的结果为：ABabedX当x=(a,b)时，其象集Yx为：CDcdefde当x=(e,d)时，其象集Yx为：CDcdef第45页,共48页，星期六，2024年，5月ABCa1b1c2a2b3c7a3b4c6a1b2c3a4b6c6a2b2c3a1b2c1BCDb1c2d1b2c1d1b2c3d2XYYZ例：R÷SRS(1)当x=(a1)时其象集为BCb1c2b2c3b2c1X可以取值为{a1,a2,a3,a4}第46页,共48页，星期六，2024年，5月(2)当x=(a2)时(3)当x=(a3)时(4)当x=(a4)时其象集为其象集为其象集为BCb3c7b2c3BCb4c6BCb6c6BCb1c2b2c1b2c3S在(B,C)Y上的投影为R÷S的结果为：Aa1X第47页,共48页，星期六，2024年，5月⑨各种运算总结：

关系代数运算有五个基本