小弟有问，指点给分：关系代数运算中，我不理解 -除法（division）

[feizier_db]

A B C D C D A B
---------- ---- ----
a b c d c d a b
a b e f e f e d
b c e f
e d c d
e d e f
a b d e
(a)关系R (b)关系S (c)R/S
我不知道怎么得到的关系（c）的，能给点指点吗？

[JavaCoffee]

select A,B from R where C not in (select C from S) and D not in (select D from S)

[liuri璇玑]

我的理解法是：
S表有多少行，R表就一次看多少行
象这个表，就一次看两行R表，
当这两行的A、B相同且C、D等于S表的C、D时，就把A、B记到R/S表中

呵呵，不过不知正不正道^_^

[ruoyang]

S 在 C，D 上的投影是{（c,d）,（e,f）}(设为A)
对于R 中的（a,b）的象集为{(c,d)(d,e)(e,f)}(设为B)
(b,c)的象集为{(e,f)}(设为C)
(e,d)的象集为{(c,d),（e,f）}(设为D)
因为A为B,D的子集
则R/S 为
A B
------
a b
e d

详细概念要参照书上

[dearplumlxh]

设R在C,D上的投影为R1,用R1与S做差操作的到关系S1,设R在A,B上的投影为R2,
R1与R2进行笛卡尔积运算的到关系S2，R与S2进行差操作的到关系R3,那么R/S就是
R3在A,B上的投影。