【单选题】设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所逻辑蕴含
【单选题】设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所逻辑蕴含
参考答案和解析
√
相关考题：
（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 所逻辑蕴含
（17）Armstrong 公理系统中的增广律的含义是：设 R 是一个关系模式，X，Y 是U 中属性组，若 X→Y 为 F所逻辑蕴含，且 ZíU，则___________为 F 所逻辑蕴含。
Armstrong公理系统中的增广律的含义是:设R,是一个关系模式,X,Y是U中属性组,若x→Y为F所逻辑 Armstrong公理系统中的增广律的含义是：设R＜U，F＞，是一个关系模式，X，Y是U中属性组，若x→Y为F所逻辑蕴含，且Z∈U，则【 】为F所逻辑蕴含。
下列关于函数依赖的叙述中，( )是Armstrong公理系统中的推理规则。A．若Y→X， 则X→YB．若X→Y，WY→Z， 则XW→ZC．若XY→Z， 则X→Z，Y→ZD．若X→YZ， 则X→Y，X→Z
设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所逻辑蕴含
给定关系模式R(U，F)，其中U为关系R属性集，F是U上的一组函数依赖，若 X→Y，(42)是错误的，因为该函数依赖不蕴涵在F中。A．Y→Z成立，则X→ZB．X→Z成立，则X→YZC．ZU成立，则X→YZD．WY→Z成立，则XW→Z
下列关于Armstrong公理系统的叙述中，错误的是______。A．Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中B．Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来C．通常把自反律、传递律和增广律统称为Armstrong公理系统D．Armstrong公理系统中的传递律就是传递函数依赖
设关系模式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公理系统）中的合并规则是指为（ ）为F所蕴涵。A.若AB，BC，则ACB.若YXU，则XY。C.若AB，AC ,则ABCD.若AB，CB,则AC
● 给定关系模式 ( ) F U R ， ，其中U 为关系R属性集，F 是U 上的一组函数依赖，若 Y X → ， （42） 是错误的，因为该函数依赖不蕴涵在F中。（42）A. Z Y → 成立，则 Z X →B. Z X → 成立，则 YZ X →C. U Z ? 成立，则 YZ X →D. Z WY → 成立，则 Z XW →
设关系模式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公理系统)中的合并规则是指为（ ）为F所蕴涵。 A. 若A→B，B→C，则A→CB. 若Y?X?U，则X→YC. 若A→B，B→C ,则A→BCD. 若A→B，C?B,则A-+C
给定关系模式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所蕴涵
单选题设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所逻辑蕴含
填空题Armstrong公理系统的三条推理规则是自反律、增广律和（）