标签：
象集的本质是一次选择运算和一次投影运算。
例如关系模式R(X, Y)，X和Y表示互为补集的两个属性集，对于遵循模式R的某个关系A，
当t[X]=x时，x在A中的象集（Images Set）为：
Zx={ t[Z] | t ∈ A，t[X]=x }
它表示：A中X分量等于x的元组集合在属性集Z上的投影。
如A：
X Y Z
a1 b1 c2
a2 b3 c7
a3 b4 c6
a1 b2 c3
a4 b6 c6
a2 b2 c3
a1 b2 c1
a1在A中的象集为{(b1,c2),(b2,c3),(b2,c1)}
标签：
原文地址：http://www.cnblogs.com/yuanqi/p/4589947.html
