数据库原理：关系代数中：除法是怎么做的呢？

Question

有两个表：
R：
-------------------------
A B C
1 3 2
5 7 2
1 3 4
1 3 6
---------------
S:
---------------
A B
1 3
5 7
---------------
现在做除法：R/S，结果为：
---------------
C
2
6
---------------
【！】先问一下，这个除法是怎么运算的，怎么得到这个结果的呢？
【！】非常感谢！
5 7 6

Answer 1

先找S中1 3在R中对应的C的值为2 4 6
57为2
就是
C
2
4
6
2
然后共有元组2对应属性c，所以答案是
C
2

Answer 2

目测那 5 7 6 是R关系中打掉的最后一排，如果是这样，那么R÷S就是{2,6}

Answer 3

除法：给定关系R(X,Y)和S(Y,Z)，其中X,Y,Z为属性组。R中的Y与S中的Y可以有不同的属性名，但必须出自相同的域集。R与S的出运算得到一个新的关系P（X），P是R中满足下列条件的元组在X属性列上的投影：元组在X上分量值x的象集Yx包含S在Y上投影的集合。
R表中，C可以取四个值{2,6,4}，其中：
2的象集为{（1,3）}
6的象集为{（5,7），（1,3）}
4的象集为{（1,3）}
S在（A，B）上的投影为{（1,3），（5,7）}
显然只有6的象集包含S在（A,B）属性组上的投影
所以R/S={6}

我做的和答案有点不一样，你看看步骤追问

我算的是R/S={2}，但书上确实是白纸黑字的写着{2，6}

追答

下面那个5 7 6是什么意思？如果题目没有改动，答案是{2}；你写在下面我以为是R中的5 7 2被换成了5 7 6.

追问

那就对啦，那个567可能是误打上去的.........

追答

那答案就是{2}

本回答被提问者和网友采纳

Answer 4

r/s 是怎麼个除法