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