问题
单项选择题
设F是属性组U上的一组函数依赖,下列哪一条不属于Armp公理系统中的基本推理规则?()
A.若YX
U,则X→Y为F所逻辑蕴含
B.若X→Y为F所逻辑蕴含,且ZU,则XZ→YZ为F所逻辑蕴含
C.若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含
D.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
答案
参考答案:C
设F是属性组U上的一组函数依赖,下列哪一条不属于Armp公理系统中的基本推理规则?()
A.若YX
U,则X→Y为F所逻辑蕴含
B.若X→Y为F所逻辑蕴含,且ZU,则XZ→YZ为F所逻辑蕴含
C.若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含
D.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
参考答案:C