Armstrong公理系统是用于推理函数依赖的一组规则，包括反射律、增广律和传递律12。这些规则有以下三条： 反射律：任何函数依赖都蕴含自身。 增广律：如果X->Y，则XZ->YZ。 传递律：如果X->Y且Y->Z，那么X->ZY
