《数据库系统概论》关系代数的除法运算的简单理解

关系代数中的除法运算非常的抽象，其实我们只要明白其几何意义是做什么的（就可以用来做什么）就很方面理解了。

举例：

假设有这么三个关系R、S、RS：

关系R:
学生名
--------
张三
李四
王五

关系S：
课程名
------
语文
数学

关系RS：
学生名 课程名
--------------
张三   语文
张三   数学
李四   语文

可以看出，关系R代表实体“学生”，关系S代表实体“课程”，关系RS代表学生和课程之间的联系“选课”。

RS÷S的意义就是“在R和S的联系RS中，找出与S中所有的元组有关系的R元组”。用例子说明：
R的元组有<张三>、<李四>、<王五>，S的元组有<语文>、<数学>；
那么RS中的元组<张三，语文>就意味着R的元组<张三>与S中的元组<语文>有关系；元组<张三，数学>意味着R的元组<张三>与S中的元组<数学>有关系；
这样，R中的<张三>与S中所有元组都有联系，所以它是RS÷S的结果之一，也是这个例子中唯一的结果（楼主可以自己分析<李四>和<王五>）。
所以RS÷S的结果是：

学生姓名
--------
张三

而RS÷S的意义是“选修了所有课程的学生”。