单选题
下列哪些条不属:Armstrong公理系统中的基本推理规则?( )
Ⅰ.若Y? X,则X→Y Ⅱ.若X→Y,则XZ→YZ
Ⅲ.若X→Y,且
A
B
C
D
【正确答案】
C
【答案解析】
[解析] “Armstrong公理”为设U是关系模式R的属性集,F是R上成立的只涉及U中属性的函数依赖集。函数依赖的推理规则有以下三条。
自反律:若属性集Y包含于属性集X,属性集X包含于U,则X→Y在R上成立(此处X→Y是平凡函数依赖)。
增广律:若X→Y在R上成立,且属性集Z包含于属性集U,则XZ→YZ在R上成立。
传递律:若X→Y和Y→Z在R上成立,则X→Z在R上成立。
提交答案
关闭