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