关系代数除法运算例题

关系代数中的除法运算可以表示为 $R/Y$ ，其中 $R$ 为被除关系， $Y$ 为除数关系。 $R/Y$ 运算的结果是一个关系，包含 $R$ 中能被 $Y$ 中的所有元组唯一确定的属性。

下面是一个例题：

已知关系 $R(A,B,C,D)$

现在要计算 $R/S$ ，即 $R$ 除以 $S$ 的结果。表示为关系代数的语句为：

$R/S = \pi_{C,D}(R)-\pi_{C,D}((\pi_{A,B,C,D}(R)\times S)-R)$

首先计算 $\pi_{A,B,C,D}(R)\times S$

然后计算 $\pi_{C,D}((\pi_{A,B,C,D}(R)\times S)-R)$