参考答案

正确答案：A
解析：逻辑蕴含的定义是：设R＜U，F＞是一个关系模式，X、Y是U中的属性组，若在R＜U，F＞的任何一个满足F中函数依赖的关系r上，都有函数依赖X→Y成立，则称F逻辑蕴含X→Y。另外，Armstrong公理系统包括3条推理规则：①自反律。若YXU，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含。③传递律．着X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。根据这个定义和以上几条推理规则，可以知道选项C)和D)是错误的(两题本质上是一样的)。选项B)看上去像是传递律的表述，不过仔细看可以发现结论反了。