23关系代数 相关表述记号 1.设关系模式为R(A1,A2,…,Am)。它的一个关系设为R。 t∈R表示t是R的一个元组。A则表示元组t中相应于属性A的一个分量。 2.若A={Ai,A2,…,Ai},其中Ail,Ai,…,Ak是A1,A2,…,An中的一部 分,则A称为属性列或域列。A则表示{A1,A2,…,An中去掉 Ai,Ai,…,A}后剩余的属性组。tA=tAi,tA2,…,tAi表示 元组t在属性列A上诸分量的集合。 3.R为n目关系,S为m目关系。r∈R,s∈S。rs称为元组的连接。 它是一个(n+m)列的元组,前n个分量为R中的一个n元组,后m个分量 为S中的一个m元组。 4.给定一个关系R(X,Z,X和Z为属性组。我们定义,当r{X=x时,x在R中 的象集( Images set)为:Zx={rZr∈R,rX|=x} 它表示R中属性组X上值为x的诸元组在Z上分量的集合。2.3 关系代数 相关表述记号 ⒈ 设关系模式为R(A1, A2, …, An)。它的一个关系设为R。 t∈R表示t是R的一个元组。t[Ai]则表示元组t中相应于属性Ai的一个分量。 ⒋ 给定一个关系R(X,Z)，X和Z为属性组。我们定义，当r[X]=x时，x在R中 的象集（Images Set）为：Zx={ r[Z]|r∈R, r[X]=x } 它表示R中属性组X上值为x的诸元组在Z上分量的集合。 ⒉ 若A={Ai1, Ai2, …, Aik}，其中Ai1, Ai2, …, Aik是A1, A2, …, An中的一部 分，则A称为属性列或域列。A 则表示{A1, A2, …, An}中去掉 {Ai1, Ai2, …, Aik}后剩余的属性组。t[A]=(t[Ai1], t[Ai2], …, t[Aik])表示 元组 t 在属性列A上诸分量的集合。 ⒊ R为n目关系，S为m目关系。r∈R ，s∈S。 rs 称为元组的连接。 它是一个(n+m)列的元组，前n个分量为R中的一个n元组，后m个分量 为S中的一个m元组。 ⌒