函数依赖的逻辑蕴涵

函数依赖的逻辑蕴涵


相关考题:

设有关系模式R(ABCD),其函数依赖集F={A→B,BC→D },__函数依赖不能被F所逻辑蕴涵 A.AC→DB.B→DC.AD→BD.AC→B

输入无反变量函数F的化简,讨论的是___。A、函数F的标准与或式B、用禁止逻辑法寻找F的共享禁止项C、函数F中不能出现非运算D、在F的卡诺图上所有的质蕴涵

若F为关系模式R(U)的函数依赖集,则把F以及所有被F逻辑蕴涵的函数依赖的集合称为F的______。

由自反律的得到的函数依赖均是A.平凡多值依赖B.平凡函数依赖C.逻辑蕴含D.4NF

设关系模式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所逻辑蕴涵

若A→B为F所逻辑蕴涵,且C(图片)U,则AC→BC为F所逻辑蕴涵,这是函数依赖的 ( )推理规则。A.分配律B.自反律C.传递律D.增广律

函数依赖包括有( )。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所蕴涵

若A→B为F所逻辑蕴涵,且CU,则AC→BC为F所逻辑蕴涵,这是函数依赖的( )推理规则。A.分配律B.自反律C.传递律D.增广律

设关系模式R (U,F),其中U为属性集, F是U上的一组函数依赖,那么函数依赖的公理系统(Armstrong公理系统)中的合并规则是指为( )为F所蕴涵。A.若AB,BC,则ACB.若YXU,则XY。C.若AB,AC ,则ABCD.若AB,CB,则AC

在对全局E-R模型进行优化时,通常利用规范化理论中的( )概念消除冗余关系。A.无损联接B.函数依赖C.范式D.逻辑蕴涵

● 给定关系模式 ( ) 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公理系统)中的合并规则是指为( )为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 上的一组函数依赖,那么 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)中,被F所逻辑蕴涵的函数依赖的全体称作F的(),记为()。 设F和G是两个函数依赖集,如果F+包含于G+和G+包含于F+同时成立,即F+=G+,则称F和G()。

在关系模式R(U,F)中,被F所逻辑蕴涵的函数依赖的全体称作F的(),记为()

在R(U)中,如果Y函数依赖于X,并且存在X的一个真子集X’,使得Y函数依赖于X’,则Y是X的()。A、部分函数依赖B、完全函数依赖C、非平凡函数依赖D、平凡函数依赖

被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为(),用符号()表示。

设有关系模式R(U,F),X包含于U、Y包含于U,如果从F中的函数依赖能够推导出X→Y,则称F逻辑蕴涵X→Y,或称X→Y是F的()

对于函数依赖X→Y,如果Y是X的子集,此函数依赖为()函数依赖。

名词解释题函数依赖的逻辑蕴涵

填空题在关系模式R(U,F)中,被F所逻辑蕴涵的函数依赖的全体称作F的(),记为()

填空题被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为(),用符号()表示。

填空题设有关系模式R(U,F),X包含于U、Y包含于U,如果从F中的函数依赖能够推导出X→Y,则称F逻辑蕴涵X→Y,或称X→Y是F的()

填空题在关系模式R(U,F)中,被F所逻辑蕴涵的函数依赖的全体称作F的(),记为()。 设F和G是两个函数依赖集,如果F+包含于G+和G+包含于F+同时成立,即F+=G+,则称F和G()。