单项选择题
下面哪一条是对Armstrong公理系统中合并律的描述( )
A．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
B．由X→Y及
，有X→Z
C．由X→Y，WY→Z，有XW→Z
D．由X→Y，X→Z，有X→YZ
B．由X→Y及
，有X→ZC．由X→Y，WY→Z，有XW→Z
D．由X→Y，X→Z，有X→YZ