关系代数除操作

转自点击打开链接

除法运算的一般形式示意图

 

如何计算R÷S呢，首先我们引进”象集”的概念，具体意义看下面的陈述即可理解

关系R和关系S拥有共同的属性B、C , R÷S得到的属性值就是关系R包含而关系S不包含的属性，即A属性

 

在R关系中A属性的值可以取{ a1，a2，a3，a4 }

a1值对应的象集为 {  (b1,c2)  , (b2,c1) ,  (b2,c3)  }

a2值对应的象集为 {  (b3,c7)  , (b2,c3) }

a3值对应的象集为 {  (b4,c6)  }

a4值对应的象集为 {  (b6,c6)  }

 

关系S在B、C上的投影为 {  (b1,c2)  , (b2,c1) ,  (b2,c3)  }

 

只有a1值对应的象集包含关系S的投影集，所以只有a1应该包含在A属性中

所以R÷S为

A

a1