Armstrong公理和推论

Armstrong公理和推论

A1.自反律（Reflexivity）：若Y  X  U，则X →Y为F所蕴含。
A2.增广律（Augmentation）：若X→Y为F所蕴含，且Z  U，则XZ→YZ为F所蕴含。
A3.传递律（Transitivity）：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。
合并规则：由X→Y，X→Z，有X→YZ。
（A2， A3）
伪传递规则：由X→Y，WY→Z，有XW→Z。
（A2， A3）
分解规则：由X→Y及 Z->Y，有X→Z。
（A1， A3）