象集Zx
给定一个关系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为m元关系,除关系S为n元关系,那么它们的商为m-n元关系,记为R÷ S 。商的构成原则是:将被除关系R中的m-n列,按其值分成若干组,检查每一组的n列值的集合是否包含除关系S,若包含则取m-n列的值作为商的一个元组,否则不取。1.先做m的投影集合
2.在做n的投影集合
3.判断m的集合是否包含m的投影集合