多值与关系除法的联系，及关系除法的图形化表示

一、多值与关系除法的联系

二、关系除法的图形化表示

下面将用一个例子加以说明。

1·给出用到的关系模型：

2·题目：借阅了《A》《B》这两本书的学生

思路如下：先在书籍中挑选出书名为“A”的书籍与书名为“B”的书籍做并集，再对所选出的元组进行投影操作，得到所有书名为“A”或书名为“B”的所有书籍的书籍号（考虑到书籍可能存在重名的问题，故所得到的书籍号可能不止一个）。
将所得书籍号与借阅记录做除法，抽象过程可理解为下图：

3·假设

为进行说明作如下假设：设下图中表R为“借阅记录”，R的A为“借阅记录”的“书籍号”，B为其余属性。S为下式的结果：
即：{R÷S}等价于{“借阅记录”÷}

所得底色的为除法的得数。由得数可知借阅人的学工号。但不能得到借阅人的姓名。故将除法的得数与借阅人做等值连接，借阅人完整记录了借阅人的学号及姓名。因此，投影出对应元组的学号，姓名即为所求。

4·结果

经过上图的计算得到R÷S=b1