第六章关系数据理论思维导图:
大纲笔记:
- 问题的提出
- 关系模式存在的问题
- 数据冗余度大,浪费存储空间
- 更新异常
- 插入异常
- 删除异常
- 用规范化理论改造关系模式,消除其中不合适的数据依赖
- 关系模式的形式化定义
- R(U,D,DOM,F)
- 关系模式的简化表示
- R<U,F>
- 什么是数据依赖
- 数据依赖是完整性约束的一种表现形式
- 是数据库模式设计的关键
- 是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系
- 是现实世界属性间相互联系的抽象
- 是数据内在的性质
- 是语义的体现
- 数据依赖的主要类型
- 函数依赖
- 多值依赖
- 连接依赖
- 数据依赖对关系模式的影响
- 不合适的数据依赖,造成插入异常,删除异常,更新异常和数据冗余问题
- 数据依赖是完整性约束的一种表现形式
- 关系模式存在的问题
- 规范化
- 函数依赖
- 函数依赖不是指关系模式R的某个或某些关系实例r满足的约束条件,而是指R的所有关系实例r均要满足的约束条件
- 传递函数依赖
- 完全函数依赖和部分函数依赖
- 平凡函数依赖与非平凡函数依赖
- 范式
- 定义
- 是符合某一种级别的关系模式的集合
- 种类
- 第一范式(1NF)
- 一个关系模式R的所有属性都是不可分的基本数据项
- 第二范式(2NF)
- 若关系模式R∈1NF,并且每一个非主属性都完全函数依赖于R的码,则R∈2NF
- 第三范式(3NF)
- 若R∈3NF,则每一个非主属性既不传递依赖于码,也不部分依赖于码
- BC范式(BCFN)
- 性质
- 所有非主属性对每一个码都是完全函数依赖
- 所有主属性对每一个不包含它的码也是完全函数依赖
- 没有任何属性完全函数依赖于非码的任何一组属性
- 性质
- 第四范式(4NF)
- 第五范式(5NF)
- 第一范式(1NF)
- 定义
- 函数依赖
- 数据依赖的公理系统
- Armstrong公理系统
- 增广律
- 自反律
- 传递律
- 合并规则
- 伪传递规则·
- 分解规则
- 函数依赖闭包
- Armstrong公理系统
- 模式的分解