數據庫規範化設計

操做異常

修改異常、插入異常、刪除異常

數據依賴

數據間的聯繫

函數依賴FD

屬性撿的聯繫，最基本的數據依賴

若肯定X，則能夠惟一的肯定Y，則稱Y依賴於X記X->Y

若X->Y,且Y是X的子集則稱爲平凡的函數依賴：平凡的FD

若X->Y且對於任何而且對於X的任何一 個真子集X′，都有X′ Y，則稱Y徹底函數依賴於X， 記做X→Y

若存在非主屬性肯定非主屬性的狀況，則存在傳遞函數依賴

規範化設計

在給定應用環境，構造最優數據庫模式

範式

知足特定要求的關係模式，評價關係模式的優劣

範式能夠升級

 

1NF

若每一個屬性的值域爲原子的，則R屬於1NF

1NF存在插入異常、刪除異常、更新異常和數據冗餘問題

2NF

R知足1NF且每一個非主屬性都徹底函數依賴於候選鍵，則屬於2NF

候選鍵：1.能夠決定全部屬性，2.不可約，即候選鍵的子集不能決定全部屬性

候選鍵能夠使多個屬性的組合

解決方法，將不知足的表分爲多個表

 

3NF

若R屬於2NF且每一個非主屬性都不傳遞依賴於候選鍵，則R屬於3NF

即，不存在非主屬性肯定非主屬性的狀況

解決方法：將傳遞的屬性單獨構造爲一個表

 

修正的3NF

全部屬性都不傳遞依賴於候選鍵

大部分3NF都符合修正的3NF

反例：郵編（城市，地址，郵編）

 

 

一個關係若是不知足3NF是不能使用的

3NF可在至關程度上減輕原關係中的異常和信息冗餘

規範化程度不是越高越好

規範化是一個模式分解的過程，原則爲：1.數據等價：無損分解2.語義等價：保持依賴