(52)设 F 是属性组U 上的一组函数依赖,下列哪一条属于 Armstrong 公理系统中的基本推理规则A)若

Question

（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 所逻辑蕴含

Answer 1

正确答案：B

（52【答案】B）
【解析】阿氏公理中的基本推理规则为自反律，增广律，传递律，A)为合并规则。B)为传递规则。C)为传递规则。D)为分解规则》所以选择B)