ISRO | ISRO CS 2007 |问题51

阿姆斯特朗的推理规则不能决定 （A） 自反性 （B） 增强 （C） 及物性 （D） 相互依赖 答复: （D） 说明： Armstrong推理规则是指一组推理规则，用于推断关系数据库上的所有函数依赖关系。它由以下公理组成：

自反性公理： 这个公理表明：如果Y是X的子集，那么X决定Y 扩充公理： 增广公理，也被称为部分依赖，表示如果X决定Y，那么XZ决定YZ，对于任何Z 及物性公理： 及物性公理说，如果X决定Y，Y决定Z，那么X也必须决定Z。

因此，选项（D）是正确的。 这个问题的小测验