如果函式依賴集f滿足一下條件，則稱f為乙個最小函式依賴集。
（1）f中任意一函式的右部僅含有乙個屬性。
（2）f中不存在這樣的函式依賴x→a，使得f與f-等價，即f中的函式依賴均不能由f中其他函式依賴匯出。
（3）f中不存在這樣的函式依賴x→a，x有真子集z使得f-
演算法步驟：
（1）將f中的所有函式依賴的右邊化為單一屬性；
（2）去掉f中的所有函式依賴左邊的冗餘屬性；
（3）去掉f中所有冗餘的函式依賴。
f的函式最小依賴集
【例題】已知函式依賴集f=，求f的最小函式依賴集。
解題思路：
（1）將f中的所有函式依賴的右邊化為單一屬性：f=。
（2）去掉f中的所有函式依賴左邊的冗餘屬性：觀察f，發現可能要處理的函式依賴為ab→c。
先求屬性a關於f的閉包
a→b，a，b自然在
ab→c，c也在
c→d，d也在
（閉包的具體求解演算法請參考：如何求屬性集x關於f的閉包？）
因此，同理，還需要看屬性b關於f的閉包
（3）去掉f中所有冗餘的函式依賴關係：我們試著看一下函式依賴a→d是否是冗餘的。
先去掉a→d，處理後的f=；
求a關於處理後f的閉包
發現
關係規範化之求最小函式依賴集（最小覆蓋）
最小函式依賴集 一 等價和覆蓋 定義 關係模式r上的兩個依賴集f和g，如果f g 則稱f和g是等價的，記做f g。若f g，則稱g是f的乙個覆蓋，反之亦然。兩個等價的函式依賴集在表達能力上是完全相同的。二 最小函式依賴集 定義 如果函式依賴集f滿足下列條件，則稱f為最小函式依賴集或最小覆蓋。f中的任...
規範化理論 函式依賴 正規化 簡單粗暴
一.為什麼要設計正規化？避免插入，刪除，更新，冗餘異常 二 基本概念 實體 一張資料庫表，比如 學生表，學生就是乙個實體 屬性 一張表 實體 會有很多屬性，比如乙個學生實體會有學號，班級等屬性 候選碼 可以決定其他屬性的集合，比如a b a c,c d 那麼a,b,c就是候選碼 主碼 主關鍵字 候選...
資料庫規範化理論 模式分解
先上傳乙個導圖作為整體概況 背景和保持函式依賴分解，有導圖就不再贅述，下面主要說說有損無損的判斷方法 通過題目說明 法展示 1.畫出 2.通過函式依賴把a和b調換位置 比如在分解後的成績表中 學號 姓名 可將b12改為a2，以次判斷分解三種模式，得出下列結果 當成績一行包含了所有的屬性後，即全部變為...