（52）设 F 是属性组U 上的一组函数依赖，下列哪一条属于 Armstrong 公理系统中的基本推理规则A）若

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

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

A．若，则X→Y为F所逻辑蕴含

B．若，则X→Y为F所逻辑蕴含

C．若X→Y为F所逻辑蕴含，且，则X→YZ为F所逻辑蕴含

D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为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 →A2

B.AIA2→A3

C.Al→A4

D.A2→A4

A.若YX，则X→Y为F所逻辑蕴含

B.若XU，则X→Y为F所逻辑蕴含

C.若X→Y为F所逻辑蕴含，且ZU，则X→YZ为F所逻辑蕴含

D.若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

设关系模式R (U，F)，其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的合并规则是指为（）为F所蕴涵。

A.若A→B，B→C，则A→CB.若Y⊆X⊆U，则X→Y。C.若A→B，A→C ,则A→BCD.若A→B，C⊆B,则A→C

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

D．若X→Y为F所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含

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

D.若X→Y为F所逻辑蕴含，且Z[*]Y，则X→Z为F所逻辑蕴含

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