写在前面:
设有关系 R(X,Y) 与关系 S(Y,Z),其中X,Y,Z为属性集合。R与S要进行除法运算,R中的Y与S中的Y可以有不同的属性名,但对应属性必须出自相同的域。
这句话是说,哪怕把R中的Y换个名字,比如改为R(X,T),只要R中的T和S中的Y有相同的值域,也可以进行除法。
详细:
/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-2allsobaiduend~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
应用场景:
当问题中出现“至少”“全部”“所有”等类似的集合包含的概念时,可能会用到除法;
在用到除法时,关键问题是构造除关系和被除关系,在这里提供一个思路:被除数一般设置为要查找信息的表,除数一般设置为提供了查找信息的表。