单项选择题

设关系模式R(U, F),其中U为属性集,F是U上的一组函数依赖,下列叙述正确的是( )。

A.若X→Y为F所逻辑蕴含,且
,则XZ→YZ为F所逻辑蕴含
B.若X→Y,X→Z为F所逻辑蕴含,则Y→Z为F所逻辑蕴含
C.若
,则Y→X为F所逻辑蕴含
D.若
,则X→Y为F所逻辑蕴含