数依赖的逻辑蕴涵被定义为：函数依赖的集合formula_3逻辑蕴涵另一个函数依赖集合formula_4，如果任何关系"R"满足formula_3中的所有依赖也满足formula_4中的所有依赖；记作formula_7。函数依赖的逻辑蕴涵拥有可靠且的有限公理系统，称作阿姆斯特朗公理系统（Armstrong's axioms）。