单项选择题
设关系模式R(U,F)，其中U为属性集，F是U上的一组函数依赖，下列叙述正确的是 ( )。
A．若X→Y为F所逻辑蕴涵，且Z
U，则XZ→YZ为F所逻辑蕴涵
B．若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵
C．若Y
X
U，则Y→X为F所逻辑蕴涵
D．若X
Y
U，则X→Y为F所逻辑蕴涵
U，则XZ→YZ为F所逻辑蕴涵B．若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵
C．若Y
XU，则Y→X为F所逻辑蕴涵D．若X
YU，则X→Y为F所逻辑蕴涵