数据库关系运算之除法（详细）

写在前面：

设有关系 R(X,Y) 与关系 S(Y,Z)，其中X,Y,Z为属性集合。R与S要进行除法运算，R中的Y与S中的Y可以有不同的属性名，但对应属性必须出自相同的域。
这句话是说，哪怕把R中的Y换个名字，比如改为R(X,T)，只要R中的T和S中的Y有相同的值域，也可以进行除法。

详细：
https://blog.csdn.net/baidu_22153679/article/details/52454748?ops_request_misc=%257B%2522request%255Fid%2522%253A%2522161560641816780274177280%2522%252C%2522scm%2522%253A%252220140713.130102334…%2522%257D&request_id=161560641816780274177280&biz_id=0&utm_medium=distribute.pc_search_result.none-task-blog-2_allsobaiduend~default-3-52454748.first_rank_v2_pc_rank_v29&utm_term=%E6%95%B0%E6%8D%AE%E5%BA%93%E5%85%B3%E7%B3%BB%E4%BB%A3%E6%95%B0%E9%99%A4%E6%B3%95

应用场景：

当问题中出现“至少”“全部”“所有”等类似的集合包含的概念时，可能会用到除法；
在用到除法时，关键问题是构造除关系和被除关系，在这里提供一个思路：被除数一般设置为要查找信息的表，除数一般设置为提供了查找信息的表。