问题
单项选择题
设关系模式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所逻辑蕴涵
答案
参考答案：A
解析： 逻辑蕴含的定义是：设R
①自反律。若Y[*]X[*]U，则X→Y为F所逻辑蕴含。
②增广律。若X→Y为F所逻辑蕴含，且Z[*]U，则XZ→YZ为F所逻辑蕴含。
③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。
根据这个定义和以上几条推理规则，可以知道选项C)和D)是错误的(两题本质上是一样的)。选项 B)看上去像是传递律的表述，不过仔细看可以发现结论反了。