如何用基本运算表示除法及解析【关系代数】

关系代数除法

设关系R和S有相同的关系模式，且R和S的笛卡尔积D与关系T模式相同，则称关系T是R和S的除法结果。

1）公式

$$R÷S={\Pi }_x(R)-{\Pi }_x(({\Pi }_x(R)\times S)-R)$$

2）解析

笛卡尔积作用？

将R中X属性强行于S中的所有Y配对，

笛卡尔积于R做差的意义？

将关系R中原本就存在于所有Y配对的X剔除

为什么要用两次差运算？

括号内的无法得到于所有Y配对的X，因为R中还可能掺杂不完全匹配的，
按照运算顺序第二次做差，剔除了不完全匹配Y的X，剩下的就是目标X了，即于所有Y匹配的X的集合。