数据库-关系代数-对除法的理解

除法操作是同时从行和列的角度进行运算.
如设 R ,S的关系
R
------------
A  |B  |C
------------
a1  b1  c2
a2  b3  c7
a3  b4  c6
a1  b2  c3
a4  b6  c6
a2  b2  c3
a1  b2  c1

S关系:
--------------------
B  |C  |D
b1  c2  d1
b2  c1  d1
b2  c3  d2
在R关系里,A可以取四个值{a1,a2,a3,a4}
其中:a1的象集为:{(b1,c2),(b2,c3),(b2,c1)}
a1的象集为:{(b3,c7),(b2,c3)}
a1的象集为:{(b4,c6)}
a1的象集为:{(b6,c6)}
S关系在B,C上的投影为:{(b1,c2),(b2,c1),(b2,c3)}显然只有a1集合和它是相同的
所以除之后R/S=
A
--
a1