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

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

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

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

[单选题]下列哪些条不属于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公理系统的三条推理规则是自反律、__________、增广律。

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

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

[单选题]设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所逻辑蕴含

[单选题]在关系模式R（U，F）中，X、Y、Z都是属性，且X→Y、Y→Z，则X→Z是（）A . 一定是传递函数依赖B . 一定不是传递函数依赖C . 不一定是传递函数依赖D . 如果X是单一属性，则是传递函数依赖

[主观题]假设在关系模式R (U）中，X, Y, Z都是U的子集，且Z=U—X—Y。若X→→Y，则称X→→Y为 () 。