[理學]sql 課件 第2章 關系模型(文件)
【正文】 更新兩類。 ? 許多 DBMS具有引用完整性約束檢查功能 引用完整性約束 ? 例如：賬戶和支行 賬戶 Account（ account_number, branch_name, balance） 支行 Branch（ branch_name, branch_city, assets）。 ? 設 F是關系 R的一個或一組屬性。 實體完整性約束 ? 例如，在關系 Customer（ customer_name, customer_street, customer_city）中，客戶姓名customer_name屬性為主碼（這里假設客戶不會重名），那么 customer_name不能取空值。除此之外，一個屬性的值能否為空值（ NULL）， 也是域完整性約束的內容。 ? 完整性約束可以由用戶檢查，也可由系統(tǒng)來檢查。 ? 自然連接 ：設有關系 R(a, b, c)和 S(c, d, e)，則： RS = { t[a,b,c,d,e] | t[a,b,c] ?R AND t[c,d,e] ?S } 域關系演算 ? 域關系演算以域為變量 ? 其一般形式為： { x1, x2, …, xn | P(x1, x2, …, xn, xn+1,…,xn+m) } ? 語法說明： ? 式中 x1, x2, …, xn, xn+1,…,xn+m為域變量，其中x1, x2, …, xn出現(xiàn)在結果中，其他 m個域變量不出現(xiàn)在結果中，但出現(xiàn)在謂詞 P中。 利用元組關系演算，可以表示關系代數(shù)操作 ? 投影 ：設有關系 R(a, b, c)，則： πa, b (R) = { t[a, b] | t ? R } ? 選擇 ：設有關系 R(a, b, c)，則： ?F (R) = { t | t?R AND F }。 π branch_name（ ?branch_city=青島 （ Branch）） branch_name（支行名稱） branch_city（支行所在地） assets（資產(chǎn)額） 棧橋支行 青島 7 100 000 市中支行 青島 9 000 000 舜耕支行 濟南 400 000 北園支行 泰安 3 700 000 經(jīng)七路支行 濟南 1 700 000 和平支行 濟寧 300 000 鐵路支行 棗莊 100 000 解放支行 濟南 8 000 000 π branch_name（ ?branch_city=“青島 ” （ Branch） ） branch_name（支行名稱） 棧橋支行 市中支行 π customer_name,branch_name（ Deposits Account） customer_name branch_name 劉晨 經(jīng)七路支行 王敏 市中支行 王敏 棧橋支行 趙維 棧橋支行 孫大慶 和平支行 劉偉 舜耕支行 于童 解放支行 ? customer_name可以取六個值 {劉晨 、 王敏 、 趙維 、 孫大慶 、 劉偉 、 于童 } 劉晨的象集為 {經(jīng)七路支行 } 王敏 的象集為 {市中支行 ， 棧橋支行 } 趙維 的象集為 {棧橋支行 } 孫大慶 的象集為 {和平支行 } 劉偉 的象集為 {舜耕支行 } 于童 的象集為 {解放支行 } ? π branch_name（ ?branch_city=“青島 ” （ Branch） ） {棧橋支行 ， 市中支行 } 只有劉晨的象集包含了 {棧橋支行，市中支行 } 所以 π customer_name,branch_name（ Deposits Account）247。 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 b2 c3 d2 R247。 象集 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和 S ? 具有相同的目 n ? 相應的屬性取自同一個域 ? R∩ S ? 仍為 n目關系 ， 由既屬于 R又屬于 S的元組組成 R∩ S = { t|t ? R∧ t ?S } R∩ S = R –(RS） ? 交操作可以用基本操作中的差操作來表示 。 ? R ? n目關系 ， k1個元組 ? S ? m目關系 ， k2個元組 ? R S ? 列： （ n+m） 列的元組的集合 ?元組的前 n列是關系 R的一個元組 ?后 m列是關系 S的一個元組 ? 行： k1 k2個元組 ?R S = {tr ts |tr ?R ∧ ts?S } 笛卡兒積 笛卡兒積 A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 a1 b1 c1 a1 b1 c1 a1 b1 c1 a1 b2 c2 a1 b2 c2 a1 b2 c2 a2 b2 c1 a2 b2 c1 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R S a1 b2 c2 a1 b3 c2 a2 b2 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 customer_name oan_number
教學課件相關推薦
鄂ICP備17016276號-1