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

除法操作是同时从行和列的角度进行运算.

如设 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