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}。