資料庫中關系代數中的關系運算

除法運算的定義：

這個概念的描述的非常抽象，剛開始學習的同學完全不知所雲。這裡通過一個執行個體來說明除法運算的求解過程：

設有關系R、S 如圖所示，求R÷S 的結果：

求解步驟過程：

第一步：找出關系R和關系S中相同的屬性，即Y屬性。在關系S中對Y做投影（即将Y列取出）；所得結果如下：

第二步：被除關系R中與S中不相同的屬性列是X，關系R在屬性（X）上做取消重複值的投影為{X1，X2}；

第三步：求關系R中X屬性對應的像集Y 

 根據關系R的記錄，可以得到與X1值有關的記錄，如圖3所示；與X2有關的記錄，如圖4所示：

第四步：判斷包含關系

R÷S其實就是判斷關系R中X各個值的像集Y是否包含關系S中屬性Y的所有值。對比即可發現：

X1的像集隻有Y1，不能包含關系S中屬性Y的所有值，是以排除掉X1；

而X2的像集包含了關系S中屬性Y的所有值，是以R÷S的最終結果就是X2 ，