数据依赖的Armstrong公理系统

关系模式R <U，F >来说有以下的推理规则： 1.自反律（Reflexivity）：若Y Í X Í U，则X →Y为F所蕴含（平凡函数依赖） 2.增广律（Augmentation）：若X→Y为F所蕴含，且Z Í U，则XZ→YZ为F所蕴含 3.传递律（Transitivity）：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含（传递函数依赖） 4.合并规则：由X→Y，X→Z，有X→YZ  (2,

>>阅读原文<<