sql除法運算

⑴ SQL語句實現關系代數中的「除法」

給定關系R(X,Y)和S(Y,Z),其中X,Y,Z為屬性組。R中Y與S中的Y可以有不同的屬性名,但必須出自相同的域集。R與S的除運算可以得到一個新的關系P(X),P是R中滿足下列條件的元組在X 屬性列上的投影: 元組在X上的分量值x的像集Y(x)包含S在Y上的投影的集合。

第一步：找出關系R和關系S中相同的屬性，即Y屬性。在關系S中對Y做投影（即將Y列取出）；

第二步：被除關系R中與S中不相同的屬性列是X，關系R在屬性X上做取消重復值的投影；

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

第四步：判斷包含關系，R÷S其實就是判斷關系R中X各個值的像集Y是否包含關系S中屬性Y的所有值。

R(X，Y)÷S(Y，Z)的運算用結構化語言SQL 語句可表達為下列形式: