數學庫的第三正規化是指表中的所有資料元素不但要能惟一地被主關鍵字所標識,而且它們之間還必須相互獨立,不存在其他的函式關係。也就是說,對於一個滿足2ndNF的資料結構來說,表中有可能存在某些資料元素依賴於其他非關鍵字資料元素的現象,必須消除。第三正規化採用投影分解法將一個2NF的關係分解為多個3NF的關係,可在一定程度上解決原2NF關係中存在的插入異常、刪除異常、資料冗餘度大、修改複雜等問題。將一個2NF關係分解為多個3NF的關係後,並不能完全消除關係模式中的各種異常情況和資料冗餘。
數學庫的第三正規化是指表中的所有資料元素不但要能惟一地被主關鍵字所標識,而且它們之間還必須相互獨立,不存在其他的函式關係。也就是說,對於一個滿足2ndNF的資料結構來說,表中有可能存在某些資料元素依賴於其他非關鍵字資料元素的現象,必須消除。第三正規化採用投影分解法將一個2NF的關係分解為多個3NF的關係,可在一定程度上解決原2NF關係中存在的插入異常、刪除異常、資料冗餘度大、修改複雜等問題。將一個2NF關係分解為多個3NF的關係後,並不能完全消除關係模式中的各種異常情況和資料冗餘。
第三正規化就是指表中的所有資料元素不但要能惟一地被主關鍵字所標識,而且它們之間還必須相互獨立,不存在其他的函式關係。也就是說,對於一個滿足2ndNF的資料結構來說,表中有可能存在某些資料元素依賴於其他非關鍵字資料元素的現象,必須消除。
關係:傳遞函式依賴關係。
模式:關係模式 。
方法:投影分解法。
解決目地:每個關係模式中不能留有傳遞依賴 。
注意:關係S中不能沒有外關鍵字DNO。
第三正規化的書寫方法:關係模式R中若不存在這樣的碼X、屬性組Y及非主屬性Z(Z(強制依賴)Y),使得X→Y,Y→Z,成立,Y→X不成立,則稱R∈3NF。
第三正規化(ThirdNormalForm,3rdNF)就是指表中的所有資料元素不但要能唯一地被主關鍵字所標識,而且它們之間還必須相互獨立,不存在其他的函式關係。也就是說,對於一個滿足2ndNF的資料結構來說,表中有可能存在某些資料元素依賴於其他非關鍵字資料元素的現象,必須消除。
通俗的說,第三正規化(3NF)3NF在2NF的基礎之上,消除了非主屬性對於碼的傳遞函式依賴。也就是說,如果存在非主屬性對於碼的傳遞函式依賴,則不符合3NF的要求。