参考答案：C

解析： F是属性组U上的一组数据依赖，有如下的推理规则： 自反律：若Y∈X∈U，则X→Y为F所逻辑蕴涵。 增广律：若X→Y为F所逻辑蕴涵，且Z∈U，则XZ→YZ为F所逻辑蕴涵。 传递律：若X→Y及Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵。 合并规则：由X→Y，X→Z，有X→YZ。 伪传递规则：由X→Y，WY→Z，有XW→Z。 分解规则：由X→Y及Z∈Y，有X→Z。