设F是属性组 U上的一组函数依赖,下列哪一条不属于Armstrong 公理系统中的基本推理规则
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
查看答案
正确答案: A 答案分析:无
包含此试题的试卷:
相关的试题
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
设有关系模式 SC( Sno, Sname, Sex, Birthday, Cno, Cname, Grade, Tno, Tname)满足函数 依赖集: {Sno→Sname, Sno→Sex, Sno→Birthday, Cno→Cname, (Sno, Cno)→Grade, Tno→ Tname}.SC 的主码和属性集( Sno, Tno)的闭包分别是
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
A.若X→Y及X→Z为F所逻辑蕴含,则 X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且 ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y +Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含