数据库原理与应用：第3章 关系数据库.ppt

概述(续)集合运算符将关系看成元组的集合运算是从关系的“水平”方向即行的角度来进行专门的关系运算符不仅涉及行而且涉及列算术比较符辅助专门的关系运算符进行操作逻辑运算符辅助专门的关系运算符进行操作集合运算符∪-∩×并差交广义笛卡尔积比较运算符＞≥＜≤＝≠大于大于等于小于小于等于等于不等于运算符含义运算符含义表2.4关系代数运算符概述(续)专门的关系运算符σπ?÷选择投影连接除逻辑运算符?∧∨非与或运算符含义运算符含义表2.4关系代数运算符（续）概述(续)概述(续)3．关系代数运算的分类 传统的集合运算并、差、交、广义笛卡尔积 专门的关系运算选择、投影、连接、除概述(续)4．表示记号（1）R，t?R，t[Ai]设关系模式为R(A1，A2，…，An)它的一个关系设为R。t?R表示t是R的一个元组t[Ai]则表示元组t中对应于属性Ai的一个分量概述(续)（2）A，t[A]，A若A={Ai1，Ai2，…，Aik}，其中Ai1，Ai2，…，Aik是A1，A2，…，An中的一部分，则A称为属性列或属性组。t[A]=(t[Ai1]，t[Ai2]，…，t[Aik])表示元组t在属性列A上诸分量的集合。A则表示{A1，A2，…，An}中去掉{Ai1，Ai2，…，Aik}后剩余的属性组。概述(续)（3）trtsR为n目关系，S为m目关系。tr?R，ts?S，trts称为元组的连接。它是一个n+m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。概述(续)（4）象集Zx给定一个关系R（X，Z），X和Z为属性组。当t[X]=x时，x在R中的象集（ImagesSet）为： Zx={t[Z]|t?R，t[X]=x} 它表示R中属性组X上值为x的诸元组在Z上分量的集合。3.3.1传统的集合运算并差交广义笛卡尔积1.并（Union）R和S具有相同的目n（即两个关系都有n个属性）相应的属性取自同一个域R∪S仍为n目关系，由属于R或属于S的元组组成R∪S={t|t?R∨t?S}并(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1a1b2c2a1b3c2a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR∪S2.差（Difference）R和S具有相同的目n相应的属性取自同一个域R-S仍为n目关系，由属于R而不属于S的所有元组组成?R-S={t|t?R∧t?S}差(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1ABCa1b2c2a1b3c2a2b2c1RSR-S3.交（Intersection）R和S具有相同的目n相应的属性取自同一个域R∩S仍为n目关系，由既属于R又属于S的元组组成 R∩S={t|t?R∧t?S} R∩S=R–(R-S）交(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b2c2a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR∩S4.广义笛卡尔积Rn目关系，k1个元组Sm目关系，k2个元组R×S列：（n+m）列的元组的集合元组的前n列是关系R的一个元组后m列是关系S的一个元组行：k1×k2个元组R×S={trts|tr?R∧ts?S}广义笛卡尔积(续)ABCa1b1c1a1b2c2a2b2c1ABCa1b1c1a1b1c1a1b1c1a1b2c2a1b2c2a1b2c2a2b2c1a2b2c1a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR×SABCa1b2c2a1b3c2a2b2c1a1b2c2a1b3c2a2b2c1a1b2c2a1b3c2a2b