除運(yùn)算

設(shè)關(guān)系R除以關(guān)系S的結(jié)果為關(guān)系T，則T包含所有在R但不在S中的屬性及其值，則T的原則與S的元組的所有組合都在R中。用象集來定義除法：給定關(guān)系R（X，Y）和S（Y，Z）。其中X，Y，Z為屬性組。R中的Y與S中的Y可以有不同的屬性名，但必須出自相同的域。R與S的除運(yùn)算得到一個新的關(guān)系P（X），P是R中滿足下列條件的元組在X屬性列上的投影：元組在X上的分量值x的象集Yx包含S在Y上的投影的集合。記作：R?S={tr[X]|tr∈R∧ ΠY（S)?Yx }，其中Yx為x在R中的象集，x=tr[X]

除操作是同時從行和列角度進(jìn)行運(yùn)算。
例1：
設(shè)關(guān)系R、S分別為圖一中的（a）和（b），R÷S的結(jié)果為圖二。在關(guān)系R中，A可以取4個值{a1，a2，a3，a4}

如圖所示，其分析結(jié)果如下圖所示

顯然，只有a1的象集（B，C）a1包含了S在（B，C）屬性組上的投影，所以R÷S={a1}
除數(shù)和被除數(shù)都為關(guān)系，因此做除運(yùn)算之后的結(jié)果也是關(guān)系，即R÷S={a1}，結(jié)果也可以使用表格的形式寫出來。

例2查詢至少選秀1號課程和3號課程的學(xué)生號碼（以P52學(xué)生-課程數(shù)據(jù)庫為例）
1.首先建立一個臨時關(guān)系K：


201215121的象集為{1，2，3}
201215122的象集為{2，3}
K在（Sno，Cno）201215121的投影為：{1，3}
故，結(jié)果為{201215121}。

總結(jié)

以上是生活随笔為你收集整理的数据库：除运算的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。