数据库——关系代数除法

定义以下web 专门的关系运算-除给定关系R (X，Y) 和S (Y，Z)，其中X，Y，Z为属性组。R中的Y与S中的Y能够有不一样的属性名，但必须出自相同的域集。R与S的除运算获得一个新的关系P(X)，P是R中知足下列条件的元组在X属性列上的投影：元组在X上份量值x的象集Yx包含S在Y上投影的集合。 R÷S = {tr [X] | tr 属于R∧πY (S) 属于 Yx } Yx：x在R中的象集

>>阅读原文<<