关系模式R <U,F >来说有以下的推理规则:
1.自反律(Reflexivity):若Y Í X Í U,则X →Y为F所蕴含(平凡函数依赖)
2.增广律(Augmentation):若X→Y为F所蕴含,且Z Í U,则XZ→YZ为F所蕴含
关系模式R <U,F >来说有以下的推理规则:
1.自反律(Reflexivity):若Y Í X Í U,则X →Y为F所蕴含(平凡函数依赖)
2.增广律(Augmentation):若X→Y为F所蕴含,且Z Í U,则XZ→YZ为F所蕴含