阿姆斯特朗公理

阿姆斯特朗公理（Armstrong axioms）是2018年公布的计算机科学技术名词。函数依赖推理的公理体系，包括自反律、增广律和传递律。设 U为关系模式R的属性集总体，F是U上的一组函数依赖。则对于关系模式R是否为F所蕴含，推理规则如下：①自反律。若Y⊆X⊆U，则X→Y为F所蕴含。②增广律。若X→Y为F所蕴含，且Z⊆U，则XZ→YZ为F所蕴含。③传递律。若X→Y及Y→Z为F所蕴含，则X→Z为F 所蕴含。