问题
单项选择题
设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所逻辑蕴含
答案
参考答案：D
解析： 本题主要考查了对函数依赖的几个推理规则。自反律：若Y[*]X[*]U，则X→Y为F所逻辑蕴含；增广律：若X→Y为F所逻辑蕴含，且Z[*]U，则XZ→YZ为F所逻辑蕴含；传递律：若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。