单项选择题
下列选项中不属于Armstrong公理系统中的基本推理规则的是( )。
A．若
，则X→Y
B．若X→Y，则XZ→YZ
C．若X→Y，且
，则X→Z
D．若X→Y，且Y→Z，则X→Z
，则X→YB．若X→Y，则XZ→YZ
C．若X→Y，且
，则X→ZD．若X→Y，且Y→Z，则X→Z