问题
单项选择题
下列哪一条不属于Armp公理系统中的基本推理规则？（）
A．若Y
X，则X→Y
B．若X→Y，则XZ→YZ
C．若X→Y，且Z
Y，则X→Z
D．若X→Y，且Y→Z，则X→Z
答案
参考答案：D
解析：
没F是属性组U上的一组函数依赖，于是有如下推理规则：
①(自反律)。若Y
X
U，则X→Y为F所逻辑蕴含。
②(增广律)。若X→Y为F所逻辑蕴含，且Z
U，则XZ→YZ为F所逻辑蕴含。
③(传递律)。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。
注意：自由反律所得到的函数依赖均为平凡的函数依赖，事实上自反律的应用只依赖于U，不依赖于F。