（1）數據冗餘度太大，浪費存儲空間
（2）更新異常
（3）插入異常
（4）刪除異常
學生都畢業的話，可能把其他的都刪除掉了。
不能把所有關係屬性都放入同一個模式中。
-------由於模式中的某些數據依賴引起的。
依賴就像函數一樣。
規範化
完全依賴、部分依賴；
傳遞依賴
碼
範式
不能表中有表
3NF傳遞依賴
BCNF，主屬性的依賴關係等
數據依賴的公理系統
通過一個關係中屬性間值的相等與否體現出來的數據間的相互關係。是數據內在的性質，是語義的體現
通過一個關係中屬性間值的相等與否體現出來的數據間的相互關係。是數據內在的性質，是語義的體現
模式分解算法的理論基礎
Armstrong公理系統
邏輯蘊含類似於一個函數X-->Y，則t[x]->s[x],t[y]->s[y]
自反、增廣律、傳遞
推導的規則：
函數依賴閉包
F+，能所蘊含的函數依賴的全體叫做閉包
X角標相等或者等於全部屬性集合
-------------------------------------------------------------------
函數依賴集等價，兩個的閉包相同就是等價。
-------------------------
最小依賴集，就是去掉之後還能等價就不符合要求了啊
挨個求閉包，不一定唯一
模式的分解
依賴+無損+無損依賴
第二種，分解後自然連接再和原來的示例比較，看多不多，
定義是什麼？？？？？？
算法：