关系数据库理论基础-函数范式
-
关系模式
关系模式由五部分组成,即它是一个五元组:R(U,D,DOM,F)R:关系名
U:组成该关系的属性名集合
D:属性组U中属性所来自的域
DOM:属性向域的映像集合
F:属性间数据的依赖关系集合 -
关系模式简化表示
-
数据依赖
完整性约束的表现形式
数据依赖:
函数依赖(Functional Dependency,简称FD)
多值依赖(Multivalued Dependency,简称MVD)
- 数据依赖对关系模式的影响
数据例如:
- 数据冗余
总字节数:(6+8+8+8+10+2)*12=504B
系名和系负责人重复12次
学号和姓名重复3次
课程名重复4次
- 插入异常
- 删除异常
- 数据依赖对关系模式的影响
存在问题:
数据冗余太大
更新异常
插入异常
删除异常
结论:Student关系模式不是一个好的模式
原因:存在模式中的某些数据依赖引起的
解决方法:通过分解关系模式来消除其中的不合适的数据依赖
- 规范化
规范化理论正是用来改造关系模式,通过分解关系模式来消除其中不合适的数据依赖,以解决插入异常,删除异常,更新异常和数据冗余问题。
-
函数依赖
-
平凡函数依赖与非平凡函数依赖
-