數(shù)據(jù)庫(kù)的安全性和完整性.ppt

第九章 數(shù)據(jù)庫(kù)的安全性和完整性,計(jì)算機(jī)系統(tǒng)的安全性,計(jì)算機(jī)系統(tǒng)的安全性是指為計(jì)算機(jī)系統(tǒng)建立和采取的各種安全保護(hù)措施，以保護(hù)計(jì)算機(jī)系統(tǒng)中的硬件、軟件和數(shù)據(jù)，防止其因偶然或惡意的原因使系統(tǒng)遭到破壞，數(shù)據(jù)遭到更改或泄漏等。,計(jì)算機(jī)系統(tǒng)安全問(wèn)題的分類,技術(shù)安全類 技術(shù)安全是指計(jì)算機(jī)系統(tǒng)中采用具有一定安全性的硬件、軟件來(lái)實(shí)現(xiàn)對(duì)計(jì)算機(jī)系統(tǒng)及其所存數(shù)據(jù)的安全保護(hù)，當(dāng)計(jì)算機(jī)受到有意的或無(wú)意的攻擊時(shí)仍能保證系統(tǒng)的正常運(yùn)行，保證系統(tǒng)內(nèi)的數(shù)據(jù)不增加、不丟失、不泄露。 管理安全類 技術(shù)安全之外的，諸如軟硬件意外故障、場(chǎng)地的意外事故、管理不善導(dǎo)致的計(jì)算機(jī)設(shè)備和數(shù)據(jù)介質(zhì)的物理破壞、丟失等安全問(wèn)題視為管理安全。 政策法律類 指政府部門建立的有關(guān)計(jì)算機(jī)犯罪、數(shù)據(jù)安全保密的法律道德準(zhǔn)則和政策法規(guī)、法令。,可信計(jì)算機(jī)評(píng)測(cè)標(biāo)準(zhǔn),1985年，美國(guó)國(guó)防部制定了可信計(jì)算機(jī)評(píng)估標(biāo)準(zhǔn)TCSEC（Trusted Computer System Evaluation Criteria)。1991年4月，美國(guó)國(guó)家計(jì)算機(jī)安全中心NCSC發(fā)布可信計(jì)算機(jī)系統(tǒng)評(píng)估標(biāo)準(zhǔn)關(guān)于數(shù)據(jù)庫(kù)系統(tǒng)的解釋TDI（Trusted Database Interpretation）,將TCSEC擴(kuò)展到數(shù)據(jù)庫(kù)管理系統(tǒng)。它們從安全策略、責(zé)任、保證、文檔四個(gè)方面描述了安全級(jí)別劃分的指標(biāo)。,可信計(jì)算機(jī)評(píng)測(cè)標(biāo)準(zhǔn)（續(xù)I）,對(duì)數(shù)據(jù)庫(kù)的安全威脅,原則上，凡是造成對(duì)數(shù)據(jù)庫(kù)內(nèi)存儲(chǔ)數(shù)據(jù)的非授權(quán)訪問(wèn)讀取，或非授權(quán)的寫入增加、刪除、修改等，都屬于對(duì)數(shù)據(jù)庫(kù)的數(shù)據(jù)安全造成了威脅或破壞。另一方面，凡是影響授權(quán)用戶以正常方式使用數(shù)據(jù)庫(kù)系統(tǒng)的數(shù)據(jù)服務(wù)的，也稱之為造成侵犯，對(duì)數(shù)據(jù)庫(kù)的安全形成了威脅或破壞。,對(duì)數(shù)據(jù)庫(kù)的安全威脅的分類,偶然地、無(wú)意地接觸或修改DBMS管理下的數(shù)據(jù) 自然的或意外的事故 硬件或軟件的故障/錯(cuò)誤導(dǎo)致數(shù)據(jù)丟失 人為的失誤，如錯(cuò)誤的輸入和應(yīng)用系統(tǒng)的不正常使用。,對(duì)數(shù)據(jù)庫(kù)的安全威脅的分類（I）,蓄意的侵犯和敵意的攻擊 授權(quán)用戶可能濫用其權(quán)力 信息的非正常擴(kuò)散-泄密 由授權(quán)讀取的數(shù)據(jù)推論出不應(yīng)訪問(wèn)的數(shù)據(jù) 對(duì)信息的非正常修改 敵對(duì)方的攻擊，內(nèi)部的或外部的非授權(quán)用戶從不同渠道進(jìn)行攻擊。 敵對(duì)方對(duì)軟件和硬件的蠻力破壞 繞過(guò)DBMS直接對(duì)數(shù)據(jù)進(jìn)行讀寫 病毒、特洛伊木馬、天窗 通過(guò)各種途徑干擾DBMS的正常工作狀態(tài)，使之在正當(dāng)用戶提出數(shù)據(jù)請(qǐng)求時(shí)，不能正常提供服務(wù)。,數(shù)據(jù)庫(kù)的安全性,數(shù)據(jù)庫(kù)的安全性是指保護(hù)數(shù)據(jù)庫(kù)以防止不合法的使用所造成的數(shù)據(jù)泄漏、更改和破壞。它包括兩個(gè)方面的含義： 向授權(quán)用戶提供可靠的信息服務(wù)。 同時(shí)，拒絕非授權(quán)的對(duì)數(shù)據(jù)的存取訪問(wèn)請(qǐng)求，保證數(shù)據(jù)庫(kù)管理下的數(shù)據(jù)的可用性、完整性和一致性，進(jìn)而保護(hù)數(shù)據(jù)庫(kù)所有者和使用者的合法權(quán)益。,數(shù)據(jù)庫(kù)安全性控制,數(shù)據(jù)庫(kù)安全性控制,數(shù)據(jù)庫(kù)安全控制涉及多個(gè)方面，它可分為內(nèi)部安全控制和外部安全控制。 內(nèi)部安全控制由計(jì)算機(jī)系統(tǒng)的軟硬件實(shí)現(xiàn)。它必須與管理系統(tǒng)物理存取的適當(dāng)?shù)耐獠堪踩刂葡嗯浜稀?外部安全控制解決內(nèi)部安全控制不能解決的問(wèn)題,外部安全控制,實(shí)體安全控制 劃定安全區(qū)域，設(shè)置安全屏障和建立安全控制 評(píng)估安全風(fēng)險(xiǎn)，將涉密設(shè)備和材料放置在不同的安全區(qū)域 人員、組織安全控制 建立安全管理機(jī)構(gòu)和相應(yīng)安全評(píng)估、管理制度 明確組織間的訪問(wèn)安全關(guān)系 明確明確組織內(nèi)的安全角色和責(zé)任 建立人員聘用和考察制度，通過(guò)合同條款和保密協(xié)議，明確每個(gè)人的安全保密責(zé)任 建立責(zé)任追究制度,外部安全控制,過(guò)程安全控制 確定業(yè)務(wù)操作過(guò)程的安全需求 制訂訪問(wèn)控制規(guī)則，并明確個(gè)人用戶（或組用戶）的權(quán)限 建立訪問(wèn)管理制度，確定用戶、特權(quán)、密碼等的管理措施和操作過(guò)程規(guī)定 明確用戶在密碼使用和設(shè)備安全等方面的責(zé)任 建立監(jiān)測(cè)和審查制度 建立安全事故管理制度,數(shù)據(jù)庫(kù)安全性控制,數(shù)據(jù)庫(kù)系統(tǒng)的安全保護(hù)是由多個(gè)層次的構(gòu)成的。 本章只涉及由數(shù)據(jù)庫(kù)本身提供的安全機(jī)制。,用戶標(biāo)識(shí)與鑒別,用戶標(biāo)識(shí)和鑒別是系統(tǒng)提供的最外層安全保護(hù)措施。標(biāo)識(shí)是指系統(tǒng)采用一定的方式標(biāo)識(shí)其用戶或應(yīng)用程序的名字或身份。鑒別是指系統(tǒng)在用戶或應(yīng)用程序登錄時(shí)判斷其是否為合法的授權(quán)用戶。應(yīng)用系統(tǒng)、網(wǎng)絡(luò)系統(tǒng)、操作系統(tǒng)、DBMS都可以進(jìn)行用戶標(biāo)識(shí)和鑒別，通常的做法是采用用戶名和口令。,存取控制,存取控制確保合法用戶按照指定的權(quán)限使用DBMS和訪問(wèn)數(shù)據(jù)，而非法用戶或不具有相關(guān)權(quán)限的用戶則不能。 存取控制機(jī)制主要包括兩個(gè)部分： 定義用戶權(quán)限，并將用戶權(quán)限記錄到數(shù)據(jù)字典中，形成安全規(guī)則或授權(quán)規(guī)則。其中，用戶權(quán)限是指不同的用戶對(duì)于不同的數(shù)據(jù)對(duì)象允許執(zhí)行的操作權(quán)限。 合法權(quán)限檢查，每當(dāng)用戶發(fā)出數(shù)據(jù)庫(kù)操作請(qǐng)求后，DBMS根據(jù)數(shù)據(jù)字典中的安全規(guī)則進(jìn)行合法權(quán)限檢查，決定是否接受用戶的操作請(qǐng)求。 用戶權(quán)限定義和合法權(quán)限檢查機(jī)制一起組成了DBMS的安全子系統(tǒng)。,DAC與MAC,存取控制可以分為： 自主存取控制(discretionary access control，簡(jiǎn)稱DAC)。用戶對(duì)于不同的數(shù)據(jù)對(duì)象擁有不同的存取權(quán)限，不同的用戶對(duì)同一對(duì)象也有不同的權(quán)限，而且用戶還可以將其擁有的權(quán)限轉(zhuǎn)授給其他用戶。 強(qiáng)制存取控制(mandatory access control，簡(jiǎn)稱MAC)。每一個(gè)數(shù)據(jù)對(duì)象被標(biāo)以一定的密級(jí)，每一個(gè)用戶也被授予某一個(gè)級(jí)別的許可證。對(duì)于任一個(gè)對(duì)象，只有具有合法許可證的用戶才可以存取。,自主存取控制方法,用戶權(quán)限由兩個(gè)要素組成，數(shù)據(jù)對(duì)象和操作類型。定義一個(gè)用戶的存取權(quán)限就是要定義這個(gè)用戶可以在哪些數(shù)據(jù)對(duì)象上進(jìn)行哪些類型的操作，在數(shù)據(jù)庫(kù)系統(tǒng)中稱之為授權(quán)。,SQL的數(shù)據(jù)控制,當(dāng)數(shù)據(jù)庫(kù)管理員建立了一個(gè)新用戶之后,必須授予它一定的權(quán)限,該用戶才能使用數(shù)據(jù)庫(kù)。在數(shù)據(jù)庫(kù)系統(tǒng)中可以授予用戶兩類權(quán)限： 用戶級(jí)權(quán)限 用戶級(jí)權(quán)限是數(shù)據(jù)庫(kù)管理員為每個(gè)用戶授予的特定權(quán)限。這種權(quán)限與整個(gè)數(shù)據(jù)庫(kù)相關(guān)，與數(shù)據(jù)庫(kù)中具體的關(guān)系無(wú)關(guān)。這種權(quán)限是對(duì)用戶使用整個(gè)數(shù)據(jù)庫(kù)的權(quán)限的限定。 關(guān)系級(jí)權(quán)限 關(guān)系級(jí)權(quán)限是數(shù)據(jù)庫(kù)管理員或數(shù)據(jù)庫(kù)對(duì)象的擁有者為用戶授予的與關(guān)系或視圖有關(guān)的權(quán)限。這種權(quán)限是對(duì)用戶使用關(guān)系和視圖的權(quán)限的限定。,角色與用戶組,為了管理數(shù)據(jù)庫(kù)特權(quán)的方便，數(shù)據(jù)庫(kù)還支持角色和用戶組的概念。 角色是一組權(quán)限的集合，可以把它授予用戶或其他角色。當(dāng)把某個(gè)角色授予用戶（或角色）或從用戶（或角色）處收回時(shí)，就同時(shí)授予或收回了該角色代表的全部權(quán)限。 用戶組是一組具有相同特性用戶的集合。在授權(quán)或收回權(quán)限時(shí)，可以以用戶組為單位進(jìn)行。,用戶級(jí)權(quán)限與角色的授予與收回,在SQL語(yǔ)言中，通過(guò)Grant語(yǔ)句為用戶授予用戶級(jí)權(quán)限或角色，其語(yǔ)法格式為： Grant | ,| To |public ,| With Grant Option 其中，public指數(shù)據(jù)庫(kù)中的全部用戶。With Grant Option則允許被授權(quán)的用戶將指定的用戶級(jí)權(quán)限或角色授予其他用戶。,用戶級(jí)權(quán)限與角色的授予與收回,為用戶授予用戶級(jí)權(quán)限 Grant Create Session to SCOTT; 為用戶授予角色 Grant Connect to SCOTT; 將權(quán)限授予角色 Grant Create table to Student_role; 將角色授予角色 Grant Resource to Student_role; 將角色授予用戶組 Grant Student_role to PUBLIC;,用戶級(jí)權(quán)限與角色的授予與收回,當(dāng)要取消一個(gè)用戶或角色的權(quán)限時(shí)，可以使用REVOKE語(yǔ)句將其收回： Revoke | ,| From |public ,| 例：取消用戶SCOTT的Create Table權(quán)限。 Revoke Create Table From SCOTT;,關(guān)系級(jí)權(quán)限的授予與收回,每一個(gè)用戶都擁有自己定義的數(shù)據(jù)庫(kù)對(duì)象如（基本表、視圖等），除了他自己和擁有DBA權(quán)限的用戶以外，其他用戶都不能訪問(wèn)這些數(shù)據(jù)庫(kù)對(duì)象。如果想和其他用戶共享其中一部分?jǐn)?shù)據(jù)庫(kù)對(duì)象，就必須將這些數(shù)據(jù)庫(kù)對(duì)象上的部分或全部權(quán)限授予其他用戶。其語(yǔ)法格式為： Grant ALL| , On | , | To , | public With Grant Option,關(guān)系級(jí)權(quán)限的授予與收回,授予用戶Liming在Student表上的Select和Insert權(quán)限。 Grant Select , Update On Student To Liming With Grant Option; Liming授予用戶SCOTT在Student表的Sno列上的Update權(quán)限。 Grant Update(Sno) On Student To SCOTT; 將Student表上的全部權(quán)限授予全體用戶。 Grant ALL On Student To PUBLIC;,關(guān)系級(jí)權(quán)限的授予與收回,回收權(quán)限 Revoke ALL| , On | , | From ,|PUBLIC 例：收回Liming對(duì)Student表的全部權(quán)限 Revoke ALL On Student From Liming; 收回權(quán)限時(shí)，若該用戶已將權(quán)限授予其它用戶，則也一并收回。,用戶權(quán)限定義表,利用視圖實(shí)現(xiàn)安全控制,為不同的用戶定義不同的視圖，可以將用戶對(duì)數(shù)據(jù)的訪問(wèn)限制在一定的范圍內(nèi)。 例：限制王平只能檢索Student表中計(jì)算機(jī)系學(xué)生的學(xué)號(hào)和姓名。 Create View CS_Student As Select Sno, Sname From Student Where Sdept = CS; Grant Select On CS_Student To Wangping;,強(qiáng)制存取方法,主體 是系統(tǒng)中的活動(dòng)實(shí)體，既包括DBMS所管理的實(shí)際用戶，也包括代表用戶的各進(jìn)程。 客體 是系統(tǒng)中的被動(dòng)實(shí)體，是受主體操縱的，包括文件、基本表、索引、視圖等 對(duì)于主體和客體，DBMS為他們每個(gè)實(shí)例（值）指定一個(gè)敏感度標(biāo)記。敏感度表被分為若干級(jí)別，如絕密、機(jī)密、可信、公開等。主體的敏感度標(biāo)記稱為許可證級(jí)別，客體的敏感度標(biāo)記稱為密級(jí)。,強(qiáng)制存取方法,當(dāng)某一主體以某一許可證級(jí)別注冊(cè)入系統(tǒng)時(shí)，系統(tǒng)要求他對(duì)任何客體的存取必須遵循如下規(guī)則： 僅當(dāng)主體的許可證級(jí)別大于或等于客體的密級(jí)時(shí)，該主體才能讀取相應(yīng)的客體； 僅當(dāng)主體的許可證級(jí)別等于客體的密級(jí)時(shí)，該主體才能寫相應(yīng)的客體；,審計(jì)和數(shù)據(jù)加密,審計(jì)功能把用戶對(duì)數(shù)據(jù)庫(kù)的所有操作都自動(dòng)記錄下來(lái)放入審計(jì)日志中。DBA可以利用審計(jì)跟蹤的信息，重現(xiàn)導(dǎo)致數(shù)據(jù)庫(kù)現(xiàn)有狀況的一系列事件，找出非法存取數(shù)據(jù)的人、時(shí)間和內(nèi)容等。 數(shù)據(jù)加密 是防止數(shù)據(jù)庫(kù)中數(shù)據(jù)在存儲(chǔ)和傳輸中失密的有效手段。加密的基本思想是根據(jù)一定的算法將原始數(shù)據(jù)（明文）變換為不可識(shí)別的格式（密文），從而使得不知道解密算法的人無(wú)法獲知數(shù)據(jù)的內(nèi)容。,統(tǒng)計(jì)數(shù)據(jù)庫(kù)安全性,統(tǒng)計(jì)數(shù)據(jù)庫(kù)中的數(shù)據(jù)分為兩類，一類是微數(shù)據(jù)描述現(xiàn)實(shí)世界的實(shí)體、概念或事件的數(shù)據(jù)；另一類是統(tǒng)計(jì)或綜合數(shù)據(jù)，時(shí)對(duì)微數(shù)據(jù)進(jìn)行綜合處理而得到的結(jié)果數(shù)據(jù)。統(tǒng)計(jì)數(shù)據(jù)庫(kù)只為用戶提供統(tǒng)計(jì)數(shù)據(jù)，不允許用戶訪問(wèn)微數(shù)據(jù)。但微數(shù)據(jù)有時(shí)可以通過(guò)一組統(tǒng)計(jì)數(shù)據(jù)推導(dǎo)出來(lái)。統(tǒng)計(jì)數(shù)據(jù)庫(kù)安全性的目的就是防止用戶訪問(wèn)或推導(dǎo)出統(tǒng)計(jì)數(shù)據(jù)庫(kù)的微數(shù)據(jù)。,統(tǒng)計(jì)數(shù)據(jù)庫(kù)安全性,例： 關(guān)系PERSON(NAME, SSN, INCOME, ADDRESS, CITY, STATE, ZIP, SEX, LAST_DEGREE)為人口統(tǒng)計(jì)數(shù)據(jù)庫(kù)中的一個(gè)關(guān)系。 假設(shè)已知王蘭獲博士學(xué)位，居住在黑龍江省哈爾濱市，現(xiàn)要查詢其收入，首先執(zhí)行： SELECT COUNT(*) FROM PERSON WHERE LAST_DEGREE = PH.D AND SEX = F AND CITY = 哈爾濱 AND STATE = 黑龍江；,統(tǒng)計(jì)數(shù)據(jù)庫(kù)安全性,若返回結(jié)果為1，則在執(zhí)行以下查詢：SELECT AVG(INCOME) FROM PERSON WHERE LAST_DEGREE = PH.D AND SEX = F AND CITY = 哈爾濱 AND STATE = 黑龍江； 就可獲得王蘭的收入。,統(tǒng)計(jì)數(shù)據(jù)庫(kù)安全性,為防止用戶推導(dǎo)出統(tǒng)計(jì)數(shù)據(jù)庫(kù)的微數(shù)據(jù)，可以采取以下方法： 對(duì)統(tǒng)計(jì)結(jié)果的大小加以控制，將其限制在某一范圍之內(nèi)。這樣可以減小使用統(tǒng)計(jì)查詢推導(dǎo)微數(shù)據(jù)的可能性。 禁止在相同元組集合上重復(fù)執(zhí)行一系列統(tǒng)計(jì)查詢。 在統(tǒng)計(jì)查詢結(jié)果中加入噪聲，為推導(dǎo)微數(shù)據(jù)制造困難。,完整性,數(shù)據(jù)庫(kù)的完整性是指數(shù)據(jù)的正確性和相容性。其中，正確性是指數(shù)據(jù)應(yīng)具有合法的類型，如數(shù)值型的字段只能含有09，不能包含其它符號(hào)；更進(jìn)一步，數(shù)據(jù)還應(yīng)在有效的取值范圍之內(nèi)，如一年最多只有12個(gè)月，不能出現(xiàn)13個(gè)月。相容性是指表示同一個(gè)事實(shí)的兩個(gè)數(shù)據(jù)應(yīng)該相同，如一個(gè)人不應(yīng)當(dāng)存在兩個(gè)年齡。數(shù)據(jù)庫(kù)能否保持完整性關(guān)系到數(shù)據(jù)庫(kù)系統(tǒng)是否能夠真實(shí)的反映現(xiàn)實(shí)世界，因此維護(hù)數(shù)據(jù)庫(kù)的完整性十分重要。,完整性與安全性,數(shù)據(jù)庫(kù)的完整性與安全性是兩個(gè)不同的概念。前者是為了防止數(shù)據(jù)庫(kù)中存在不符合語(yǔ)義的數(shù)據(jù)，防止錯(cuò)誤信息的輸入和輸出，即所謂的垃圾進(jìn)垃圾出所造成的無(wú)效操作和錯(cuò)誤結(jié)果。而后者是保護(hù)數(shù)據(jù)庫(kù)防止惡意的破壞和非法存取。也就是說(shuō)，安全性防范的是非法用戶和非法操作，完整性措施的防范對(duì)象是不合語(yǔ)義的數(shù)據(jù)。,完整性約束條件,施加在數(shù)據(jù)庫(kù)數(shù)據(jù)之上的語(yǔ)義約束條件稱為數(shù)據(jù)庫(kù)完整性約束條件。數(shù)據(jù)庫(kù)系統(tǒng)依據(jù)完整性約束條件進(jìn)行完整性檢查。 完整性約束條件作用的對(duì)象可以是關(guān)系、元組、列三種。其中列約束主要是列的類型、取值范圍、精度等約束條件。元組的約束是元組中各個(gè)字段間聯(lián)系的約束。關(guān)系的約束是若干元組間、關(guān)系集合上以及關(guān)系之間的聯(lián)系的約束。,完整性約束條件,涉及這三類對(duì)象的完整性約束又可分為靜態(tài)約束和動(dòng)態(tài)約束。 靜態(tài)約束是指數(shù)據(jù)庫(kù)每一確定狀態(tài)（在某一時(shí)刻數(shù)據(jù)庫(kù)中的所有數(shù)據(jù)實(shí)例構(gòu)成了數(shù)據(jù)庫(kù)的一個(gè)狀態(tài)）時(shí)，數(shù)據(jù)對(duì)象所應(yīng)滿足的約束條件，它是反映數(shù)據(jù)庫(kù)狀態(tài)合理性的約束。 動(dòng)態(tài)約束是指數(shù)據(jù)庫(kù)從一個(gè)中狀態(tài)轉(zhuǎn)變?yōu)榱硪环N狀態(tài)時(shí)，新、舊值之間所應(yīng)滿足的約束條件，它是反映數(shù)據(jù)庫(kù)狀態(tài)變遷的約束。,靜態(tài)約束,固有約束 指數(shù)據(jù)模型固有的約束，如關(guān)系的屬性應(yīng)當(dāng)是原子的。 隱含約束 指隱含于數(shù)據(jù)模式的約束，一般用DDL語(yǔ)句說(shuō)明，并存于數(shù)據(jù)字典中。如實(shí)體完整性約束。 顯式約束 指固有約束，隱含約束之外，依賴于數(shù)據(jù)的語(yǔ)義和應(yīng)用，需要顯式定義的完整性約束。,靜態(tài)約束,靜態(tài)列級(jí)約束是對(duì)一個(gè)列的取值域的說(shuō)明，包括： 對(duì)數(shù)據(jù)類型的約束（包括數(shù)據(jù)的類型、長(zhǎng)度、單位、精度等） 對(duì)數(shù)據(jù)格式的約束 對(duì)取值范圍或取值集合的約束 對(duì)空值的約束 其他約束,靜態(tài)約束,靜態(tài)元組約束規(guī)定了組成一個(gè)元組的各個(gè)列之間的約束關(guān)系。 靜態(tài)關(guān)系約束規(guī)定了一個(gè)關(guān)系的若干元組或者若干關(guān)系之間常常存在的各種聯(lián)系或約束。包括： 實(shí)體完整性約束 參照完整性約束 函數(shù)依賴 統(tǒng)計(jì)約束,動(dòng)態(tài)約束,動(dòng)態(tài)列級(jí)約束是修改列定義或列值時(shí)應(yīng)滿足的約束條件，包括： 修改列定義時(shí)的約束 修改列值時(shí)的約束 動(dòng)態(tài)元組約束指修改元組值時(shí)元組中各個(gè)字段間需要滿足的約束。 動(dòng)態(tài)關(guān)系約束是加在關(guān)系變化前后狀態(tài)上的限制條件。,數(shù)據(jù)庫(kù)的完整性控制機(jī)制,為保護(hù)數(shù)據(jù)庫(kù)的完整性，防止錯(cuò)誤的數(shù)據(jù)進(jìn)入數(shù)據(jù)庫(kù)，數(shù)據(jù)庫(kù)提供了完整性控制機(jī)制。它包括三個(gè)方面的功能： 定義功能，提供定義完整性約束條件的機(jī)制。 檢查功能，檢查用戶發(fā)出的操作請(qǐng)求是否違背了完整性約束條件。 違約響應(yīng)，若違背了完整性約束條件，則采取一定措施來(lái)保證數(shù)據(jù)的完整性。,完整性檢查的時(shí)機(jī),立即執(zhí)行約束是指在執(zhí)行用戶事務(wù)的過(guò)程中，在一條語(yǔ)句執(zhí)行完后立即進(jìn)行完整性約束的檢查。若違背了完整性約束，系統(tǒng)將拒絕該操作。 延遲執(zhí)行約束是指在整個(gè)用戶事務(wù)執(zhí)行完畢后，再進(jìn)行完整性約束的檢查，若正確方允許提交事務(wù)。若違背了完整性約束，系統(tǒng)將拒絕整個(gè)事務(wù)。,完整性規(guī)則,一條完整性規(guī)則可以用一個(gè)五元組（D，O，A，C，P）來(lái)描述，其中： D（Data）約束所作用的數(shù)據(jù)對(duì)象 O（Operation）觸發(fā)完整性檢查的數(shù)據(jù)庫(kù)操作，即當(dāng)用戶發(fā)出什么操作請(qǐng)求時(shí)需要檢查該完整性規(guī)則，是立即檢查還是延遲檢查。 A（Assertion）數(shù)據(jù)對(duì)象必須滿足的斷言或語(yǔ)義約束。 C（Condition）選擇A作用的數(shù)據(jù)對(duì)象值的謂詞。 P（Procedure）違反完整性規(guī)則時(shí)觸發(fā)的過(guò)程。,完整性規(guī)則,教授的工資不得低于1000元。 D 約束作用的對(duì)象為工資Sal屬性 O 插入或修改職工元組時(shí) A Sal不能小于1000 C 職稱=教授 P 拒絕執(zhí)行該操作,完整性約束的說(shuō)明,固有約束在DBMS實(shí)現(xiàn)時(shí)已經(jīng)考慮，不必特殊說(shuō)明。 隱含約束的說(shuō)明可以通過(guò)DDL語(yǔ)句來(lái)定義實(shí)現(xiàn)。 顯式完整性約束的說(shuō)明一般有過(guò)程說(shuō)明方式，斷言說(shuō)明方式，觸發(fā)器說(shuō)明方式等幾種。,顯式完整性約束的說(shuō)明,用過(guò)程說(shuō)明約束 把約束的說(shuō)明和檢驗(yàn)作為一個(gè)過(guò)程，由程序員編碼到每個(gè)更新數(shù)據(jù)庫(kù)的事務(wù)中。用以檢驗(yàn)數(shù)據(jù)庫(kù)更新是否違反了給定約束。使用這種方法，為程序員利用通用程序設(shè)計(jì)語(yǔ)言