函数依赖的逻辑蕴涵

若A→B为F所逻辑蕴涵，且C(图片)U，则AC→BC为F所逻辑蕴涵，这是函数依赖的 ( )推理规则。

A．分配律

B．自反律

C．传递律

D．增广律

若A→B为F所逻辑蕴涵，且CU，则AC→BC为F所逻辑蕴涵，这是函数依赖的( )推理规则。

A．分配律

B．自反律

C．传递律

D．增广律

A.AC→D

B.B→D

C.AD→B

D.AC→B

由自反律的得到的函数依赖均是

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所逻辑蕴涵

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

在对全局E-R模型进行优化时，通常利用规范化理论中的( )概念消除冗余关系。

A.无损联接

B.函数依赖

C.范式

D.逻辑蕴涵

设关系模式R(U, F),其中U为属性集，F是U上的一组函数依赖，下列叙述正确的是 （ ）。 A．若YXU,则Y→X为F所逻辑蕴涵 B．若XYU,则X →Y为F所逻辑蕴涵 C．若X → Y为F所逻辑蕴涵，且ZU，则YZ →XZ为F所逻辑蕴涵 D．若X→Y, Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