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

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

[单选题]下列哪些条不属于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

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

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

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

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

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

[单选题]下面哪一条是对Armstrong公理系统中合并律的描述?( )A．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含B．由X→Y及，有X→ZC．由X→Y，WY→Z，有XW→ZD．由X→Y，X→Z，有X→YZ

[单选题]设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所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含

[单选题]若A→B为F所逻辑蕴涵，且C(图片)U，则AC→BC为F所逻辑蕴涵，这是函数依赖的 ( )推理规则。A．分配律B．自反律C．传递律D．增广律