第3章關(guān)系模型、語(yǔ)言及系統(tǒng)-資料下載頁(yè)
2025-07-20 09:54本頁(yè)面
【正文】 l，則該屬性就有 not null的約束 關(guān)系約束 實(shí)體完整性 實(shí)體完整性規(guī)則 若屬性 A是基本關(guān)系 R的主屬性，則屬性 A不能取空值。 – 完整性規(guī)則是針對(duì)基本關(guān)系而言的。 – 現(xiàn)實(shí)世界中的實(shí)體是可區(qū)分的，即它們具有某種唯一性標(biāo)識(shí)。 – 相應(yīng)的、關(guān)系模型中以主碼作為唯一性標(biāo)識(shí)。 – 主碼中的屬性即主屬性不能取空值。 – Primary key約束 關(guān)系約束 參照完整性、外碼 ? 定義 F是基本關(guān)系 R的一個(gè)或一組屬性，但不是關(guān)系 R的碼。如果與基本關(guān)系 S的主碼 Ks相對(duì)應(yīng)，則稱(chēng) F是基本關(guān)系的 外碼 （ Foreign Key），并稱(chēng)基本關(guān)系 R為參照關(guān)系（ Referencing Relation），基本關(guān)系 S為被參照關(guān)系（ Target Relation）或目標(biāo)關(guān)系。關(guān)系 R和不一定是不同的關(guān)系。 ? 目標(biāo)關(guān)系 S的主碼 Ks和參照關(guān)系 R的外碼 F必須定義在同一個(gè)域上。 ? 例如 學(xué)生 學(xué)校專(zhuān)業(yè) 學(xué)生 選修 課程 關(guān)系約束 參照完整性、外碼 ? 規(guī)則 參照完整性規(guī)則 若屬性（或?qū)傩越M）是基本關(guān)系 R的外碼，它與基本關(guān)系的主碼相對(duì)應(yīng)（基本關(guān)系和不一定是不同的關(guān)系），則對(duì)于 R中每個(gè)元組在 F上的值必須為： ? 或者取空值（的每個(gè)屬性值均為空）； ? 或者等于中某個(gè)元組的主碼值。 關(guān)系約束 用戶(hù)定義的完整性約束 ? 用戶(hù)定義的完整性是針對(duì)某一具體數(shù)據(jù)的約束條件，由應(yīng)用環(huán)境決定。它反映某一具體應(yīng)用所涉及的數(shù)據(jù)必須滿(mǎn)足的語(yǔ)義要求。系統(tǒng)應(yīng)提供定義和檢驗(yàn)這類(lèi)完整性的機(jī)制，以便用統(tǒng)一的系統(tǒng)方法處理它們，不再由應(yīng)用程序承擔(dān)這項(xiàng)工作。 關(guān)系數(shù)據(jù)庫(kù)模式 關(guān)系數(shù)據(jù)庫(kù)模式 (Relational Database Schema) S包含關(guān)系模式的集合 S={R1,R2,…,R m}和完整性約束 (Integrity Constraints)的集合 IC。 關(guān)系數(shù)據(jù)庫(kù)實(shí)例 (Relational Database Instance) DB是關(guān)系實(shí)例的集合 DB={r1,r2,…,r m}，其中每個(gè) ri是 Ri的一個(gè)實(shí)例，并且關(guān)系實(shí)例 ri滿(mǎn)足 IC中規(guī)定的完整性約束。
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1