數(shù)據(jù)庫系統(tǒng)第五章

第五章數(shù)據(jù)庫完整性5.1實(shí)體完整性5.2參照完整性5.3用戶自定義完整性5.4完整性約束命名子句5.6觸發(fā)器1.數(shù)據(jù)庫的完整性正確性相容性數(shù)據(jù)庫完整性的實(shí)現(xiàn):

(1)定義完整性約束條件(2)完整性檢查(3)違約反應(yīng)1、完整性約束條件完整性約束條件作用的對(duì)象:關(guān)系元組列列約束:是指列的類型、取值范圍、精度、排序等約束.元組約束:是指元組中各個(gè)字段間的聯(lián)系約束.關(guān)系約束:是指若干元組間、關(guān)系集合上以及關(guān)系之間的聯(lián)系約束.2.完整性約束條件作用對(duì)象的狀態(tài):靜態(tài)動(dòng)態(tài)靜態(tài)約束:是指數(shù)據(jù)庫每一確定狀態(tài)時(shí)的數(shù)據(jù)對(duì)象所應(yīng)滿足的約束條件,它是反映數(shù)據(jù)庫狀態(tài)合理性的約束.動(dòng)態(tài)約束:是指數(shù)據(jù)庫從一種狀態(tài)轉(zhuǎn)變?yōu)榱硪环N狀態(tài)時(shí),新、舊值之間所滿足的約束條件,它是反映數(shù)據(jù)庫狀態(tài)變遷的約束.完整性約束條件分類:列元組關(guān)系動(dòng)態(tài)靜態(tài)1234561:靜態(tài)列級(jí)約束2:靜態(tài)元組約束3:靜態(tài)關(guān)系約束4:動(dòng)態(tài)列級(jí)約束5:動(dòng)態(tài)元組約束6:動(dòng)態(tài)關(guān)系約束3.2、實(shí)現(xiàn)數(shù)據(jù)完整性實(shí)體完整性參照完整性用戶定義的完整性primarykeyforeignkey取空值（null)的約束默認(rèn)值（default）約束列值取值范圍（check）約束惟一值約束（unique）觸發(fā)器4.完整性控制完整性控制機(jī)制的功能：(1)定義功能(2)檢查功能(3)如果發(fā)現(xiàn)用戶的操作請(qǐng)求使數(shù)據(jù)違背了完整性約束條件,則采取一定的動(dòng)作來保證數(shù)據(jù)的完整性.完整性規(guī)則的表示:五元組(D,O,A,C,P)D(Data):指約束作用的數(shù)據(jù)對(duì)象O(Operation):觸發(fā)完整性檢查的數(shù)據(jù)庫操作A(Assertion):數(shù)據(jù)對(duì)象必須滿足的斷言或語義約束C(Condition):選擇A作用的數(shù)據(jù)對(duì)象值的謂詞P(Procedure):違反完整性規(guī)則時(shí)觸發(fā)的過程立即執(zhí)行檢查延遲執(zhí)行檢查5.例子1:對(duì)表Student的“學(xué)號(hào)不能為空”的約束規(guī)定.五元組(D,O,A,C,P)D:約束作用的對(duì)象為Sno屬性O(shè):插入或修改Student元組時(shí)A:Sno不能為空C:無(A作用于所有記錄的Sno屬性)P:拒絕執(zhí)行該操作例子2:對(duì)教師基本情況表的“教授工資不得低于1000元”的約束規(guī)定.五元組(D,O,A,C,P)D:約束作用的對(duì)象為工資Sal屬性O(shè):插入或修改職工元組時(shí)A:Sal不能小于1000C:職稱=‘教授’P:拒絕執(zhí)行該操作6.實(shí)現(xiàn)參照完整性要考慮的幾個(gè)問題:1.外碼能否接受空值的問題學(xué)生(學(xué)號(hào),姓名,性別,專業(yè)號(hào),年齡)專業(yè)(專業(yè)號(hào),專業(yè)名)外碼例子1:外碼取空值表示該學(xué)生尚未分配到任何具體的專業(yè)學(xué)習(xí).與應(yīng)用環(huán)境的語義相符,因此外碼可取空值.例子2:學(xué)生(學(xué)號(hào),姓名,性別,專業(yè)號(hào),年齡)課程(課程號(hào),課程名,學(xué)分)選修(學(xué)號(hào),課程號(hào),成績(jī))外碼(學(xué)號(hào))取空值表示一個(gè)不存在的學(xué)生選了某門課程,成績(jī)記錄在成績(jī)列中.與應(yīng)用環(huán)境的語義不相符,因此外碼不能取空值.7.2.在被參照關(guān)系中刪除元組的問題例子:學(xué)生(學(xué)號(hào),姓名,性別,專業(yè)號(hào),年齡)選修(學(xué)號(hào),課程號(hào),成績(jī))學(xué)號(hào)姓名性別專業(yè)號(hào)年齡95001李勇男CS20…………….被參照關(guān)系學(xué)號(hào)課程號(hào)成績(jī)950011789500138095001489………三種策略:

