Armstrong公理系统的3条推理规则是自反律、增广律和______。

下面关于函数依赖的叙述中，（）是Armstrong公理系统中的推理规则。

A．若X→Y，WY→Z，则XW→Z

B．若Y→X，则X→Y

C．若XY→Z，则X→Z，Y→Z

D．若X→YZ，则X→Y，X→Z

A.若Y∈x，则X→Y

B.若x→Y，则XZ→YZ

C.若x→Y，且z∈Y，则X→z

D.若x→Y，且Y→Z，则x→z

A.交换律

B.自反律

C.增补律

D.传递律

下列哪些条不属于Armstrong公理系统中的基本推理规则？

I．若YX,则X→Y

II．若X→Y，则XZ→YZ

III. 若X→Y,且ZY,则X→Z

IV．若X→Y,且Y→Z,则X→Z

V．若X→Y，且X→Z,则X→YZ

A．仅I和III

B．仅III和V

C．仅II和IV

D．仅IV和V

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