第四范式（4NF, Fourth Normal Form） 是数据库规范化理论中的高级范式，用于消除关系数据库中的多值依赖（MultiValued Dependency, MVD），确保数据结构的合理性和减少冗余。以下是关键点解析：

1、核心概念
多值依赖（MVD）
当关系中存在至少三个属性（如A、B、C），且对于每个A值，B和C的值相互独立（即B与C无直接关系），则称B和C多值依赖于A。记为：
A →→ B 和 A →→ C（B与C独立）。

4NF的定义
若关系模式R满足以下条件，则属于4NF：
已满足BoyceCodd范式（BCNF）。
不存在非平凡的多值依赖（即A →→ B中，B不是A的子集，或A ∪ B ≠ R）。

2、与BCNF的区别
BCNF 消除的是函数依赖（FD）导致的冗余（如部分依赖、传递依赖）。
4NF 进一步消除多值依赖（MVD）导致的冗余，适用于属性间存在独立多值关系的场景。

3、示例说明
场景：一个课程表包含教师、课程和教材（假设教师与教材独立）：
| 教师（T） | 课程（C） | 教材（B） |
|
| 张三 | 数学 | 教材A |
| 张三 | 数学 | 教材B |
| 李四 | 物理 | 教材C |

问题：
教师和教材是多值依赖的（教师→→教材），导致数据冗余（张三的课程重复存储）。

4NF分解：
表1（教师与课程）：(T, C)
表2（教师与教材）：(T, B)

分解后冗余消失，且信息无损。

4、实际意义
减少存储空间：避免重复存储独立的多值数据。
维护一致性：更新时只需修改一处，避免数据不一致。
适用场景：多对多关系、属性间独立性强的复杂数据模型（如医疗记录、产品多属性等）。

5、更高范式
5NF（PJNF）：进一步处理连接依赖（Join Dependency），但实际应用中4NF已能满足大多数需求。

总结：第四范式通过分解多值依赖关系，优化数据库设计，但需权衡查询复杂度与规范化级别。在实际工程中，需根据业务需求决定是否采用4NF。