给定关系模式 R;其中 U 为属性集，F 是 U 上的一组函数依赖，那么 Armstroog 公理系统的增广律是指（）。
给定关系模式 R;其中 U 为属性集，F 是 U 上的一组函数依赖，那么 Armstroog 公理系统的增广律是指（）。
参考解析
解析：从已知的一些函数依赖，可以推导出另外一些函数依赖，这就需要一系列推理规则。函数依赖的推理规则最早出现在1974年W.W.Armstrong 的论文里，这些规则常被称作“Armstrong 公理”设U 是关系模式R 的属性集，F 是R 上成立的只涉及U 中属性的函数依赖集。函数依赖的推理规则有以下三条：自反律：若属性集Y 包含于属性集X，属性集X 包含于U，则X→Y 在R 上成立。(此处X→Y是平凡函数依赖)增广律：若X→Y 在R 上成立，且属性集Z 包含于属性集U，则XZ→YZ 在R 上成立。传递律：若X→Y 和 Y→Z在R 上成立，则X →Z 在R 上成立。其他的所有函数依赖的推理规则可以使用这三条规则推导出。
相关考题：
（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所逻辑蕴含。
令关系模式R=S(U；F)，其中U为属性集，F为函数依赖集。假设U=X、Y、Z为3个不可分解的不同属性，若F={XY→Z，YZ→X)，则R保持依赖的关系模式分解，一般只能分解到______。A．1NFB．2NFC．3NFD．BCNFA．B．C．D．
根据关系模型中数据间的函数依赖关系，关系模式可分成多种不同的范式(NP)，其中，第二范式排除了关系模式中非主属性对键的(16)函数依赖；第三范式排除了关系式中非主属性对键的(17)函数依赖。令关系模式R=S(U；F)，其中U为属性集，F为函数依赖集，假设U=XYZ为三个不可分解的不同属性，那么若F；{X→Y，Y→Z}，则R是(18)。若F ={XY→Z，YZ→X)，则R保持依赖的关系模式分解，一般只能分解到(19)。A．传递B．非传递C．完全D．部分
给定关系模式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
设关系模式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为关系模式R中的属性集，，是u上的一组函数依赖。假设u={A1，A2，A3;A4)，F={A1→A2，A1A2→A3,A1→A4,A2→A4那么关系R的主键应为( 52 )。函数依赖集F中的( 53 )是冗余的。A.AI →A2B.AIA2→A3C.Al→A4D.A2→A4
设关系模式R (U，F)，其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的合并规则是指为（ ）为F所蕴涵。A.若AB，BC，则ACB.若YXU，则XY。C.若AB，AC ,则ABCD.若AB，CB,则AC
设关系模式R(U，F)，其中R上的属性集U={A，B，C，D，E}，R上的函数依赖集 F={A→B,DE→B，CB→E，E→A，B→D}。(1)为关系R的候选关键字。分解(2)是无损连接，并保持函数依赖的。(1)A．ABB．DEC．CED．DB
● 给定关系模式 ( ) 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 上的一组函数依赖，那么 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 所蕴涵，且 Z?U,则入 XZ→YZ 为 F 所蕴涵
给定关系模式R（U，F.，其中：属性集U={A，B，C，D，E，G}，函数依赖集F={A→B，A→C，C→D，AE→G}。因为（请作答此空）=U，且满足最小性，所以其为R的候选码；关系模式R属于（ ），因为它存在非主属性对码的部分函数依赖；若将R分解为如下两个关系模式（ ），则分解后的关系模式保持函数依赖。
设关系模式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={A，B，C，D，E，G，H}函数依赖集F={A→B，AE→H，BG→DC，E→C，H→E}，下列函数依赖不成立的是（ ）A.A→ABB.H→CC.AEB→CD.A→BH
给定关系模式R（U，F.，其中：属性集U={A，B，C，D，E，G}，函数依赖集F={A→B，A→C，C→D，AE→G}。因为（ ）=U，且满足最小性，所以其为R的候选码；关系模式R属于（请作答此空），因为它存在非主属性对码的部分函数依赖；若将R分解为如下两个关系模式（ ），则分解后的关系模式保持函数依赖。A.1NFB.2NFC.3NFD.BCNF
设关系模式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 上的一组函数依赖，那么 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为关系模式R中的属性集，F是U上的一组函数依赖。假设U={A1，A2，A3，A4}，F={A1→A2，A1A2→A3，A1→A4，A2→A4}，那么关系R的主键应为（ ）A.A1B.A1A2C.A1A3D.A1A2A3
给定关系模式R（U,F），其中：U为关系模式R中的属性集，F是U上的一组函数依赖。假设U={A1，A2，A3，A4}，F={A1→A2，A1A2→A3，A1→A4，A2→A4}，函数依赖集F中的（ ）是冗余的。A.A1→A2B.A1A2→A3C.A1→A4D.A2→A4
给定关系模式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)，其中R上的属性集U={A，B，C，D，E}，R上的函数依赖集 F={A→B,DE→B，CB→E，E→A，B→D}。 （请作答此空）为关系R的候选关键字。分解（ ）是无损连接，并保持函数依赖的。 A.AB B.DE C.CE D.DB
给定关系模式 R(U，F)，其中: 属性集 U={A1 ,A2,A3，A4，A5,A6}， 函数依赖集F={A1→A2， A1→A3， A3→A4， A1A5→A6}。关系模式 R 的候选码为( ),由于 R 存在非主属性对码的部分函数依赖，所以 R 属于_(请作答此空)_.A.1NFB.2NFC.3NFD.BCNF
设关系模式R(U，F），其中R上的属性集U={A，B，C，D，E}，R上的函数依赖集F=｛A→B，DE→B，CB→E，E→A，B→D｝。（）为关系R的候选关键字。 A. ABB. DEC. CED. DB
单选题设关系模式R（U，F），其中，R上的属性集U={A，B，C，D，E}，R上的函数依赖集F=（A→B，DE→B，CB→E，E→A，B→D}。（1）为关系R的候选关键字。分解（2）是无损联接，并保持函数依赖的。空白（1）处应选择（）AABBDECCEDCD