由Armstrong公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则，它们是合并规

下列关于Armstrong公理系统的叙述中，错误的是______。

A．Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中

B．Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来

C．通常把自反律、传递律和增广律统称为Armstrong公理系统

D．Armstrong公理系统中的传递律就是传递函数依赖

A.若Y∈x，则X→Y

B.若x→Y，则XZ→YZ

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

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

下列哪些条不属于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

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

下面哪一条是对Armstrong公理系统中合并律的描述？()

A．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

B．由X→Y及，有X→Z

C．由X→Y，WY→Z，有XW→Z

D．由X→Y，X→Z，有X→YZ

A、自反律

B、合并律

C、传递律

D、增广律

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