函数依赖范式关系代数详解和总结

数据库理论的核心是关系模型，而关系模型的三大支柱是：函数依赖（数据依赖的一种）、范式（规范化理论）和关系代数（操作基础）。三者紧密关联：函数依赖用于定义范式，关系代数用于操作关系，而范式则指导关系模式的设计。

第一部分：函数依赖

1.1 定义

设关系模式 R(U)R(U)，X,Y⊆UX,Y⊆U。对于 RR 的任意实例 rr，若不存在两个元组在 XX 上值相等而在 YY 上值不等，则称 XX 函数决定 YY，记作 X→YX→Y。

• 非平凡函数依赖：Y⊈XY⊆X。

• 平凡函数依赖：Y⊆XY⊆X（总是成立）。

1.2 闭包与 Armstrong 公理

属性闭包 X+X+：由 XX 通过函数依赖集 FF 能推导出的所有属性的集合。计算属性闭包是判断依赖是否蕴含的关键。

Armstrong 公理（完备且正确）：

• 自反律：若 Y⊆XY⊆X，则 X→YX→Y。

• 增广律：若 X→YX→Y，则 XZ→YZXZ→YZ。

• 传递律：若 X→YX→Y 且 Y→ZY→Z，则 X→ZX→Z。

导出规则：

• <