關係代數 除法運算

首先講講運算的約束條件，在我看的《數據庫系統原理》一書中，假設RS÷S，那麼通常狀況下S的屬性集是RS屬性集的真子集。而樓主給出的原題不符合這個條件（關係R的屬性集爲{A,B,C}，關係S的屬性集爲{A,C,D}，實際上S中只有S－R＝{A,C}這些屬性參與了運算），這種狀況不多發生 要理解除法這個比較複雜的運算，得明白爲何須要它，也就是在什麼場合下須要。就本人目前所學中，這種場合只有一個，就是在

>>阅读原文<<