操作異常 修改異常、插入異常、刪除異常 數據依賴 數據間的聯繫 函數依賴FD 屬性撿的聯繫,最基本的數據依賴 若確定X,則可以唯一的確定Y,則稱Y依賴於X記X->Y 若X->Y,且Y是X的子集則稱為平凡的函數依賴:平凡的FD 若X->Y且對於任何並且對於X的任何一 個真子集X′,都有X′ Y,則稱Y ...
操作異常
修改異常、插入異常、刪除異常
數據依賴
數據間的聯繫
函數依賴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.語義等價:保持依賴