一、函数依赖
1. 关系数据模式中的问题
- 数据冗余
- **更新异常：**对冗余数据进行更新时，系统开销大，且存在数据不一致的风险
- 插入异常
- 删除异常
2. 关系模式
表示为一个五元组R(U,D,DOM,F)
- F：关系名称
- **U：**R中所有属性的集合
- **D：**U 中属性所来自的域的集合
- **DOM：**属性到域的映射
- **F：**U中属性间的数据依赖的集合
重点关注：U和F，可简化为R(U, F)
3. 函数依赖
-
平凡函数依赖
-
非平凡函数依赖
-
完全函数依赖
-
部分函数依赖
-
传递函数依赖
4. 规范化
**1NF：**所有属性都是简单属性，即每个属性都是不可再分的。
**2NF：**每个非主属性都完全函数依赖于R的码。
**3NF：**不存在传递依赖
**BCNF：**R属于1NF，且对于R中所有的非平凡函数依赖X->Y，X都包含码，则称R属于BC范式。
5. 多值依赖
6. 4NF
二、Armstrong公理系统
1. Armstrong
