数据库总结（函数依赖）

给定一个X，能唯一确定一个Y，就称X确定Y，或者说Y依赖于X，例如Y=x*x函数。

函数依赖又可扩展以下两种规则:

◆部分函数依赖:A可确定C，(A,B)也可确定C。(A,B)中的一部分(即A)可以确定C，称为部分函数依赖。
A-> B
◆传递函数依赖:当A和B不等价时，A可确定B，B可确定C，则A可确定C，是传递函数依赖;若A和B等价，则不存在传递，直接就可确定C。

◆函数依赖的公理系统(Armstrong)

基本公理

Armstrong公理包含以下三条核心规则：

自反律（Reflexivity）
若 ( Y \subseteq X \subseteq U )，则 ( X \to Y ) 成立。即属性集决定其子集。

增广律（Augmentation）
若 ( X \to Y ) 成立，则 ( XZ \to YZ ) 也成立（( Z ) 为任意属性集）。

传递律（Transitivity）
若 ( X \to Y ) 且 ( Y \to Z ) 成立，则 ( X \to Z ) 成立。

衍生规则

从基本公理可推导出以下常用规则：

合并律（Union）
若 ( X \to Y ) 且 ( X \to Z ) 成立，则 ( X \to YZ ) 成立。

分解律（Decomposition）
若 ( X \to YZ ) 成立，则 ( X \to Y ) 且 ( X \to Z ) 成立。

伪传递律（Pseudo Transitivity）
若 ( X \to Y ) 且 ( WY \to Z ) 成立，则 ( XW \to Z ) 成立。