范式（Normalization）

通过分解表减少冗余与更新异常的设计方法；常见第一到第三范式及 BC 范式等。目标是每个非键属性依赖「正确的键」。

冗余导致插入/更新/删除异常与数据不一致。

OLTP 表设计、评审「字段是否该在此表」、治理重复数据。

1NF 原子值；2NF 完全依赖候选键；3NF 消除传递依赖；更高范式处理更细异常。

1NF → 2NF → 3NF … 减少更新异常

• 过度范式化导致过多 JOIN、性能差。
• 范式是逻辑设计工具，不自动等于好性能。

更新异常是否消失；核心写路径 JOIN 深度是否可接受。

• 反范式：读性能取向的对照
• 函数依赖：理论依据
• 表设计：实践对象