（17）Annstrong公理系统的3条推理规则是___________、增广律和传递律。

[试题]（ 17 ） Armstrong 公理系统的三条推理规则是自反律、增广律和 ( 17 ) 。

[试题]A．rmstrong公理系统的三条推理规则是自反律、__________、增广律。

[试题]A．rmstrong公理系统的三条推理规则是自反律、传递律和__________ 。

[试题]（17）Armstrong 公理系统中的增广律的含义是：设 R 是一个关系模式，X，Y 是U 中属性组，若 X→Y 为 F所逻辑蕴含，且 ZíU，则___________为 F 所逻辑蕴含。

[问答题,论述题] 试由amstrong 公理系统推导出下面三条推理规则

[单选题]下列哪一条不属于Armstrong公理系统中的基本推理规则?A．若Y∈x，则X→YB．若x→Y，则XZ→YZC．若x→Y，且z∈Y，则X→zD．若x→Y，且Y→Z，则x→z

[单选题]下列哪些条不属于Armstrong公理系统中的基本推理规则？I．若YX,则X→YII．若X→Y，则XZ→YZIII. 若X→Y,且ZY,则X→ZIV．若X→Y,且Y→Z,则X→ZV．若X→Y，且X→Z,则X→YZA．仅I和IIIB．仅III和VC．仅II和IVD．仅IV和V

[试题]A．rmstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（ ）

[试题]A．rmstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。

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