(52)设 F 是属性组U 上的一组函数依赖,下列哪一条属于 Armstrong 公理系统中的基本推理规则A)若
(52)设 F 是属性组U 上的一组函数依赖,下列哪一条属于 Armstrong 公理系统中的基本推理规则
A)若 X→Y 及 X→Z 为F 所逻辑蕴含,则 X→YZ 为F 所逻辑蕴含
B)若 X→Y 及 Y→Z 为F 所逻辑蕴含,则 X→Z 为F 所逻辑蕴含
C)若 X→Y 及 WY→Z 为F 所逻辑蕴含,则 XW→Z 为F 所逻辑蕴含
D)若 X→Y 为F 所逻辑蕴含,且 Z Y,则 X→Z为 F 所逻辑蕴含