象集的本质是一次选择运算和一次投影运算。 例如关系模式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)}