關係代數中的除法運算

1.定義 給定關係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上的投影的集合。 定義過於抽象其實就是保存被除關係中含有全部除關係中相同列的全部取值的元組（不包含相同的列） 所以很適合解決查詢那些全

>>阅读原文<<