一、數據依賴:
一個關係內部屬性與屬性之間的約束關係
類型:函數依賴(FD)和多值依賴(MVD)
數據依賴對關係模式的影響:
數據冗餘太大;更新異常;插入異常;刪除異常
二、規範化:一個低一級範式的關係模式可以通過模式分解轉爲若干高級範式的模式集合。
函數依賴:一個關係表中屬性之間的聯繫
設有一個關係模式R(U),XY均屬於U,ts是兩個元組,若t[X]=s[X]時有t[Y]=s[Y],則Y函數依賴X.
平凡的函數依賴:屬性集對其子集的函數依賴
非平凡的函數依賴:屬性集對另一個非其子集的屬性集的函數依賴
完全函數依賴:X->Y,而X的任何一個真子集都不決定Y.
部分函數依賴:
傳遞函數依賴:X->Y,Y不是X的子集,Y不決定X,Y->Z,則X傳遞函數依賴Z
範式:符合某一級別的關係模式的集合
1NF>2NF>3NF>BCNF>4NF>5NF
1NF:一個關係模式中所有屬性都是不可分基本數據項
2NF:在1NF是·基礎上,每個非主屬性完全函數依賴於碼
3NF:每個非主屬性既不部分依賴於碼,也不傳遞以依賴於碼
BCNF:在一個關係模式中,每個決定因素都包含碼
所有的非主屬性對每個碼都完全函數依賴;所有的主屬性對每個不包含它的碼也是完全函數依賴。
多值依賴:
設R(U)是一個關係模式,X/Y/Z是U的子集,Z = U-X-Y,當僅當對R(U)的任一關係r,給定一個(x,z)有一組Y值對應,這組值僅決定於X,則X->->Y
平凡的多值依賴:Z爲空集
非平凡的多值依賴:Z不爲空集
性質:對稱性,傳遞性,函數依賴是多值依賴的特殊情況
4NF:對於每個非平凡的多值依賴X->->Y,X都含有碼
規範化可能帶來的負面作用:
可能增加查詢的複雜度
目的:儘量消除插入、刪除異常,修改複雜、數據冗餘
基本思想:逐步消除數據依賴中不合適的部分
三、數據依賴的公理系統:
邏輯蘊涵:
一個關係模式中可有多個函數依賴形成函數依賴集,現在有一個新的函數依賴不存在於該函數依賴集,但能從集合中推導出來,那這個集合邏輯蘊涵這個新的函數依賴。
對於關係模式R(U,F):
自反律:若Y包含於X包含於U,則X->Y爲F所蘊含
增廣律:若X->Y爲F所蘊含,Z包含於U,則X∪Z->Y∪Z
傳遞律:X->Y,Y->Z,則X->Z
合併規則:X->Y,X->Z,則X->Y∪Z
僞傳遞規則:X->Y,Y∪W->Z,則X∪W->Z
分解規則:X->Y,Z包含於Y,則,X->Z
在關係模式R(U,F)中,F爲蘊含的函數依賴的全體叫做F的閉包F+
有效性;完備性
函數依賴集等價:若G+=F+,則G與F等價
極小函數依賴集:任意函數依賴右部只有一個屬性,且F中任何一個函數依賴都不能由其他函數依賴推導出來;
四、模式的分解:
無損連接性;保持函數依賴;