Armstrong公理系统是有效的、完备的: 有效性:由F出发根据 Armstrong公理推导出来的每一个函数依赖 一定在F+中; 。完备性:F+中的每一个函数依赖,必定可以由F出发根据 Armstrong公理推导出来 Armstrong公理系统是有效的、完备的： ◦ 有效性：由F出収根据Armstrong公理推导出来的每一个函数依赖 一定在F +中； ◦ 完备性：F +中的每一个函数依赖，必定可以由F出収根据 Armstrong公理推导出来