（1）数据冗余度太大，浪费存储空间
（2）更新异常
（3）插入异常
（4）删除异常
学生都毕业的话，可能把其他的都删除掉了。
不能把所有关系属性都放入同一个模式中。
-------由于模式中的某些数据依赖引起的。
依赖就像函数一样。
规范化
完全依赖、部分依赖；
传递依赖
码
范式
不能表中有表
3NF传递依赖
BCNF，主属性的依赖关系等
数据依赖的公理系统
通过一个关系中属性间值的相等与否体现出来的数据间的相互关系。是数据内在的性质，是语义的体现
通过一个关系中属性间值的相等与否体现出来的数据间的相互关系。是数据内在的性质，是语义的体现
模式分解算法的理论基础
Armstrong公理系统
逻辑蕴含类似于一个函数X-->Y，则t[x]->s[x],t[y]->s[y]
自反、增广律、传递
推导的规则：
函数依赖闭包
F+，能所蕴含的函数依赖的全体叫做闭包
X角标相等或者等于全部属性集合
-------------------------------------------------------------------
函数依赖集等价，两个的闭包相同就是等价。
-------------------------
最小依赖集，就是去掉之后还能等价就不符合要求了啊
挨个求闭包，不一定唯一
模式的分解
依赖+无损+无损依赖
第二种，分解后自然连接再和原来的示例比较，看多不多，
定义是什么？？？？？？
算法：