[理學]sql課件第2章關系模型(編輯修改稿)
2024-11-15 00:33 本頁面
【文章內容簡介】 er branch_name amount 李勇 L16 L11 解放路支行 9 000 李勇 L16 L14 市中支行 15 000 李勇 L16 L15 經(jīng)七路支行 15 000 李勇 L16 L16 經(jīng)七路支行 13 000 李勇 L16 L17 市中支行 10 000 李勇 L16 L23 和平路支行 20 000 李勇 L16 L93 舜耕路支行 5 000 吳賓 L93 L11 解放路支行 9 000 吳賓 L93 L14 市中支行 15 000 吳賓 L93 L15 經(jīng)七路支行 15 000 吳賓 L93 L16 經(jīng)七路支行 13 000 吳賓 L93 L17 市中支行 10 000 山東財政學院計算機信息工程學院 例子 ? 例如： 要找出所有在經(jīng)七路支行有貸款的客戶姓名。 ? π customer_name(? = (?branch_name =39。經(jīng)七路支行 39。(Borrows Loan))) customer_name 李勇 劉晨 山東財政學院計算機信息工程學院 附加的操作 ? 交 ? 自然連接 ? 除 山東財政學院計算機信息工程學院 一、交 ? 集合運算中的 交 運算 ∩ 也可以用于關系。 ? R和 S ? 具有相同的目 n ? 相應的屬性取自同一個域 ? R∩ S ? 仍為 n目關系 ， 由既屬于 R又屬于 S的元組組成 R∩ S = { t|t ? R∧ t ?S } R∩ S = R –(RS） ? 交操作可以用基本操作中的差操作來表示 。關系 R和 S的交用差操作可以表示為 R ∩ S ? R–( R – S ) 交 A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b2 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R ∩ S 山東財政學院計算機信息工程學院 例子 ? 例如，找出所有在銀行既有賬戶又有貸款的客戶 ? π customer_name (Borrows)∩ π customer_name (Deposits) Customer_name 劉晨 趙維 劉偉 山東財政學院計算機信息工程學院 二、自然連接 ? 自然連接 操作首先進行作為其操作對象的兩個關系的笛卡兒積操作，然后基于兩個關系的公共屬性上的相等性進行選擇操作，最后去除重復屬性。 ? 自然連接用符號 表示。 ? 兩個關系中進行比較的分量必須是相同的屬性組 ? 在結果中把重復的屬性列去掉 ? R和 S具有相同的屬性組 B R S = { | tr ?R∧ ts ?S∧ tr[B] = ts[B] } tr ts 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 A B C E a1 b1 5 3 a1 b2 6 7 a2 b3 8 10 a2 b3 8 2 山東財政學院計算機信息工程學院 例子 ? 例如，找出所有在銀行中有貸款的客戶姓名及相應貸款號和貸款金額 πcustomer_name,amount (Borrows loan) 山東財政學院計算機信息工程學院 例子 ? 找出居住在淄博并在銀行中有賬戶的客戶的開戶支行名稱 π branch_name (?customer_city = ‘淄博 ’ (Customer Account Deposits)) 山東財政學院計算機信息工程學院 例子 ? 找出所有在銀行中既有貸款又有賬戶的客戶 π customer_name（ Borrows Deposits） 山東財政學院計算機信息工程學院 三、除 ?除操作用符號 247。 表示，適合于包含短語 “ 對所有的 ” 的查詢。 ?除操作是同時從行和列角度進行運算 247。 R S 象集 Z 給定一個關系 R（ X， Z） ， X和 Z為屬性組 。 當 t[X]=x時 ，x在 R中的 象集 （ Images Set） 為： Zx={t[Z]|t ?R， t[X]=x} 它表示 R中屬性組 X上值為 x的諸元組在 Z上分量的集合。 象集 Z 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 在關系 R中 ， A可以取四個值 {a1， a2， a3， a4} a1的象集為 {(b1， c2)， (b2， c3)， (b2， c1)} a2的象集為 {(b3， c7)， (b2， c3)} a3的象集為 {(b4， c6)} a4的象集為 {(b6， c6)} 除 給定關系 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上投影的集合 。 R247。 S = {tr [X] | tr ? R∧ πY (S) ? Yx } Yx： x在 R中的象集 ， x = tr[X] 除 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
教學課件相關推薦
鄂ICP備17016276號-1