完整性約束的類型7.2.3完整性約束的定義方法7.2.4完整性

1、第第7章數(shù)據(jù)庫的安全保護章數(shù)據(jù)庫的安全保護17.2.17.2.1數(shù)據(jù)庫完整性的含義數(shù)據(jù)庫完整性的含義7.2.27.2.2完整性約束的類型完整性約束的類型7.2.37.2.3完整性約束的定義方法完整性約束的定義方法7.2.47.2.4完整性約束的驗證完整性約束的驗證 7.27.2數(shù)據(jù)庫的完整性數(shù)據(jù)庫的完整性第第7章數(shù)據(jù)庫的安全保護章數(shù)據(jù)庫的安全保護2 數(shù)據(jù)庫的完整性是指數(shù)據(jù)庫中數(shù)據(jù)的正數(shù)據(jù)庫的完整性是指數(shù)據(jù)庫中數(shù)據(jù)的正確性和相容性。確性和相容性。7.2.1數(shù)據(jù)庫完整性的含義第第7章數(shù)據(jù)庫的安全保護章數(shù)據(jù)庫的安全保護31 1由數(shù)據(jù)模型確定的完整性約束由數(shù)據(jù)模型確定的完整性約束由數(shù)據(jù)模型確定的完整性

2、約束可以由數(shù)據(jù)庫模式隱含由數(shù)據(jù)模型確定的完整性約束可以由數(shù)據(jù)庫模式隱含地說明和定義，這地說明和定義，這種完整性約束又被稱為數(shù)據(jù)模型的種完整性約束又被稱為數(shù)據(jù)模型的隱含約束。不同數(shù)據(jù)模型具有不同的隱含約束集合。隱含約束。不同數(shù)據(jù)模型具有不同的隱含約束集合。然而，任何一種數(shù)據(jù)模型都不可能把現(xiàn)實世界所有的然而，任何一種數(shù)據(jù)模型都不可能把現(xiàn)實世界所有的約束都包含到隱含約束中來。因此，數(shù)據(jù)模型還具有約束都包含到隱含約束中來。因此，數(shù)據(jù)模型還具有一些需要顯式地定義到數(shù)據(jù)庫模式上的約束，這種約一些需要顯式地定義到數(shù)據(jù)庫模式上的約束，這種約束被稱為數(shù)據(jù)模型的顯式約束。此外數(shù)據(jù)模型還有第束被稱為數(shù)據(jù)模型的顯式約

3、束。此外數(shù)據(jù)模型還有第三種三種類型的約束類型的約束固有約束，即數(shù)據(jù)模型本身固有固有約束，即數(shù)據(jù)模型本身固有的、不需要特殊說明的約束。的、不需要特殊說明的約束。7.2.2 7.2.2 完整性約束的類型完整性約束的類型第第7章數(shù)據(jù)庫的安全保護章數(shù)據(jù)庫的安全保護42 2由數(shù)據(jù)庫應用確定的完整性約束由數(shù)據(jù)庫應用確定的完整性約束數(shù)據(jù)庫上的大部分語義完整性約束是由數(shù)據(jù)庫應用確定的。這類完整數(shù)據(jù)庫上的大部分語義完整性約束是由數(shù)據(jù)庫應用確定的。這類完整性約束分為狀態(tài)約束和變遷約束兩類，在數(shù)據(jù)庫管理系統(tǒng)中這兩類約性約束分為狀態(tài)約束和變遷約束兩類，在數(shù)據(jù)庫管理系統(tǒng)中這兩類約束都被視為顯式約束。束都被視為顯式約束。

4、（1 1）狀態(tài)約束。在某一時刻數(shù)據(jù)庫中的所有數(shù)據(jù)實例構(gòu)成了數(shù)據(jù)庫）狀態(tài)約束。在某一時刻數(shù)據(jù)庫中的所有數(shù)據(jù)實例構(gòu)成了數(shù)據(jù)庫的一個狀態(tài)。數(shù)據(jù)庫的狀態(tài)約束也稱靜態(tài)約束，是所有數(shù)據(jù)庫狀態(tài)必的一個狀態(tài)。數(shù)據(jù)庫的狀態(tài)約束也稱靜態(tài)約束，是所有數(shù)據(jù)庫狀態(tài)必須滿足的約束。每當數(shù)據(jù)庫被修改時，數(shù)據(jù)庫管理系統(tǒng)都要進行狀態(tài)須滿足的約束。每當數(shù)據(jù)庫被修改時，數(shù)據(jù)庫管理系統(tǒng)都要進行狀態(tài)約束的檢查，以保證狀態(tài)約束始終被滿足。約束的檢查，以保證狀態(tài)約束始終被滿足。（2 2）變遷約束。數(shù)據(jù)庫變遷約束也稱動態(tài)約束，是指數(shù)據(jù)庫從一個）變遷約束。數(shù)據(jù)庫變遷約束也稱動態(tài)約束，是指數(shù)據(jù)庫從一個狀態(tài)向另一個狀態(tài)轉(zhuǎn)化過程中必須遵循的約束條件

