其中->(f)代表完全函式依賴
簡單來講1nf需要滿足資料庫的每乙個屬性不可以繼續分解,不滿足1nf的資料庫不能被稱為關聯式資料庫
2nf做的就是需要滿足每乙個非主屬性都完全依賴r中的任何乙個侯選碼
3nf就是在滿足2nf的前提下,並且每乙個非主屬性都不存在傳遞函式依賴
bc泛式是在滿足3nf的前提下,消除了主屬性對碼的部分依賴和傳遞依賴
原理十分簡單,一句話描述就是看能用條件推出多少東西,推出的東西的集合就是閉包xf+
比如有a->b,b->d,bd->c 很明顯a+為 abcd b+為bcd d+為d
be+=be+那改為bd+=bd+
1的問題在與右邊存在不是單屬性的蘊涵,2的問題是存在多餘的函式依賴 a->d d->c 可得a->c 存在多餘函式依賴
3的問題在於左邊出現多餘的屬性,ac->b中 c可以直接靠a推出來出現多餘
例題
第六章 關係資料理論
關係模式由五部分組成，是乙個五元組 r u,d,dom,f 作為二維表，關係要符合乙個最基本的條件 每個分量必須是不可分開的資料項。滿足了這個條件的關係模式就屬於第一正規化 1nf 資料依賴 是現實世界屬性間相互聯絡的抽象 是資料內在的性質 是語義的體現 資料依賴的主要型別 函式依賴 sname f...
資料庫概論 第六章 關聯式資料庫理論
6.2 規範化 多值依賴 mvd 碼正規化 2nf3nf bcnf 4nf可能出現的題型 6.3 資料依賴的公理系統 beeri,fagin,howard提出的推理規則 函式依賴集的閉包 語義上的概念 屬性集的閉包 語法上的概念 極小函式依賴集 6.4 模式分解 模式分解的保持函式依賴性 外延 關係...
資料庫系統概論 第六章 關聯式資料庫理論
關係型資料庫中已經講到，乙個關係模型應當是乙個五元組。r u,d,dom,f 這裡 資料依賴是乙個關係內部屬性和屬性之間的一種約束關係。這種約束關係是通過屬性間值的相等與否體現出來的資料間相關的聯絡。資料依賴其中最重要的是函式依賴 fd 和多值依賴 mvd 完全函式依賴和部分函式依賴 傳遞函式依賴 ...