"不能从已知的FD集使用推理规则导出的FD不在F+中"，这是推理规则的（）性。

[填空题] 从已知的FD集使用推理规则导出的FD在F+中"，这是推理规则的（）性。

如果X→Y，并且Y X，则称X→Y是平凡的FD。根据推理规则的自反律可推出。什么是平凡的FD?平凡的FD可根据哪一条推理规则推出?

[填空题] 反向推理是从（）出发，反向使用规则，求证已知的事实。

[单选题]演绎推理中最常用的是推理规则的（）A . 演绎法B . 归纳法C . 演绎三段论D . 归纳三段论

[单选题]充分条件推理有（）个推理规则。A .一B .二C .三D .四

[单选题]必要条件推理有（）个推理规则。A .五B .四C .三D . D.二

[名词解释] 推理规则的正确性和完备性

[问答题,论述题] 试由amstrong 公理系统推导出下面三条推理规则

[单选题]设关系模式R（A，B，C，D），F是R上成立的FD集，F＝{A→BC}，ρ＝{AB，AC，AD｝是R上的一个分解，那么分解ρ（）。A . 是无损连接分解，也是保持FD的分解B . 是无损连接分解，但不保持FD的分解C . 不是无损连接分解，但保持FD的分解D . 既不是无损连接分解，也不保持FD的分解

[单选题]不符合Armstrong 推理规则。A．若X→Z，X→Y，则有X→YZB．若X→Y，WY→Z，则有XW→ZC．若X→Y，Z→Y，则有X→ZD．若XZ→Y，则有X→Z