数据库系统之除法运算

之前看书的时候，老是不理解，后来在博客上看到一位大神总结的，我感觉很好用

1，除法运算

设关系R除以关系S的结果为关系T，则T包含所有在R但不在S中的属性及其值，且T的元组与S的元组的所有组合都在R中。
所以结合着例子，对于定义进行理解吧：
首先呢给出关系R和关系S


1、定义中说，T包含所有在R但不在S中的属性，所以呢 R 所包含的属性有{A，B，C}，S中所包含的属性有{B，C，D}，显而易见，关系T中应该只包含
 一个属性---A；
2、及其值，只考虑关系R中A属性的值{a1，a2，a3，a4}，关系T属性A的元素应该是{a1，a2，a3，a4}的子集；

3、且T的元组与S的元组的所有组合都在R中，很明显，S中的需要考虑的只是属性B和属性C，所以

所以符合定义要求的值只有a1了。

从而得出：