单选题

给定关系模式 R,其中 U 为属性集,F 是 U 上的一组函数依赖,那么 Armstrong 公理系统的伪传递律是指

A、若 X→Y,X→Z,则 X→YZ 为 F 所蕴涵
B、若 X→Y,WY→Z,则 XW→Z 为 F 所蕴涵
C、若 X→Y,Y→Z 为 F 所蕴涵,则 X→Z 为 F 所蕴涵
D、若Ⅹ→Y 为 F 所蕴涵,且 Z⊆U,则 XZ→YZ 为 F 所蕴涵

【正确答案】 C

【答案解析】