网友您好, 请在下方输入框内输入要搜索的题目:

题目内容 (请给出正确答案)
设关系模式R (U,F),其中U为属性集, F是U上的一组函数依赖,那么函数依赖的公理系统 (Armstrong公理系统)中的合并规则是指为( )为F所蕴涵。


A. 若A→B,B→C,则A→C
B. 若Y?X?U,则X→Y
C. 若A→B,B→C ,则A→BC
D. 若A→B,C?B,则A-+C


参考答案

参考解析
解析:
更多 “设关系模式R (U,F),其中U为属性集, F是U上的一组函数依赖,那么函数依赖的公理系统 (Armstrong公理系统)中的合并规则是指为( )为F所蕴涵。 A. 若A→B,B→C,则A→C B. 若Y?X?U,则X→Y C. 若A→B,B→C ,则A→BC D. 若A→B,C?B,则A-+C ” 相关考题
考题 (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所逻辑蕴含。

考题 若F为关系模式R(U)的函数依赖集,则把F以及所有被F逻辑蕴涵的函数依赖的集合称为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所逻辑蕴涵

考题 根据关系模型中数据间的函数依赖关系,关系模式可分成多种不同的范式(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.部分

考题 设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为关系模式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,F),其中U为属性集, F是U上的一组函数依赖,那么函数依赖的公理系统(Armstrong公理系统)中的合并规则是指为( )为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为关系模式R中的属性集,F是U上的一组函数依赖。假设U={A1,A2,A3,A4},F={A1→A2,A1A2→A3,A1→A4,A2→A4},那么关系R的主键应为( )A.A1 B.A1A2 C.A1A3 D.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→A2 B.A1A2→A3 C.A1→A4 D.A2→A4

考题 给定关系模式 R;其中 U 为属性集,F 是 U 上的一组函数依赖,那么 Armstroog 公理系统的增广律是指()。

考题 设关系模式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),其中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)中,被F所逻辑蕴涵的函数依赖的全体称作F的(),记为()

考题 填空题Armstrong公理系统中的增广律的含义是:设R是一个关系模式,X,Y是U中属性组,若X→Y为F所逻辑蕴含,且ZÍU,则()为F所逻辑蕴含。

考题 单选题设关系模式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 CD