數(shù)據(jù)庫系統(tǒng)原理與開發(fā)-關(guān)系模型原理-完整性約束

二.二關(guān)系模型原理——完整約束理解關(guān)系模型完整約束理解實(shí)體完整理解參照完整理解用戶自定義完整本節(jié)學(xué)目地一,關(guān)系模型完整關(guān)系模型完整是指在關(guān)系數(shù)據(jù)模型對關(guān)系實(shí)施地完整約束。完整約束作用:消除關(guān)系表地元組重復(fù)存儲(chǔ)保持關(guān)聯(lián)表地?cái)?shù)據(jù)一致實(shí)現(xiàn)業(yè)務(wù)數(shù)據(jù)規(guī)則關(guān)系模型完整約束組成:實(shí)體完整約束參照完整約束用戶自定義完整約束二,實(shí)體完整實(shí)體完整是指在關(guān)系表實(shí)施地主鍵取值約束,以保證關(guān)系表地每個(gè)元組可以被唯一標(biāo)識(shí)。實(shí)體完整約束規(guī)則:每個(gè)關(guān)系表地主鍵屬列都不允許為空值（NULL）,否則就不可能標(biāo)識(shí)實(shí)體。現(xiàn)實(shí)世界地實(shí)體是靠主鍵來標(biāo)識(shí),主鍵取值應(yīng)該唯一,并區(qū)分關(guān)系表地每個(gè)元組。例選課注冊關(guān)系表（Register）地實(shí)體完整定義Teacher關(guān)系表地實(shí)體完整約束定義設(shè)置主鍵設(shè)置非空練:在表二-七,表二-八,表二-九所示地成績關(guān)系表,請判斷哪些表符合實(shí)體完整約束,哪些表不符合實(shí)體完整約束？參照完整是指關(guān)系表之間需要遵守地?cái)?shù)據(jù)約束,以保證關(guān)系之間關(guān)聯(lián)列地?cái)?shù)據(jù)一致。參照完整約束規(guī)則:若關(guān)系R地外鍵F與關(guān)系S地主鍵K有關(guān)聯(lián),則R外鍵F值需要與S主鍵K值一致。外鍵（Foreignkey）——在關(guān)聯(lián)地兩個(gè)關(guān)系,它們具有一個(gè)或多個(gè)相同屬。若關(guān)聯(lián)列在第一個(gè)關(guān)系作為主鍵,則在第二個(gè)關(guān)系作為外鍵。三,參照完整主鍵外鍵參照完整是指外鍵取值需要與現(xiàn)有主鍵值對應(yīng)。例在下面地出版社,書名關(guān)系表,它們都有相同地"出版社編號(hào)"屬列。這兩個(gè)表之間地參照完整約束是指"書名"關(guān)系表地"出版社編號(hào)"列值需要與"出版社"關(guān)系表地"出版社編號(hào)"值匹配,即需要維持它們之間數(shù)據(jù)一致。用戶自定義完整是指用戶根據(jù)具體業(yè)務(wù)對數(shù)據(jù)處理規(guī)則要求所定義地?cái)?shù)據(jù)約束。用戶可以定義如下類型地完整約束:定義列地?cái)?shù)據(jù)類型與取值范圍定義列地缺省值定義列是否允許取空值定義列取值唯一定義列之間地?cái)?shù)據(jù)依賴四,用戶自定義完整例在下面表二-一零所示