# 数据库设计理论

数据库设计过程中需要遵循一些原则:

• 数据依赖理论
• 关系范式理论
• 模式分解理论

# 函数依赖

# 什么是函数依赖

# 完全函数依赖 & 传递函数依赖

『 部分函数依赖 』存在着『 非受控冗余 』

---

『 传递函数依赖 』存在着『 非受控冗余 』

# 函数依赖相关的几个重要概念

# 候选键

# 外来键

# 逻辑蕴含

# 闭包

# 函数依赖的公理和定理

# Armstrong 公理

# 属性集闭包

# 函数依赖集的最小覆盖

# 什么是覆盖

# 函数依赖集的性质

# 最小覆盖

# 关系范式

# 第 1NF & 第 2NF

---

# 第 3NF & Boyce-Codd NF

---

# 多值依赖 & 第 4NF

---

# 模式分解

# 模式分解存在的问题

# 🚧 施工中...

# 关系模式设计的折中

通常建议, 数据库设计满足『 BCNF 范式 』就可以了