Third Normal Form (3NF)
第三范式在 2NF 基础上消除非主属性对候选键的传递依赖。
用途
消除传递依赖导致的冗余与更新异常，是多数设计目标。
机制
若 A→B→C 且 B 不决定 A，则 C 传递依赖 A，应将 B→C 拆到独立表。如 学号→系号→系名，系名传递依赖学号，应拆为 学生(学号,系号) 和 系(系号,系名)。
用例
- 数据库设计
- 规范化
- 传递依赖
第三范式在 2NF 基础上消除非主属性对候选键的传递依赖。
消除传递依赖导致的冗余与更新异常，是多数设计目标。
若 A→B→C 且 B 不决定 A，则 C 传递依赖 A，应将 B→C 拆到独立表。如 学号→系号→系名，系名传递依赖学号，应拆为 学生(学号,系号) 和 系(系号,系名)。