(1)級(jí)聯(lián)刪除(2)受限刪除(3)置空值刪除在學(xué)生關(guān)系中刪除元組(95001,李勇,男,CS,20)8.5.1實(shí)體完整性5.1.1定義例子1：createtablestudent(snochar(9)primarykey,snamechar(20)unique,ssexchar(2),sagesmallint,sdeptchar(20));例子2：createtablesc(snochar(9),cnochar(4),gradesmallint,

primarykey(sno,cno));5.1.2檢查（1）檢查主碼值是否唯一，如果不唯一拒絕插入或修改。（2）檢查主碼的各個(gè)屬性是否為空，只要有一個(gè)為空就拒絕插入或修改。9.5.1.3處理10.5.2參照完整性createtablecourse(cnochar(4)primarykey,canmechar(40),cpnochar(4),ccreditsmallint,

foreignkey(cpno)referencescourse(cno));createtablesc(snochar(9),cnochar(4),gradesmallint,primarykey(sno,cno),

foreignkey(sno)referencesstudent(sno),

foreignkey(cno)referencescourse(cno));5.2.1定義11.5.1.2檢查及處理破壞參照完整性的4種情況：（1）在參照表插入元組；（2）在參照表中修改外碼值；（3）在被參照表中刪除元組；（4）在被參照表中修改主碼值；12.1.在參照關(guān)系中插入元組時(shí)的問題例子:學(xué)生(學(xué)號(hào),姓名,性別,專業(yè)號(hào),年齡)選修(學(xué)號(hào),課程號(hào),成績(jī))參照關(guān)系學(xué)號(hào)姓名性別專業(yè)號(hào)年齡95001李勇男CS20…………….學(xué)號(hào)課程號(hào)成績(jī)950011789500138095001489………策略:(1)拒絕在選修關(guān)系中插入元組(99001,1,90)13.例子：S（S#，SN，A#，SA）A（A#，AN）在S關(guān)系中插入元組(95001,李勇,031,20)？策略:(1)拒絕14.2、修改參照關(guān)系的外碼例子:學(xué)生(學(xué)號(hào),姓名,性別,專業(yè)號(hào),年齡)選修(學(xué)號(hào),課程號(hào),成績(jī))參照關(guān)系學(xué)號(hào)姓名性別專業(yè)號(hào)年齡95001李勇男CS20…………….學(xué)號(hào)課程號(hào)成績(jī)950011789500138095001489………在選修關(guān)系中元組(95001,1,90)修改為(99001,1,90)策略:(1)拒絕15.例子：S（S#，SN，A#，SA）A（A#，AN）在S關(guān)系中修改元組(95001,李勇,001,20)的A#改為030？策略:(1)拒絕16.3.在被參照關(guān)系中刪除元組的問題例子:學(xué)生(學(xué)號(hào),姓名,性別,專業(yè)號(hào),年齡)選修(學(xué)號(hào),課程號(hào),成績(jī))學(xué)號(hào)姓名性別專業(yè)號(hào)年齡95001李勇男CS20…………….被參照關(guān)系學(xué)號(hào)課程號(hào)成績(jī)950011789500138095001489………三種策略:

