靜態(tài)完整性約束

1、靜態(tài)列級約束,,數(shù)據(jù)的完整性——數(shù)據(jù)的正確性、有效性和相容性。即將數(shù)據(jù)控制在有效的范圍內(nèi)，或要求數(shù)據(jù)之間滿足一定的關(guān)系。（課本P7） 例如：學(xué)生的年齡必須是整數(shù)，取值范圍為14~29；學(xué)生的性別只能是男或女；學(xué)生的學(xué)號是唯一的等等。這些都是指數(shù)據(jù)的完整性。 數(shù)據(jù)是否具備完整性關(guān)系到數(shù)據(jù)庫系統(tǒng)能否真實(shí)地反映現(xiàn)實(shí)世界，因此維護(hù)數(shù)據(jù)庫的完整性是非常重要的。,數(shù)據(jù)庫的完整性,,數(shù)據(jù)庫的完整性與安全性,完整性控制機(jī)制,完整性

2、約束條件定義機(jī)制 完整性約束條件——加在數(shù)據(jù)庫數(shù)據(jù)之上的語義約束條件。 完整性檢查機(jī)制 檢查數(shù)據(jù)是否滿足完整性條件的機(jī)制，也就是檢查用戶發(fā)出的操作請求是否違背了完整性約束條件。 違約反應(yīng) 如果發(fā)現(xiàn)用戶的操作請求使數(shù)據(jù)違背了完整性約束條件，則采取一定的動(dòng)作來保證數(shù)據(jù)的完整性。,完整性約束條件,完整性約束條件是完整性控制機(jī)制的核心。完整性約束條件作用的對象：列：對屬性的取值類型、范圍、精度、排序等的約束條件；元組：

3、對元組中各個(gè)屬性間的聯(lián)系的約束；關(guān)系：對若干元組間、關(guān)系集合上以及關(guān)系之間的聯(lián)系的約束。,對于這三類對象，其狀態(tài)既可以是靜態(tài)的也可以是動(dòng)態(tài)的。靜態(tài)：對靜態(tài)對象的約束是反映數(shù)據(jù)庫狀態(tài)合理性的約束，靜態(tài)約束是最重要的一類完整性約束。動(dòng)態(tài)：對動(dòng)態(tài)對象的約束是反映數(shù)據(jù)庫狀態(tài)變遷的約束。六類完整性約束條件。 靜態(tài)列級約束 靜態(tài)元組約束 靜態(tài)關(guān)系約束 動(dòng)態(tài)列級約束 動(dòng)態(tài)元組約束 動(dòng)態(tài)關(guān)系約束,

4、對象狀態(tài) 動(dòng)態(tài)列級約束 動(dòng)態(tài)元組約束 動(dòng)態(tài)關(guān)系約束 動(dòng)態(tài) ④ ⑤ ⑥ 靜態(tài)列級約束 靜態(tài)元組約束 靜態(tài)關(guān)系約束 靜態(tài) ①

5、 ② ③  對象粒度 列 元組 關(guān)系,靜態(tài)列級約束,靜態(tài)列級約束: 對一個(gè)列的取值域

6、的說明; 最常見、最容易實(shí)現(xiàn)的一類完整性約束五類靜態(tài)列級約束1) 數(shù)據(jù)類型約束：數(shù)據(jù)的類型、長度、單位、精度等 例：學(xué)生姓名的數(shù)據(jù)類型為字符型，長度為82) 對數(shù)據(jù)格式的約束 例：學(xué)號：前兩位表示入學(xué)年份，后四位為順序編號 日期：YY.MM.DD。,靜態(tài)列級約束,3)對取值范圍或取值集合的約束 例：規(guī)定成取值范圍或取值集合的約束績的取值范圍為0-100;年齡的取值范圍為14-29；性別的取值集

7、合為[男,女]4)對空值的約束 空值：未定義或未知的值,與零值和空格不同。有的列允許空值，有的則不允許。 例：成績可為空值5)其他約束 例：關(guān)于列的排序說明，組合列等,靜態(tài)元組約束,靜態(tài)元組約束：規(guī)定元組的各個(gè)列之間的約束關(guān)系 例：訂貨關(guān)系中發(fā)貨量=700元 靜態(tài)元組約束只局限在元組上，因此比較容易實(shí)現(xiàn)。,靜態(tài)關(guān)系約束,關(guān)系的各個(gè)元組之間或若干關(guān)系之間存在的各種聯(lián)系或約束 常見靜態(tài)關(guān)系約束

8、： 實(shí)體完整性約束 參照完整性約束 函數(shù)依賴約束 統(tǒng)計(jì)約束,靜態(tài)關(guān)系約束,關(guān)系字段間存在的函數(shù)依賴 例：在學(xué)生－課程－教師關(guān)系 SJT(S,J,T) 的函數(shù)依賴：( (S,J）→T, T→J )，將(S, J)作為主碼，還需要顯示地表示T J這個(gè)函數(shù)依賴。 定義某個(gè)字段值一個(gè)關(guān)系多個(gè)元組的統(tǒng)計(jì)值之間的約束關(guān)系 例：職工平均工資的2倍<=部門經(jīng)理的工資<=職工平均工資的5倍 職工