第五范式（Fifth Normal Form, 5NF），也称为投影-连接范式（Project-Join Normal Form, PJNF），是数据库规范化理论中的最高级别范式。其核心目标是通过消除关系中的连接依赖（Join Dependency），确保关系模式在投影和连接操作中保持无损性。
数学定义
设关系模式 $R$ 的属性集为 $U$，若 $R$ 满足第五范式，则对 $R$ 的任意一个连接依赖 $*{R_1, R_2, \dots, R_n}$，其中每个 $R_i \subseteq U$，该依赖必须满足以下条件之一：
- 平凡性：存在某个 $R_i = U$（即依赖包含整个关系）
- 超键约束：每个 $R_i$ 是 $R$ 的超键（Superkey）
用符号表示为： $$ \forall , *{R_1, R_2, \dots, R_n} \implies \left( \exists i: R_i = U \right) \lor \left( \forall i: R_i \text{ is a superkey} \right) $$
核心特点
连接依赖的消除
第五范式要求关系模式不能存在非平凡的连接依赖。例如，若关系 $R$ 可无损分解为 $R_1 \Join R_2 \Join R_3$，则至少有一个子模式需包含 $R$ 的全部属性，或每个子模式均需包含超键。数据冗余最小化
通过强制投影操作的独立性，确保数据在任何连接组合下均无冗余。例如，三元关系供应商-产品-仓库若满足 5NF，则任意两部分的组合（如供应商-产品和产品-仓库）无法推导出第三部分信息。
实际应用
- 适用场景：多对多对多（$M:N:P$）的复杂关联关系，如供应链管理中的多方协作模型。
- 局限性：因实际数据库设计极少涉及高阶连接依赖，第五范式更多作为理论参考，工程中通常采用 BCNF（第三范式）或第四范式（4NF）已足够。
总结
第五范式是规范化理论的终极形式，其核心价值在于为超复杂关联数据提供无损分解的理论保障，但在实际系统中需权衡设计复杂度与性能需求。
