单项选择题

下列关于函数依赖的叙述中,( )是Armstrong公理系统中的推理规则。

A) 若Y→X, 则X→Y
B) 若X→Y,WY→Z, 则XW→Z
C) 若XY→Z, 则X→Z,Y→Z
D) 若X→YZ, 则X→Y,X→Z