●在关系模式R(U)中，如果X→Y和X→Z成立，则X→YZ也成立，这条规则称为 (27) 。(27) A．增广律B．自反律C．合并律D．分解律

函数依赖的公理系统（Armstrong）设关系模式R,U是关系模式R的属性全集，F是关系模式R的一个函数依赖集。对于R来说有以下的：自反律：若Y?X?U，则X→Y为F所逻辑蕴含增广律：若X→Y为F所逻辑蕴含，且Z?U，则XZ→YZ为F所逻辑蕴含传递律：若X→Y和Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含合并规则：若X→Y，X→Z，则X→YZ为F所蕴涵伪传递率：若X→Y，WY→Z，则XW→Z为F所蕴涵分解规则：若X→Y，Z?Y，则X→Z为F所蕴涵

从已知的一些函数依赖，可以推导出另外一些函数依赖，这就需要一系列推理规则。函数依赖的推理规则最早出现在1974年W.W.Armstrong 的论文里，这些规则常被称作“Armstrong 公理”设U 是关系模式R 的属性集，F 是R 上成立的只涉及U 中属性的函数依赖集。函数依赖的推理规则有以下三条：自反律：若属性集Y 包含于属性集X，属性集X 包含于U，则X→Y 在R 上成立。(此处X→Y是平凡函数依赖)增广律：若X→Y 在R 上成立，且属性集Z 包含于属性集U，则XZ→YZ 在R 上成立。传递律：若X→Y 和 Y→Z在R 上成立，则X →Z 在R 上成立。其他的所有函数依赖的推理规则可以使用这三条规则推导出。