早教吧 育儿知识 作业答案 考试题库 百科 知识分享
早教吧考试题库频道 --> 计算机类考试 -->计算机三级 -->

设F是属性组U上的一组函数依赖,下列叙述正确的是A.若YX,则X→Y为F所逻辑蕴含B.若XU,则X→Y为F所逻

题目

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

参考答案
正确答案:D
解析:自反律:若YXU,则X→Y为F所逻辑蕴含;增广律:若X→Y为F所逻辑蕴含,且ZU,则XZ→YZ为F所逻辑蕴含;传递律:若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。掌握合并规则、伪传递规则、分解规则。