【正文】 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 [例 4] 查詢學(xué)生關(guān)系 Student中都有哪些系 Sdept CS IS MA πSdept(Student) 結(jié)果： 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 3. 連接（ Join） ? 1） 連接也稱為 θ連接 ? 2） 連接運(yùn)算的含義 – 從兩個(gè)關(guān)系的笛卡爾積中選取屬性間滿足一定條件的元組 AθB tr ts R S = { | tr ? R∧ ts ?S∧ tr[A]θts[B] } ? A和 B： 分別為 R和 S上度數(shù)相等且可比的屬性組 ? θ：比較運(yùn)算符 ? 連接運(yùn)算從 R和 S的廣義笛卡爾積 R S中選取（ R關(guān)系）在 A屬性組上的值與（ S關(guān)系）在 B屬性組上值滿足比較關(guān)系的元組。 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 ? 3）兩類常用連接運(yùn)算 –等值連接（ equijoin） ? 什么是等值連接 –θ為 “ ＝ ” 的連接運(yùn)算稱為等值連接 ? 等值連接的含義 –從關(guān)系 R與 S的廣義笛卡爾積中選取 A、 B屬性值相等的那些元組 ， 即等值連接為： A=B tr ts R S = { | tr ?R∧ ts ?S∧ tr[A] = ts[B] } 3. 連接（ Join） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 –自然連接 （ Natural join） ? 什么是自然連接 – 自然連接是一種特殊的等值連接 187。兩個(gè)關(guān)系中進(jìn)行比較的分量必須是相同的屬性組 187。在結(jié)果中把重復(fù)的屬性列去掉 ? 自然連接的含義 R和 S具有相同的屬性組 B R S = { | tr ?R∧ ts ?S∧ tr[B] = ts[B] } tr ts 3. 連接（ Join） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 ? 4） 一般的連接操作是從行的角度進(jìn)行運(yùn)算 。 AθB R S 自然連接還需要取消重復(fù)列，所以是同時(shí)從行和列的角度進(jìn)行運(yùn)算。 3. 連接（ Join） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 連接示例 A B C a1 b1 5 a1 b2 6 a2 b3 8 a2 b4 12 B E b1 3 b2 7 b3 10 b3 2 b5 2 R S R S C＜ E 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 A C E a1 b1 5 b2 7 a1 b1 5 b3 10 a1 b2 6 b2 7 a1 b2 6 b3 10 a2 b3 8 b3 10 R S C＜ E 連接示例 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 等值連接示例 A B C a1 b1 5 a1 b2 6 a2 b3 8 a2 b4 12 B E b1 3 b2 7 b3 10 b3 2 b5 2 R S R S = 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 A C E a1 b1 5 b1 3 a1 b2 6 b2 7 a2 b3 8 b3 10 a2 b3 8 b3 2 R S = 等值連接示例 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 自然連接 R S A B C E a1 b1 5 3 a1 b2 6 7 a2 b3 8 10 a2 b3 8 2 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 4）象集 Z 給定一個(gè)關(guān)系 R（ X， Z） ， X和 Z為屬性組 。 當(dāng) t[X]=x 時(shí) ， x 在 R 中的 象集（ Images Set） 為： Zx={t[Z]|t ?R， t[X]=x} 它表示 R中屬性組 X上值為 x的諸元組在 Z上分量的集合。 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 象集示例 A B C a1 b1 c2 a2 b3 c7 a3 b4 c6 a1 b2 c3 a4 b6 c6 a2 b2 c3 a1 b2 c1 R B C b1 c2 b2 c3 b2 c1 C c2 C c3 c1 (a1,b1)象集 (a1,b2)象集 (a1)象集 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 4. 除（ Division） 給定關(guān)系 R (X， Y) 和 S (Y， Z)， 其中 X， Y， Z為屬性組 。 R中的 Y與 S中的 Y可以有不同的屬性名 ， 但必須出自相同的域集 。 R與 S的除運(yùn)算得到一個(gè)新的關(guān)系 P(X)， P是 R中滿足下列條件的元組在 X屬性列上的投影： 元組在 X上分量值 x的象集 Yx包含 S在 Y上投影的集合 。 R247。 S = {tr [X] | tr ? R∧ πY (S) ? Yx } Yx： x在 R中的象集 ， x = tr[X] 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 ? 2） 除操作是同時(shí)從行和列角度進(jìn)行運(yùn)算 247。 R S 4. 除（ Division） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 A B C a1 b1 c2 a2 b3 c7 a3 b4 c6 a1 b2 c3 a4 b6 c6 a2 b2 c3 a1 b2 c1 B C D b1 c2 d1 b2 c1 d1 b2 c3 d2 R S R247。 S 4. 除（ Division） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 分析： 在關(guān)系 R中 ， A可以取四個(gè)值 {a1， a2， a3， a4} a1的象集為 {(b1， c2)， (b2， c3)， (b2， c1)} a2的象集為 {(b3， c7)， (b2， c3)} a3的象集為 {(b4， c6)} a4的象集為 {(b6， c6)} S在 (B， C)上的投影為 {(b1， c2)， (b2， c1)， (b2， c3) } 只有 a1的象集包含了 S在 (B， C)屬性組上的投影 所以 R247。 S ={a1} 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 5．綜合舉例 SC 學(xué) 號(hào) 課 程 號(hào) 成 績(jī) Sno Cno Grade 95001 1 92 95001 2 85 95001 3 88 95002 2 90 95002 3 80 查詢至少選修 1號(hào)課程和 3號(hào)課程的學(xué)生號(hào)碼 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 3 1 Cno 首先建立一個(gè)臨時(shí)關(guān)系 K： 然后求： (SC)247。 K 5．綜合舉例 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 5．綜合舉例 ? (SC) 95001象集 {1， 2， 3} 95002象集 {2， 3} πCno(K)={1， 3} 于是： (SC)247。 K={95001} Sno Cno 95001 1 95001 2 95001 3 95002 2 95002 3 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專門的關(guān)系運(yùn)算 學(xué) 號(hào) Sno 姓 名 Sname 性 別 Ssex 年 齡 Sage 系 Sdept