单项选择题
设F是属性组U上的一组函数依赖，下列叙述正确的是
A) 若Y
X，则X→Y为F所逻辑蕴含
B) 若X
U，则X→Y为F所逻辑蕴含
C) 若X→Y为F所逻辑蕴含，且Z
U，则X→YZ为F所逻辑蕴含
D) 若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
X，则X→Y为F所逻辑蕴含B) 若X
U，则X→Y为F所逻辑蕴含C) 若X→Y为F所逻辑蕴含，且Z
U，则X→YZ为F所逻辑蕴含D) 若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含