數據庫——關係代數除法

定義以下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中的象集

>>阅读原文<<