象集
给定一个关系R(X,Z),X和Z为属性组
当t[X]=x时,x在R中的象集(Images Set)为:
Zx={ t[Z] | t ∈ R,t[X]=x }
它表示R中属性组X上值为x的元组在Z上分量的集合。
如R:
A B C
a1 b1 c2
a2 b3 c7
a3 b4 c6
a1 b2 c3
a4 b6 c6
a2 b2 c3
a1 b2 c1
a1的象集为{(b1,c2),(b2,c3),(b2,c1)}
给定一个关系R(X,Z),X和Z为属性组
当t[X]=x时,x在R中的象集(Images Set)为:
Zx={ t[Z] | t ∈ R,t[X]=x }
它表示R中属性组X上值为x的元组在Z上分量的集合。
如R:
A B C
a1 b1 c2
a2 b3 c7
a3 b4 c6
a1 b2 c3
a4 b6 c6
a2 b2 c3
a1 b2 c1
a1的象集为{(b1,c2),(b2,c3),(b2,c1)}