[工學(xué)]關(guān)系數(shù)據(jù)模型與關(guān)系運(yùn)算(2)(已修改)
2024-10-28 18:25 本頁(yè)面
【正文】 數(shù) 據(jù) 庫(kù) 基 礎(chǔ) 第二章 關(guān)系數(shù)據(jù)模型與關(guān)系運(yùn)算 湯 娜 中山大學(xué)計(jì)算機(jī)科學(xué)系 Example of a Relation 關(guān)系數(shù)據(jù)模型 ?關(guān)系數(shù)據(jù)結(jié)構(gòu)描述 ? 關(guān)系的笛卡爾積乘積定義 ?Domain（域） /datatype（數(shù)據(jù)類型） ?Cartesian Product （笛卡爾積） ? 定義 :設(shè)有一組域 D1， D2， … ， Dn，這些域可以部分或者全部相同。域 D1， D2， … ， Dn的笛卡爾乘積（ Cartesian Products）定義為如下集合： D1 D2 … Dn = {（ d1， d2， … ， dn） | di?Di， i=1， 2， … ，n} 其中每一個(gè)元素 （ d1， d2， … ， dn） 稱為一個(gè)元組 （ Tuple） ， 通常用 t表示；元組中每一個(gè)值稱為一個(gè)分量 （ Component） 。 ? 例子：總分登記表中的四個(gè)域 關(guān)系數(shù)據(jù)模型 ?a relation is a subset of a Cartesian product ? 例子 1： 總分登記表 ? Domain(學(xué)號(hào) ) ? Domain(姓名 ) ? Domain(性別 ) ? Domain(總分 ) ? 例子 2： if relation t have 4 attributes, A1 , A2 , A3 , and A4, 則 T ? Domain(A1 ) x Domain(A2 ) x Domain(A3 ) x Domain(A4 ) ? 關(guān)系的二維表格描述 ?關(guān)系是滿足特定規(guī)范性要求的二維表格 ?關(guān)系的規(guī)范化限定 ?關(guān)系的其他一些概念：數(shù)據(jù)庫(kù)、關(guān)系（表）、屬性、元組、基數(shù)、度數(shù) 關(guān)系數(shù)據(jù)模型 ?鍵 ? 超鍵、候選鍵、主鍵、外鍵 ?設(shè) X是關(guān)系 R的一個(gè)或一組屬性，但不是關(guān)系 R的鍵。如果 X與關(guān)系 S的主鍵 KS相對(duì)應(yīng)，則稱 X是關(guān)系 R的外鍵（ Foreign key)。關(guān)系 R為參照關(guān)系 (Referencing Relation)。 關(guān)系 S為被參照關(guān)系 (Referenced Relation)或目標(biāo)關(guān)系 (Target Relation)。 ? 關(guān)系模式和關(guān)系實(shí)例 ?關(guān)系模式 ? 關(guān)系模式 （ Relation Schema） 。 它是一個(gè) 5元組： R (U, D, dom, F) ?關(guān)系實(shí)例 ?關(guān)系的性質(zhì) ? 在關(guān)系模型中，對(duì)關(guān)系作了下列規(guī)范性限制： （ 1）關(guān)系中每一個(gè)屬性值都是不可分解的； （ 2）關(guān)系中不允許出現(xiàn)重復(fù)元組（即不允許出現(xiàn)相同的元組）； （ 3）由于關(guān)系是一個(gè)集合，因此不考慮元組間的順序，即沒(méi)有行序； （ 4）元組中的屬性在理論上也是無(wú)序的，但使用時(shí)按習(xí)慣考慮列的順序。 關(guān)系數(shù)據(jù)模型 ?完整性約束 ? （ 1） 實(shí)體完整性約束 ?實(shí)體完整性約束 （ Entity Integrity） 要求組成主鍵的屬性不能為空值 ， ? （ 2） 參照完整性約束 ?參照完整性規(guī)則：如果 X是關(guān)系 R的外鍵 ,它與關(guān)系 S的主鍵KS相對(duì)應(yīng)，則對(duì)于 R中每個(gè)元組在 X上的值必須為： ? 或者為空值（ X包含的所有屬性都為空值） ? 或者等于 S中某個(gè)元組的主鍵值 ? （ 3） 用戶定義完整性約束 ?例如：訂貨數(shù)不得小于 0；訂貨數(shù)不得小于存貨量 例 1 下面各種情況說(shuō)明了參照完整性規(guī)則在關(guān)系中如何實(shí)現(xiàn)的。 ① 在關(guān)系數(shù)據(jù)庫(kù)中有下列兩個(gè)關(guān)系模式： S（ S， SNAME， AGE， SEX） SC（ S， C， GRADE） 這里帶下劃線者為主鍵， SC關(guān)系中的 S屬性為外鍵。據(jù)規(guī)則要求關(guān)系 SC中的 S 值應(yīng)該在關(guān)系 S中出現(xiàn)。如果關(guān)系 SC中有一個(gè)元組（ S7,C4,80），而學(xué)號(hào) S7卻在關(guān)系 S中找不到，那么我們就認(rèn)為在關(guān)系 SC中引用了一個(gè)不存在的學(xué)生實(shí)體，這就違反了參照完整性規(guī)則。 另外，在關(guān)系 SC中 S 不僅是外鍵，也是主鍵的一部分，因此這里 S 值不允許空。 例 2 設(shè)工廠數(shù)據(jù)庫(kù)中有兩個(gè)關(guān)系模式： DEPT(D， DNAME) EMP(E， ENAME， SALARY， D ) 車間模式 DEPT的屬性為車間編號(hào)、車間名，
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1