
给定一个集合A到B的映射,且a属于A,b属于B.如果元素a和元素b对应,那么,我们把元素b叫做元素a的象,元素a叫做元素b的原象.
所以所有的b构成的集合叫做象集.
也就是a在对应法则f作用下产生的b的集合,叫做象集.
象集的本质是一次选择运算和一次投影运算。
例如关系模式R(X, Z),X和Z表示互为补集的两个属性集,对于遵循模式R的某个关系A,
当t[X]=x时,x在R中的象集(Images Set)为:
Zx={ t[Z] | t ∈ R,t[X]=x }
它表示:其实就是所有值等于x的元组(或记录),然后在Z上的投影。
------象集的本质是一次选择运算和一次投影运算。
(R中X分量等于x的元组集合在属性集Z上的投影)。
如R:
X Y Z
a1 b1 c2
a2 b3 c7
a3 b4 c6
a1 b2 c3
a4 b6 c6
a2 b2 c3
a1 b2 c1
在关系R中,X可以取四个值{a1,a2,a3,a4}
a1在R中的象集为{(b1,c2),(b2,c3),(b2,c1)}
a2在R中的象集为{(b3,c7), (b2,c3)}
a3在R中的象集为{(b4,c6)}
a4在R中的象集为{(b6,c6}
欢迎分享,转载请注明来源:内存溢出
微信扫一扫
支付宝扫一扫
评论列表(0条)