5.3.1 Armstrong公理

• 自反律（Reflexivity）：若 $Y$ 是 $X$ 的子集，则 $X$ 能确定 $Y$。
• 增广律（Augmentation）：若 $X$ 能确定 $Y$，则 $XZ$ 能确定 $YZ$。
• 传递律（Transitivity）：若 $X$ 能确定 $Y$，且 $Y$ 能确定 $Z$，则 $X$ 能确定 $Z$。