给定关系模式R<U,F>;其中U为属性集，F是U上的一组函数依赖，那么Armstroog公理系统的增广律是指
关系模式R <U，F >来说有以下的推理规则： A1.自反律（Reflexivity）：若Y?X?U，则X →Y成立。 A2.增广律（Augmentation）：若Z?U且X→Y，则XZ→YZ成立。 A3.传递律（Transitivity）：若X→Y且Y→Z，则X→Z成立。