问题 单项选择题

设F是属性组U上的一组函数依赖,下列叙述正确的是

A.若Y

X,则X→Y为F所逻辑蕴含

B.若X

U,则X→Y为F所逻辑蕴含

C.若X→Y为F所逻辑蕴含,且Z

U,则X→YZ为F所逻辑蕴含

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

答案

参考答案:D

解析:[命题目的] 本题主要考查了对函数依赖的几个推理规则。[解题要点] 自反律:若Y

X

U,则X→Y为F所逻辑蕴含;增广律:若X→Y为F所逻辑蕴含,且Z

U,则XZ→YZ为F所逻辑蕴含;传递律:若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。[考点链接] 掌握合并规则、伪传递规则、分解规则。

单项选择题
单项选择题