（52）设 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 所逻辑蕴含

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

[单选题]设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所逻辑蕴含D．若X→Y为F所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含

[单选题]设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所逻辑蕴含

[单选题]设F是属性组U上的一组函数依赖，下列叙述正确的是A．若，则X→Y为F所逻辑蕴含B．若，则X→Y为F所逻辑蕴含C．若X→Y为F所逻辑蕴含，且，则X→YZ为F所逻辑蕴含D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为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所逻辑蕴含

[单选题]设F是属性组U上的一组函数依赖，下列叙述正确的是A．B．C．D．

[单选题]设F是属性组U上的一组函数依赖，下列叙述正确的是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上的一组函数依赖，下列叙述正确的是 ( )。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为关系R属性集，F是U上的一组函数依赖，若 X→Y，(42)是错误的，因为该函数依赖不蕴涵在F中。A．Y→Z成立，则X→ZB．X→Z成立，则X→YZC．ZU成立，则X→YZD．WY→Z成立，则XW→Z

[单选题]（ 52 ）下列关于部分函数依赖的叙述中，哪一条是正确的？A． ）若 X → Y ，且存在属性集 Z ， Z ∩ Y ≠? ， X → Z ，则称 Y 对 X 部分函数依赖B． ）若 X → Y ，且存在属性集 Z ， Z ∩ Y= ? ， X → Z ，则称 Y 对 X 部分函数依赖C． ）若 X → Y ，且存在 X 的真子集 X ′ ， X ′→ Y ，则称 Y 对 X 部分函数依赖D． ）若 X → Y ，且对于 X 的任何真子集 X ′ ，都有 X ′→ Y ，则称 Y 对 X 部分函

[单选题]（ 52 ）下列关于部分函数依赖的叙述中，哪一条是正确的？A． ）若 X → Y ， 且存在 Y 的真子集 Y' ， X → Y' ， 则称 Y 对 X 部分函数依赖B． ）若 X → Y ， 且存在 Y 的真子集 Y' ， X Y' ， 则称 Y 对 X 部分函数依赖C． ）若 X → Y ， 且存在 X 的真子集 X' ， X' → Y ， 则称 Y 对 X 部分函数依赖D． ）若 X → Y ， 且存在 X 的真子集 X' ， X' Y ， 则称 Y 对 X 部分函数依赖