名词解析

推理规则的正确性和完备性

正确答案

正确性是指,如果X→Y是从推理规则推出的,那么X→Y在F+中。完备性是指,不能从F使用推理规则导出的函数依赖不在F+中。

答案解析

相似试题
  • 函数依赖完备的推理规则集包括()、()和()。

    填空题查看答案

  • 规则演绎系统和产生式系统有哪几种推理方式?各自的特点为何?

    简答题查看答案

  • 好模型的应该符合的条件是()①规范性;②正确性;③一致性;④完备性;⑤独立性

    单选题查看答案

  • 如果Y⊆X⊆U,则X→Y成立,这条推理规则称为();如果X→Y和WY→Z成立,则WX→Z成立,这条推理规则称为()。

    填空题查看答案

  • 如果X→Y和X→Z成立,那么X→YZ也成立,这个推理规则称为()。

    填空题查看答案

  • 若X→Y和Y→Z在关系模式R上成立,则X→Z在R上也成立。该推理规则称为()。

    单选题查看答案

  • 计算机系统安全与保护指计算机系统的全部资源具有()、完备性和可用性。

    单选题查看答案

  • Amrstrong公理系统的三条基本推理规则有()

    多选题查看答案

  • 分布式数据库中定义数据分片时,必须满足三个条件:完备性条件、重构条件和()。

    填空题查看答案