06 | 关系数据理论（复习草稿，待完善）

规范化

函数依赖

• 函数依赖
  非平凡的函数依赖
  平凡的函数依赖
  决定因素
  完全函数依赖
  部分函数依赖
  传递函数依赖

• 码

候选码 主码
超码
主属性
非主属性（非码属性）
全码
外码

范式

规范化：一个低一级范式的关系模式通过模式分解可以转换为若干个高一级范式的关系模式的集合

• 1NF：每个分量必须是不可分的数据项
• 2NF：若R∈1NF，且每一个非主属性完全依赖于任何一个候选码，则R∈2NF
  一个关系模式不满足2NF，就会产生下列问题：

（1）插入异常
（2）删除异常
（3）修改复杂

• 3NF：
• BCNF: