参考完整性ReferentialIntegrity-中正大学.PPT

Advanced Database Management System Outline Overview 完整性條件(Integrity Rules)是用來規範關聯資料表中的存放、刪除或更改等動作 防止使用者誤將錯誤或不合法的資料存在資料庫中，避免引發將來日後不可收拾的錯誤情況發生 Overview 關聯式資料模型包含數個限制型態，以便維護資料庫中資料的正確性及完整性 定義域限制(Domain Constraints) 實體完整性(Entity Integrity) 參考完整性(Referential Integrity) 作業限制(Operational Constraints) 定義域限制(Domain Constraints) 定義域限制是可以結合一個或多個屬性資料值的特徵描述 關聯性欄位上的所有資料必定屬於同一個定義域 定義域限制通常指一些特徵，如資料型別、長度與可接受值得範圍 例如：名稱：Person_Name 名稱：Semesters 資料類型：字元 資料類型：字元 最大長度：30 格式：pppp(期間)yyyy(年) 可接受值(p)：Fall, Sprg, Summ 實體完整性(Entity Integrity) 實體完整性法則是指確保每個關聯性都 有一主鍵(Primary Key) 主鍵的值都必須有資料，不可以為空值 參考完整性(Referential Integrity) 關聯式資料模型中，使用外來鑑定一表格間的結合，維護兩關聯性橫列間的一致性 資料庫中不能有違法的外來鍵值 若表格B的外鍵FK與表格A的主鍵PK相配合，則FK的值必須等於表格A裡某筆記錄的PK值，或者FK 的每個成分欄位都為虛值。 當表格B裡某筆記錄其外鍵不為虛值，可是在表格 A 裡卻沒有任何記錄的主鍵 PK 值相等於此FK鍵值，我們稱此 FK 鍵值為未定義。 參考完整性(Referential Integrity) 作業限制(Operational Constraints) 作業限制是限制組織所進行作業的企業規範 例如：凡是持有季票的人，只要買一次票，就可以看全部的比賽 Outline Declarative vs. Procedural 宣告式完整性(Declarative Integrity) 事先將規範陳述後，儲存在一個限制庫中 當資料庫異動時，會在限制庫中存去適用的規範，將限制套用在受影響的異動 程序式完整性(Procedural Integrity) 透過預儲程序或觸發程序來做規範限制 完整性規則 實例： CREATE INTEGRITY RULE ER3 FORALL EMP ( EMP.SAL0 ) ON ATTEMPTED VIOLATION REJECT; (員工的薪水要為正值 ) 名稱(Name,本例子中為ER3)：這個規則會以這個名子在系統目錄中註冊 條件限制(Constraint)：意指一個真值式，一般是多變複雜的 違反回應(Violation Response)：告訴系統當違反限制評估時要作什麼事 Outline 混淆的相關概念問題 完整性(Integrity) 回復(Recovery) 一致性(Concurrency) 安全性(Security) 完整性(Integrity) 嚴格地說，資料庫在完整性狀態下的意思是指，資料庫是正確的，也就是說沒有違反任何已知的完整性限制 回復(Recovery) 在錯誤(例如硬體或軟體的錯誤)造成資料損毀或至少使得現狀出現疑問的情況發生時，將資料庫復原到先前正確的狀態 已回復狀態將只是系統所自認的“正確” 一致性(Concurrency) 一致性是指當多個交易在執行時能夠平行處理的能力 系統不會注重他們自己個體上交易的正確性問題，而只是保證他們不會造成執行平行交易上的錯誤 安全性(Security) 安全性指的是去保護資料對抗未經認證的揭發、改變或破壞 安全性是保護資料庫對抗未經認證的使用者，完整性是對抗通過認證的使用者 Outline 定義域完整性 vs. 表格完整性 定義域完整性 表格完整性 Single- vs. Multi-Row Rules State vs. Transition Rules Immediate vs. Deferred Rules Single- vs. Multi-Row Rules 單列規則(Single-Row Rules) 是