[法學(xué)]第12章_數(shù)據(jù)庫概述-資料下載頁
2025-01-19 13:57本頁面
【正文】 43 關(guān)系數(shù)據(jù)結(jié)構(gòu)的形式化定義 ? 例：設(shè) D1為教師集合（ T） = {t1， t2} D2為學(xué)生集合（ S） = {s1， s2 ， s3} D3為課程集合（ C） = {c1， c2} 則 D1 D2 D3是個(gè)三元組集合，元組個(gè)數(shù)為 2 3 2，是所有可能的（教師，學(xué)生，課程）元組集合 ? 笛卡爾積可表為二維表的形式 T S C t1 s1 c1 t1 s1 c2 t1 s2 c1 … … … t2 s3 c2 44 關(guān)系數(shù)據(jù)結(jié)構(gòu)的形式化定義 ? 關(guān)系 ? 笛卡爾積 D1 D2 … Dn的子集叫做在域 D1 , D2 ,…, D n上的關(guān)系，用 R(D1 , D2 ,…, D n )表示 ? R是關(guān)系的名字， n是關(guān)系的度或目 ? 關(guān)系是笛卡爾積中有意義的子集 ? 關(guān)系也可以表示為二維表 關(guān)系 TEACH(T, S, C) T S C t1 s1 c1 t1 s1 c2 t1 s2 c1 t2 s3 c2 元組 屬性 45 關(guān)系數(shù)據(jù)結(jié)構(gòu)的形式化定義 ?碼： ?候選碼 :能夠唯一標(biāo)識(shí)關(guān)系中元組的屬性或最小屬性組。 ?主碼：從候選關(guān)鍵字中選擇出的作為元組的唯一標(biāo)識(shí)的候選關(guān)鍵字。 46 關(guān)系數(shù)據(jù)結(jié)構(gòu)的形式化定義 ?關(guān)系模式 一個(gè)關(guān)系的屬性名表，即 二維表的框架 形式定義為： 關(guān)系名（屬性名 1，屬性名 2， …) 例： S(S,SNAME,AGE,SEX) 其中關(guān)系模式中屬性的數(shù)目稱為元數(shù) 。 ? 關(guān)系模型 由多個(gè)關(guān)系模式組成了關(guān)系模型，也稱為關(guān)系數(shù)據(jù)庫模式。 48 關(guān)系數(shù)據(jù)庫 ? 對(duì)應(yīng)于一個(gè)關(guān)系模型的全部關(guān)系的集合稱為關(guān)系數(shù)據(jù)庫 ? 一個(gè)關(guān)系應(yīng)具備下列特點(diǎn) ? 關(guān)系的每一列具有不同的名稱（屬性名） ? 關(guān)系的每一列具有同一類型的域 ? 關(guān)系中任意兩行（元組）不能完全相同 ? 關(guān)系的每一列是不可再分的數(shù)據(jù)單位 ? 關(guān)系中行、列的次序可以互換 ? 每一個(gè)關(guān)系有一個(gè)唯一的主碼 49 關(guān)系操作 ? 查詢 (query)操作： ? 選擇（ select） ? 投影 (project) ? 連接 (join) ? 除 (divide) ? 并 (union) ? 交 (intersection) ? 差 (difference) ? 更新操作： ? 增加 (insert) ? 刪除 (delete) ? 修改 (update) ? 關(guān)系操作的特點(diǎn)：采用集合操作方式，即操作的對(duì)象和結(jié)果都是集合。 50 關(guān)系操作語言 ? 關(guān)系代數(shù)：抽象的關(guān)系操作語言 ? 關(guān)系演算：抽象的關(guān)系操作語言 ? 關(guān)系數(shù)據(jù)語言：非過程化語言 ? 典型： SQL（ Structured Query Language,結(jié)構(gòu)化查詢語言）。 51 關(guān)系的完整性 ? 完整性：對(duì)關(guān)系的某種約束條件 ? 域完整性 ? 實(shí)體完整性（ Entity Integrity） ? 保證了現(xiàn)實(shí)世界中實(shí)體的唯一性 ? 參照完整性（ Referential integrity） ? 保證了關(guān)系之間的相互關(guān)系 ? 外碼： ? 參照完整性的定義： ? 用戶定義的完整性：反映某一具體應(yīng)用所涉及的數(shù)據(jù)必須滿足的語義要求
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1