数据库除运算

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÷S

A

a1

解答如下：

在关系R中，A可以取四个值{a1,a2,a3,a4}，其中：

a1的象集为：{（ b1, c2），（ b2, c3），（ b2, c1）}

a2的象集为：{（ b3, c7），（ b2, c3）}

a3的象集为：{（ b4, c6）}

a4的象集为：{（ b6, c6）}

S在（B,C）上的投影为{( b1, c2),( b2, c3),( b2, c1)}。

显然只有a1的象集（B,C）a1包含S在（B,C）属性组上的投影，所以R÷S={a1}。