Armstong公理系统的完整性与有效性指的是,从集合F出发根据Armstrong公理推导出的每个函数依赖都必须在F中逻辑蕴含的函数依赖。换言之,只要F中的依赖成立,根据公理推导的依赖也成立。完整性要求F中逻辑蕴含的每个函数依赖都能通过Armstrong公理从F出发推导出来。换句话说,F+中的所有函数依赖都能被公理推导出。总体而言,Armstrong公理系统是正确且完备的。