■概述(续) 5.表示记号 (1)R,t∈R,t[A] 设关系模式为RA1,A2,…,A) 它的一个关系设为R。tR表示提R的一个元组 4A则表示元组冲相应于属性A的一个分量
11 概述(续) 5．表示记号 （1） R，tR，t[Ai ] 设关系模式为R(A1，A2，…，An ) 它的一个关系设为R。tR表示t是R的一个元组 t[Ai ]则表示元组t中相应于属性Ai的一个分量
■概述(续) (2) A, tA, A 若A={A,A2,…,A,其中An,A2, A1是A1,A2,…,A中的一部分,则A称为 属性列或域列。t4=(4An],瓦A],…, 4A)表示元组属性列A上诸分量的集合 A则表示{A1,A2,…,A中去掉{An, 12,…,A后剩余的属性组
12 概述(续) （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)4t R为用目关系,S为m目关系。4∈R,t∈S, 称为元组的连接。它是一个门+m刚列的元 组,前m个分量为R中的一个几元组,后m个 分量为5中的一个m元组。 13
13 概述(续) ◼ （3） t r t s R为n目关系，S为m目关系。t r R，t sS， t r t s称为元组的连接。它是一个n + m列的元 组，前n个分量为R中的一个n元组，后m个 分量为S中的一个m元组
■概述(续) 4)象集Z X 给定一个关系R(X,2),X和z为属性组。当 4=)时,在R中的象集( Images Set)为: 2={t∈R,4=X 它表示R中属性组X上值为X诸元组在z上分量的集 合 14
14 概述(续) ◼ 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上分量的集 合
25关系代数 概述 传统的集合运算 专门的关系运算 15
15 2.5 关系代数 ◼ 概述 ◼ 传统的集合运算 ◼ 专门的关系运算