如何理解关系代数中除运算？

我学习对手不学习，那么就会有差距；我不学习对手学习，我就牢牢甩在身后。因此，风里雨里，学习不辜负你。今天继续学习《数据库概论》，专门讲述一下除运算如何理解。

除运算

除运算一开始我也没理解，它说除运算从行和列考虑。但是看了一个例子之后，就可以照猫画虎的算了

就拿这道题目来说吧，这道题目说R÷S。初看不解题就会发现，R中B列和C列与S中B列与C列有共性。那么看了题解之后，解题步骤就如下：

• 先将A中可能取值数出$a1,a2,a3,a4$
• 那么$a1$有$[b1,c2],[b2,c3],[b2,c1]$种组合，而$a2$有$[b1,c7],[b2,c3]$种组合,$a3$有$[b4,c6]$种组合,$a4$有$[b6,c6]$种组合.
• 而S中只有$[b1,c2],[b2,c1],[b2,c3]$种组合
• 刚好a1全覆盖S集合，所以答案就是a1

例题：查询至少选修1号课程和3号课程的学生号码

这种解题过程从ppt看来有点像操作excel一样，有点意思。先将选修1号和3号做成一个表格。简称为临时关系

然后将课程号与学生号码投影后再做乘法。投影是选择列，而做除法就是直接选择1并且3的号码。演示过程如下

• 投影选择${\pi }_{Sno,Cno}(Sc)$，发现学号只有两个学号一个是201215121与201215122.
• 前一个集合为{1,2,3}是指课程1，课程2，课程3，而后一个学号的集合为{2,3}
• 而既包含1和3的只有201215121.

这样就完美解释了关系代数的除法理解。