Fourth Normal Form (4NF)
第四范式在 BCNF 基础上消除非平凡多值依赖（MVD），防止多值属性冗余。
用途
处理多值依赖导致的多对多关系冗余，设计更干净的表结构。
机制
若 A→→B 且 A→→C（多值依赖），B 与 C 独立，则应拆为 (A,B) 和 (A,C) 两表。如 教师→→课程 和 教师→→技能，拆表避免课程×技能笛卡尔冗余。
用例
- 数据库设计
- 多值依赖
- 高级规范化
第四范式在 BCNF 基础上消除非平凡多值依赖（MVD），防止多值属性冗余。
处理多值依赖导致的多对多关系冗余，设计更干净的表结构。
若 A→→B 且 A→→C（多值依赖），B 与 C 独立，则应拆为 (A,B) 和 (A,C) 两表。如 教师→→课程 和 教师→→技能，拆表避免课程×技能笛卡尔冗余。