关系代数的除法运算,两个关系R和S的属性个数分别是r和s，且r>s>0，关系S的每个属性都是关系R的属性，那么R÷S是一个属性个数为（r-s）的元组的集合，R÷S是满足这种条件的最大关系，即该结果关系中的每一个元组u与关系S中的每一个元组v组成的新元组（u,v）一定在关系R中。假设关系S的属性是关系R中后面的s个属性，则R÷S的算法如下所示：第一步：计算R的投影:T=π1,2,…,r－s（R） 第二步：计算T×S中不在R中的元组：V=(T×S)-R 第三步：计算V的投影：W=π1,2,…,r－s（V） 第
2019-05-07
关系代数的除法运算,
两个关系R和S的属性个数分别是r和s，且r>s>0，关系S的每个属性都是关系R的属性，那么R÷S是一个属性个数为（r-s）的元组的集合，R÷S是满足这种条件的最大关系，即该结果关系中的每一个元组u与关系S中的每一个元组v组成的新元组（u,v）一定在关系R中。
假设关系S的属性是关系R中后面的s个属性，则R÷S的算法如下所示：
第一步：计算R的投影:T=π1,2,…,r－s（R）
第二步：计算T×S中不在R中的元组：V=(T×S)-R
第三步：计算V的投影：W=π1,2,…,r－s（V）
第四步：计算结果：R÷S=T-W
这个第一步我知道应该怎么算，
第一步：计算R的投影:T=π1,2,…,r－s（R）
T=π1,2（R） 这个投影我理解的是T的第一列是R的第一列，T的第二列是R的第二列。
但是后面这个 r-s运算，我不太明白。
如果 r是 5 s是1 那么 结果不就是
T=π1,4（R）
这个有什么意义？就是把R的前四列给照搬过来？
我按照这样理解的话，算不出结果啊。
还有一个问题是，元组是行，
A B C D
1 2 3 4
5 6 7 8 在这个关系里，1 2 3 4 就是一个元组？