关系代数表达式“R÷S”跟“R*S” 怎么算？

令 r÷s=t
t需要满足一下三个条件：
1.t含于II(r-s)(r) 中
2.对s中的每个元组ts和r中的每个元组tr：
1.tr[S]=ts[S]
2 tr[R-S]=t

R÷S1=R1( D1, D2, D4)

a 1 a
b 1 b
a 2 c

R÷S2=R2( D1, D2, D3) (没有元组)

R÷S2=R3( D1, D4)

a c
笛卡尔积结果(这个一看就能看出规律)
R*S=R4(A1 ,A2, A3, A4, D1 D2, D3, D4)

a 1 A A a 1 A A
a 1 A A b 1 A A
a 1 A A a 2 A A

a 1 A A a 2 B B

a 1 A A b 1 B B

。
。

。
共 3*5=15种