定義如下
專門的關係運算-除給定關係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 =
yx：x在r中的象集，x = tr[x]
象集zx
在給定乙個關係r（x，z），x和z為屬性組。當t[x]=x時，x在r中的象集（images set）為：
zx=
它表示r中屬性組x上值為x的諸元組在z上分量的集合
例子
在關係r中，a可以取四個值
a1的象集為
a2的象集為
a3的象集為
a4的象集為
s在(b，c)上的投影為
只有a1的象集包含了s在(b，c)屬性組上的投影
所以 r÷s =
資料庫關係代數
概述 傳統的集合運算 並，差，交，笛卡爾積 專門的關係運算 r和s 具有相同的目n 即兩個關係都有n個屬性 相應的屬性取自同乙個域 r s 仍為n目關係，由屬於r或屬於s的元組組成 r s r和s 具有相同的目n 相應的屬性取自同乙個域 r s 仍為n目關係，由屬於r而不屬於s的所有元組組成 r s...
資料庫 關係代數
目錄 有了資料庫，還要通過查詢來獲得資料。sql是常用的查詢語言，但我想用更抽象的查詢語言來表達，從思路上去理解而忽略實現細節。下面將介紹關係代數。在介紹查詢語言之前，先定義乙個資料庫例項 sailors sid integer,sname string,rating interger,age re...
關係代數 除法運算
首先講講運算的約束條件，在我看的 資料庫系統原理 一書中，假設rs s，那麼一般情況下s的屬性集是rs屬性集的真子集。而樓主給出的原題不符合這個條件 關係r的屬性集為，關係s的屬性集為，實際上s中只有s r 這些屬性參與了運算 這種情況很少發生 要理解除法這個比較複雜的運算，得明白為什麼需要它，也就...