阿姆斯特朗公理
函数依赖推理的公理体系。
三条性质
1.自反律。如果Y包含于X包含于属性集U,则X决定Y蕴含于函数依赖集F。
2.增广律。如果X决定Y蕴含于F,且Z包含于属性集U,则XZ决定YZ。
3.传递律。如果X决定Y,Y决定Z被函数依赖集F所蕴含,则X决定Z也被函数依赖集F蕴含。
概念学习-阿姆斯特朗公理
最新推荐文章于 2022-06-10 19:17:29 发布
阿姆斯特朗公理
函数依赖推理的公理体系。
三条性质
1.自反律。如果Y包含于X包含于属性集U,则X决定Y蕴含于函数依赖集F。
2.增广律。如果X决定Y蕴含于F,且Z包含于属性集U,则XZ决定YZ。
3.传递律。如果X决定Y,Y决定Z被函数依赖集F所蕴含,则X决定Z也被函数依赖集F蕴含。