关系代数运算

   象集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的投影集合