测试

Armstrong's xiom

设 $U$为属性集的总体，$F$是$U$上的一组函数依赖，于是有关系模式$R<U,F>$，对$R<U,F>$来说有以下的推理规则：

A1 自反律：若$Y\subseteq X\subseteq U$，则$X\to Y$为$F$所蕴含；

A2 增广律：若$X\to Y$为$F$所蕴含，且$Z\subseteq U$，则$XZ\to YZ$为所$F$蕴含；

A3 传递律：若$X\to Y$且$Y\to Z$为$F$所蕴含，则$X\to Z$为$F$所蕴含。