24.2专门的关系运算 9 先引入几个记号 (1)R, tER, t[Al 设关系模式为R(A1,A2,…,AD 它的一个关系设为R t∈R表示t是R的一个元组 4J则表示元组坤相应于属性A的一个分量 An Introduction to Database System
An Introduction to Database System 2.4.2 专门的关系运算 先引入几个记号 （1） R，tR，t[Ai ] 设关系模式为R(A1，A2，…，An ) 它的一个关系设为R tR表示t是R的一个元组 t[Ai ]则表示元组t中相应于属性Ai的一个分量
专门的关系运算(续) 9 (2)A,tA],A 若A=An,A2,…,An,其中An,A2,…,A1是A1 A2,…,An中的一部分,则A称为属性列或属性组。 tAF(A,tA2】,…,tA表示元组属性列A上 诸分量的集合。 A则表示{A1,A2,…,An}中去掉{An,A2,…,A 后剩余的属性组。 An Introduction to Database System
An Introduction to Database System 专门的关系运算(续) （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} 后剩余的属性组
专门的关系运算(续) 9 (3) R为n目关系,S为m目关系。 t∈R,te∈S,tt称为元组的连接。 tt是一个n+m列的元组,前n个分量为R中的 个n元组,后m个分量为S中的一个m元组。 An Introduction to Database System
An Introduction to Database System 专门的关系运算(续) （3） t r t s R为n目关系，S为m目关系。 t r R，t sS， t r t s称为元组的连接。 t r t s是一个n + m列的元组，前n个分量为R中的一 个n元组，后m个分量为S中的一个m元组
专门的关系运算(续) 9 (4)象集zx 给定一个关系R(X,Z),X和z为属性组。 当Ⅺ]=x时,x在R中的象集( mages Set)为: z={zt∈R,t=x 它表示R中属性组X上值为x的诸元组在Z上分量的集合 An Introduction to Database System
An Introduction to Database System 专门的关系运算(续) （4）象集Zx 给定一个关系R（X，Z），X和Z为属性组。 当t[X]=x时，x在R中的象集（Images Set）为： Zx={t[Z]|t R，t[X]=x} 它表示R中属性组X上值为x的诸元组在Z上分量的集合
专门的关系运算(续) 9 R x1在R中的象集 zx={z1,Z2,z3}, x x x2在R中的象集 x z2x2={22,23}, x 2 x ☆X3在R中的象集 3 x Z3 2=[21,z3} 象集举例 An Introduction to Database System
An Introduction to Database System 专门的关系运算(续) ❖x1在R中的象集 Zx1 ={Z1，Z2，Z3}， ❖x2在R中的象集 Zx2 ={Z2，Z3}， ❖x3在R中的象集 Zx3={Z1，Z3} 象集举例