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

Question

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

Answer 1

正确答案：D
解析：自反律：若，则X→Y为F所逻辑蕴含；增广律：若X→Y为F所逻辑蕴含，且，则XZ→YZ为F所逻辑蕴含；传递律：若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。