设有关系模式R（U，F），X包含于U、Y包含于U，如果从F中的函数依赖能够推导出X→Y，则称F逻辑蕴涵X→Y，或称X→Y是F的（）
设有关系模式R（U，F），X包含于U、Y包含于U，如果从F中的函数依赖能够推导出X→Y，则称F逻辑蕴涵X→Y，或称X→Y是F的（）
相关考题：
Armstrong公理系统中的增广律的含义是:设R,是一个关系模式,X,Y是U中属性组,若x→Y为F所逻辑 Armstrong公理系统中的增广律的含义是：设R＜U，F＞，是一个关系模式，X，Y是U中属性组，若x→Y为F所逻辑蕴含，且Z∈U，则【 】为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的子集X和Y如果X→Y,且Y￠X,则称Y对X的依赖为()。A.非平凡的函数依赖B.完全 在关系模式R＜U＞中，对于U的子集X和Y如果X→Y，且Y￠X，则称Y对X的依赖为( )。A．非平凡的函数依赖B．完全函数依赖C．传递函数依赖D．部分函数依赖
在关系模式R中,称满足下面哪一个条件的X→→Y为平凡的多值依赖?A.U－X—Y=B.X∩Y=C.X是单个属性D 在关系模式R＜U，F＞中，称满足下面哪一个条件的X→→Y为平凡的多值依赖?A．U-X—Y=B．X∩Y=C．X是单个属性D．Y是单个属性
给定关系模式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所蕴涵
设F是属性组U上的一组函数依赖,下列叙述正确的是A．若Y∈U则X→Y为F所逻辑蕴含B．若X∈U则X→Y为F所逻辑蕴含C．若X→Y为F所逻辑蕴含,且Z∈U则X→YZ为F所逻辑蕴含D．若X→Y及X→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
关系模式R(U，F)，其中U=(W，X，Y，Z)，F={WX→Y,W→X,X→Z,y,Vw}。关系模式R的候选码是(43)，(44)是无损连接并保持函数依赖的分解。A．W和YB．WYC．WXD．WZ
● 给定关系模式 ( ) 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 上的一组函数依赖，那么 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 所蕴涵，且 Z?U,则入 XZ→YZ 为 F 所蕴涵
如果X→Y，但Y不包含于X，则称X→Y是（）的函数依赖。 如果X→Y，则X称作（）。 如果K是关系模式R（U，F）的任一候选关键字，X是任一属性或属性集，如果X∈K，则X称为（）；否则称为（）。
填空题如果X→Y，但Y不包含于X，则称X→Y是（）的函数依赖。 如果X→Y，则X称作（）。 如果K是关系模式R（U，F）的任一候选关键字，X是任一属性或属性集，如果X∈K，则X称为（）；否则称为（）。
填空题设有关系模式R（U，F），X包含于U、Y包含于U，如果从F中的函数依赖能够推导出X→Y，则称F逻辑蕴涵X→Y，或称X→Y是F的（）