有关系:R(x,y) S(x,y)

R S

A B C B C D

a1 b1 c2 b1 c2 d1

a1 b2 c3 b2 c1 d1

a1 b2 c1 b2 c3 d2

......

R÷S的结果为a1

x相当于A y 相当于B,C z相当于D

按照除运算规则，我们不必关注D

只需比较B,C当S关系中的B,C所有的组合(b1,c2)(b2,c3)(b2,c1)都出现在R关系中时,结果才为A