支持集策略对参加归结的子句提出了什么限制？

题目

支持集策略对参加归结的子句提出了什么限制？

相似考题

1.归结策略大致可分为()两大类A、递归策略循环策略B、限制策略循环策略C、删除策略递归策略D、删除策略限制策略

2.归结策略中,()是完备的。A.线性输入策略,支持集策略B.线性输入策略,单文字策略C.支持集策略,祖先过滤策略D.单文字策略,祖先过滤策略

3.下列的哪个子句在SELECT语句中用于排序结果集?()A.Having子句B.Where子句C.From子句D.Order by子句

4.反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。A.永真式B.包孕式(subsumed)C.空子句

更多“支持集策略对参加归结的子句提出了什么限制？”相关问题

  • 第1题：

    归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略

    • A、Ⅰ，Ⅱ
    • B、Ⅰ，Ⅲ
    • C、Ⅱ，Ⅳ
    • D、Ⅲ，Ⅳ

    正确答案:C

  • 第2题：

    使用having子句是为了限制group by子句返回的行的个数。


    正确答案:正确

  • 第3题：

    几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。


    正确答案:删除

  • 第4题：

    SELECT语句的FOR XML子句支持几种XML转换模式，分别是什么模式？


    正确答案:SELECT 语句的 FOR XML子句支持4种 XML 转换模式，分别是RAW、AUTO、EXPLICIT 或 PATH模式。

  • 第5题：

    子句集的化简的步骤？‘


    正确答案:（1）消去连接词“→”和“↔”（2）减少否定符号的辖域（3）对变元标准化（4）化为前束范式（5）消去存在量词（6）化为Skolem标准形（7）消去全称量词（8）消去合取词（9）更换变量名称

  • 第6题：

    在查询操作中，将查询结果按指定表达式进行分组的子句是（）；对查询的结果集进行排序的子句是（）。


    正确答案:group by；order by

  • 第7题：

    问答题
    子句集的化简的步骤？‘

    正确答案： （1）消去连接词“→”和“↔”（2）减少否定符号的辖域（3）对变元标准化（4）化为前束范式（5）消去存在量词（6）化为Skolem标准形（7）消去全称量词（8）消去合取词（9）更换变量名称
    解析： 暂无解析

  • 第8题：

    判断题
    归结过程就是"寻找"空子句的过程。
    A

    对

    B

    错


    正确答案： 对
    解析： 暂无解析

  • 第9题：

    问答题
    支持集策略对参加归结的子句提出了什么限制？

    正确答案： 支持集策略要求在每次归结时，亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。
    解析： 暂无解析

  • 第10题：

    填空题
    在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。

    正确答案： 纯文字
    解析： 暂无解析

  • 第11题：

    判断题
    使用having子句是为了限制group by子句返回的行的个数。
    A

    对

    B

    错


    正确答案： 对
    解析： 暂无解析

  • 第12题：

    填空题
    在查询操作中，将查询结果按指定表达式进行分组的子句是（）；对查询的结果集进行排序的子句是（）。

    正确答案： group by,order by
    解析： 暂无解析

  • 第13题：

    什么是归结控制策略？什么样的归结控制策略是完备的？


    正确答案: 对子句集S进行归结时，如果采用盲目的、全面的归结，其结果将产生大量的不必要的归结式，如果要在计算机上实现，不但浪费计算机的存储空间，而且要浪费大量的计算时间。
    为了解决这一问题，研究如何选择合适的子句进行归结，以避免多余的、不必要的归结式的出现，这就是归结控制策略。
    归结控制策略有完备与不完备之分。
    如果子句集S是不可满足的，当且仅当用某归结控制策略能够归结出空子句。
    则称该归结控制策略为完备的归结控制策略。

  • 第14题：

    反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

    • A、永真式
    • B、包孕式
    • C、空子句

    正确答案:C

  • 第15题：

    谓词公式与其子句集的关系是（）。


    正确答案:包含

  • 第16题：

    在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。


    正确答案:纯文字

  • 第17题：

    归结过程就是"寻找"空子句的过程。


    正确答案:正确

  • 第18题：

    下列的哪个子句在SELECT语句中用于排序结果集？（）

    • A、Having子句
    • B、Where子句
    • C、From子句
    • D、Order by子句

    正确答案:D

  • 第19题：

    单选题
    下列的哪个子句在SELECT语句中用于排序结果集？（）
    A

    Having子句

    B

    Where子句

    C

    From子句

    D

    Order by子句


    正确答案： B
    解析： 暂无解析

  • 第20题：

    单选题
    归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略
    A

    Ⅰ，Ⅱ

    B

    Ⅰ，Ⅲ

    C

    Ⅱ，Ⅳ

    D

    Ⅲ，Ⅳ


    正确答案： D
    解析： 暂无解析

  • 第21题：

    单选题
    反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
    A

    永真式

    B

    包孕式

    C

    空子句


    正确答案： C
    解析： 暂无解析

  • 第22题：

    问答题
    什么是归结控制策略？什么样的归结控制策略是完备的？

    正确答案： 对子句集S进行归结时，如果采用盲目的、全面的归结，其结果将产生大量的不必要的归结式，如果要在计算机上实现，不但浪费计算机的存储空间，而且要浪费大量的计算时间。
    为了解决这一问题，研究如何选择合适的子句进行归结，以避免多余的、不必要的归结式的出现，这就是归结控制策略。
    归结控制策略有完备与不完备之分。
    如果子句集S是不可满足的，当且仅当用某归结控制策略能够归结出空子句。
    则称该归结控制策略为完备的归结控制策略。
    解析： 暂无解析

  • 第23题：

    填空题
    几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

    正确答案： 删除
    解析： 暂无解析

相关内容