Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】
相关考题：
设关系模式R(U, F)，其中U为属性集，F是U上的一组函数依赖，下列叙述中正确的是( )。A．若X→Y为F所逻辑蕴涵，且ZU，则XZ→YZ为F所逻辑蕴涵B．若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵C．若YXU，则Y→X为F所逻辑蕴涵D．若XYU，则X→Y为F所逻辑蕴涵
设关系模式R(U,F)，其中U为属性集，F是U上的一组函数依赖，下列叙述正确的是 ( )。A．若X→Y为F所逻辑蕴涵，且ZU，则XZ→YZ为F所逻辑蕴涵B．若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵C．若YXU，则Y→X为F所逻辑蕴涵D．若XYU，则X→Y为F所逻辑蕴涵
设关系模式R,其中U为属性集,F是U上的一组函数依赖,那么Armstrong公理系统的伪传递律是指()。 设关系模式R＜U，F＞，其中U为属性集，F是U上的一组函数依赖，那么Armstrong公理系统的伪传递律是指（）。A.若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵B.若X→Y，X→Z，则X→YZ为F所蕴涵C.若X→Y，WY→Z，则XW→Z为F所蕴涵D.若X→Y为F所蕴涵，且Z?U，则XZ→YZ为F所蕴涵
设关系模式R＜U，F＞，其中U为属性集，F是U上的一组函数依赖，那么Armstrong公理系统的伪传递律是指（ ）。A.若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵B.若X→Y，X→Z，则X→YZ为F所蕴涵C.若X→Y，WY→Z，则XW→Z为F所蕴涵D.若X→Y为F所蕴涵，且Z?U，则XZ→YZ为F所蕴涵
给定关系模式 R;其中 U 为属性集，F 是 U 上的一组函数依赖，那么 Armstroog 公理系统的增广律是指（ ）。A.若 X→Y，X→Z，则 X→YZ 为 F 所蕴涵B.若 X→Y，WY→Z，则 XW→Z 为 F 所蕴涵C.若 X→Y，Y→Z 为 F 所蕴涵，则 X→Z 为 F 所蕴涵D.若 X→Y，为 F 所蕴涵，且 ZU,则入 XZ→YZ 为 F 所蕴涵
给定关系模式R,其中U为属性集,F是U上的一组函数依赖,那么Armstrong公理系统的伪传递律是指（ ）。A.若X→Y,X→Z,则X→YZ为F所蕴涵B.若X→Y,WY→Z,则XW→Z为F所蕴涵C.若X→Y,Y→Z为F所蕴涵,则X→Z为F所蕴涵D.若Ⅹ→Y为F所蕴涵,且Z U,则XZ→YZ为F所蕴涵
给定关系模式R;其中U为属性集，F是U上的一组函数依赖，那么Armstroog公理系统的传递律是指（ ）。A.若X→Y，X→Z，则X→YZ为F所蕴涵B.若X→Y，WY→Z，则XW→Z为F所蕴涵C.若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵D.若X→Y，为F所蕴涵，且ZU,则入XZ→YZ为F所蕴涵