Armstrong公理系统是一种有效且完备的数据库安全性探索工具:从F出发,依据Armstrong公理推导出的每个函数依赖都可以在F+中找到;而F+中的每个函数依赖,也可以由F根据Armstrong公理推导得出。