令 r÷s=tt需要滿足一下三個條件：1.t含於II(r-s)(r) 中2.對s中的每個元組ts和r中的每個元組tr： 1.tr[S]=ts[S] 2 tr[R-S]=tR÷S1=R1( D1, D2, D4) a 1 a b 1 b a 2 cR÷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種
令 r÷s=tt需要滿足一下三個條件：1.t含於II(r-s)(r) 中2.對s中的每個元組ts和r中的每個元組tr： 1.tr[S]=ts[S] 2 tr[R-S]=tR÷S1=R1( D1, D2, D4) a 1 a b 1 b a 2 cR÷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種