(1)拒絕刪除

(2)級(jí)聯(lián)刪除(3)置空值刪除在學(xué)生關(guān)系中刪除元組(95001,李勇,男,CS,20)17.例子：A（A#，AN）S（S#，SN，A#，SA）在A關(guān)系中刪除元組(001,物理)？三種策略:

(1)級(jí)聯(lián)刪除(2)拒絕刪除(3)置空值刪除18.4、修改被參照關(guān)系的主碼例子:學(xué)生(學(xué)號(hào),姓名,性別,專業(yè)號(hào),年齡)選修(學(xué)號(hào),課程號(hào),成績(jī))學(xué)號(hào)姓名性別專業(yè)號(hào)年齡95001李勇男CS20…………….學(xué)號(hào)課程號(hào)成績(jī)950011789500138095001489………被參照關(guān)系在學(xué)生關(guān)系中修改元組(95001,李勇,男,CS,20)的學(xué)號(hào)為960123三種策略:

(1)級(jí)聯(lián)修改(2)拒絕修改(3)置空值修改19.例子：S（S#，SN，A#，SA）A（A#，AN）在A關(guān)系中修改元組(001,物理)中的主碼001為005？三種策略:

(1)級(jí)聯(lián)修改(2)拒絕修改(3)置空值修改20.顯示說明參照完整性處理的示例：createtablecourse(cnochar(4)primarykey,canmechar(40),cpnochar(4),ccreditsmallint,foreignkey(cpno)referencescourse(cno));createtablesc(snochar(9),cnochar(4),gradesmallint,primarykey(sno,cno),foreignkey(sno)referencesstudent(sno),foreignkey(cno)referencescourse(cno)ondeletenoactiononupdatecascade);21.5.3用戶定義的完整性5.3.1可定義三類完整性約束:列值非空（NOTNULL短語）列值唯一（UNIQUE短語）檢查列值是否滿足一個(gè)布爾表達(dá)式（CHECK短語）例1：建立部門表DEPT，要求部門名稱Dname列取值唯一，部門編號(hào)Deptno列為主碼CREATETABLEDEPT(DeptnoNUMBER,DnameVARCHAR(9)CONSTRAINTU1

UNIQUE,LocVARCHAR(10),CONSTRAINTPK_DEPT

PRIMARYKEY(Deptno));22.例2：建立學(xué)生登記表Student，要求學(xué)號(hào)在90000至99999之間，年齡<29，性別只能是‘男’或‘女’，姓名非空.CREATETABLEStudent(SnoNUMBER(5)

CONSTRAINTC1CHECK(SnoBETWEEN90000AND99999),SnameVARCHAR(20)CONSTRAINTC2NOTNULL,SageNUMBER(3)CONSTRAINTC3CHECK(Sage<29),SsexVARCHAR(2)

CONSTRAINTC4CHECK(SsexIN('男','女')));23.例3：建立職工表EMP，要求每個(gè)職工的應(yīng)發(fā)工資不得超過3000元。應(yīng)發(fā)工資實(shí)際上就是實(shí)發(fā)工資列Sal與扣除項(xiàng)Deduct之和。CREATETABLEEMP(EnoNUMBER(4)EnameVARCHAR(10),JobVARCHAR(8),SalNUMBER(7,2),DeductNUMBER(7,2)DeptnoNUMBER(2),

CONSTRAINTSC1CHECK(Sal+Deduct<=3000));5.3.2檢查與處理拒絕24.5.4完整性約束命名子句1、子句命名2、子句刪除3、字句添加(1)Altertablestudentdropconstraintc1;(2)Altertablestudentaddconstraintc2check(snobetween9000000and999999);25.四、SQLServer中的觸發(fā)器。1.定義觸發(fā)器Createtrigger<觸發(fā)器名>

on<表名>{for|after|insteadof}<觸發(fā)事件>