『壹』 计算机数据库关系运算 “除”

R的属性是(A,B,C,D),S的属性是(C,D)
因此,R÷S的属性是(A,B),注:R÷S的属性由属于R但不属于S的属性组成
(R÷S)×S得到的元组必须是R中的元组。
S的第一个元组是(c,d),可以在R中寻找C属性为c,D属性为d的元组,结果可以发现有以下两组:
a b c d
e d c d
对应的A、B属性为以下两组
a b
e d
S的第二个元组是(e,f),可以检验R中有没有元组a b e f 和e d e f,如果没有前者将a b去掉,没有后者前e d去掉,本题2者均有,因此结果R÷S为
A B
a b
e d