5、，如職工年齡在更狀態(tài)向另一個狀態(tài)轉(zhuǎn)化過程中必須遵循的約束條件，如職工年齡在更改時只能增長、職工工資在調(diào)整時新值不得少于舊值等。變遷約束既改時只能增長、職工工資在調(diào)整時新值不得少于舊值等。變遷約束既不作用于修改前的狀態(tài)又不作用于修改后的狀態(tài)，而是規(guī)定了狀態(tài)變不作用于修改前的狀態(tài)又不作用于修改后的狀態(tài)，而是規(guī)定了狀態(tài)變遷時必須遵循的規(guī)則。由于其動態(tài)特性，變遷約束很難實施。變遷約遷時必須遵循的規(guī)則。由于其動態(tài)特性，變遷約束很難實施。變遷約束通常用顯式約束表示。束通常用顯式約束表示。7.2.2 7.2.2 完整性約束的類型完整性約束的類型第第7章數(shù)據(jù)庫的安全保護章數(shù)據(jù)庫的安全保護5綜上所述，數(shù)據(jù)庫完整

6、性約束的分類如圖綜上所述，數(shù)據(jù)庫完整性約束的分類如圖7.17.1所示。所示。7.2.2 7.2.2 完整性約束的類型完整性約束的類型第第7章數(shù)據(jù)庫的安全保護章數(shù)據(jù)庫的安全保護61過程化定義方法過程化定義方法顯式約束的過程化定義方法是把顯式約束作為一個過程，由程序員編顯式約束的過程化定義方法是把顯式約束作為一個過程，由程序員編碼到每個更新數(shù)據(jù)庫的事務(wù)中。碼到每個更新數(shù)據(jù)庫的事務(wù)中。2斷言定義方法斷言定義方法斷言定義方法使用一種約束定義語言來定義顯式約束，是一種形式化斷言定義方法使用一種約束定義語言來定義顯式約束，是一種形式化方法。約束定義語言通常是關(guān)系演算語言的變種。顯式約束的斷言定方法。約束定

7、義語言通常是關(guān)系演算語言的變種。顯式約束的斷言定義方法把約束集合和完整性驗證子系統(tǒng)嚴格分開。約束集合存儲在約義方法把約束集合和完整性驗證子系統(tǒng)嚴格分開。約束集合存儲在約束庫中，完整性驗證子系統(tǒng)存取約束庫中的約束，將其應用到相應的束庫中，完整性驗證子系統(tǒng)存取約束庫中的約束，將其應用到相應的數(shù)據(jù)庫更新事務(wù)中。數(shù)據(jù)庫更新事務(wù)中。3觸發(fā)器定義方法觸發(fā)器定義方法一個觸發(fā)器用來定義一個條件以及該條件為真時需要執(zhí)行的動作。一個觸發(fā)器用來定義一個條件以及該條件為真時需要執(zhí)行的動作。7.2.3 7.2.3 完整性約束的定義方法完整性約束的定義方法第第7章數(shù)據(jù)庫的安全保護章數(shù)據(jù)庫的安全保護71. 隱含約束的驗證隱

8、含約束的驗證隱含約束是建立數(shù)據(jù)庫模式時通過數(shù)據(jù)定義語言向數(shù)據(jù)庫管理系統(tǒng)隱含約束是建立數(shù)據(jù)庫模式時通過數(shù)據(jù)定義語言向數(shù)據(jù)庫管理系統(tǒng)說明的。數(shù)據(jù)定義語言編譯器把這些約束存儲在數(shù)據(jù)庫管理系統(tǒng)的說明的。數(shù)據(jù)定義語言編譯器把這些約束存儲在數(shù)據(jù)庫管理系統(tǒng)的數(shù)據(jù)字典中。當數(shù)據(jù)庫被更新時，數(shù)據(jù)庫管理系統(tǒng)將自動讀取數(shù)據(jù)數(shù)據(jù)字典中。當數(shù)據(jù)庫被更新時，數(shù)據(jù)庫管理系統(tǒng)將自動讀取數(shù)據(jù)字典中的完整性約束，進行完整性約束驗證，保證數(shù)據(jù)庫的完整性。字典中的完整性約束，進行完整性約束驗證，保證數(shù)據(jù)庫的完整性。2顯式約束的驗證顯式約束的驗證如果數(shù)據(jù)庫系統(tǒng)使用斷言定義方法定義顯式約束，則顯式約束的存如果數(shù)據(jù)庫系統(tǒng)使用斷言定義方法定義顯式約束，則顯式約束的存儲、管理和驗證與隱含約束的處理方法相同。否則，顯式約束作為儲、管理和驗證與隱含約束的處理方法相同。否則，顯式約束作為過程由程序員編碼到相關(guān)事務(wù)中，在這種情況下，顯式約束的處理過程由程序員編碼到相關(guān)事務(wù)中，在這種情況下，顯式約束的處理完全由程序員和數(shù)據(jù)庫管理員負責。完全由程序員和數(shù)據(jù)庫管理員負責。3固有約束的驗證固有約束的驗證固有約束的驗證由數(shù)據(jù)庫管理系統(tǒng)自動完成。固有約束是數(shù)據(jù)模型固有約束的驗證由