归结策略大致可分为()两大类 A、递归策略循环策略B、限制策略循环策略C、删除策略递归策略D、删除策略限制策略
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。 A.永真式B.包孕式(subsumed)C.空子句
归结策略中,()是完备的。 A.线性输入策略,支持集策略B.线性输入策略,单文字策略C.支持集策略,祖先过滤策略D.单文字策略,祖先过滤策略
下列的哪个子句在SELECT语句中用于排序结果集?() A.Having子句B.Where子句C.From子句D.Order by子句
归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略A、Ⅰ，ⅡB、Ⅰ，ⅢC、Ⅱ，ⅣD、Ⅲ，Ⅳ
什么是归结控制策略？什么样的归结控制策略是完备的？
使用having子句是为了限制group by子句返回的行的个数。
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A、永真式B、包孕式C、空子句
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
SELECT语句的FOR XML子句支持几种XML转换模式，分别是什么模式？
在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
在查询操作中，将查询结果按指定表达式进行分组的子句是（）；对查询的结果集进行排序的子句是（）。
下列的哪个子句在SELECT语句中用于排序结果集？（）A、Having子句B、Where子句C、From子句D、Order by子句
单选题下列的哪个子句在SELECT语句中用于排序结果集？（）AHaving子句BWhere子句CFrom子句DOrder by子句
单选题归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略AⅠ，ⅡBⅠ，ⅢCⅡ，ⅣDⅢ，Ⅳ
单选题反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A永真式B包孕式C空子句
填空题在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
问答题什么是归结控制策略？什么样的归结控制策略是完备的？
判断题使用having子句是为了限制group by子句返回的行的个数。A对B错
填空题几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
填空题在查询操作中，将查询结果按指定表达式进行分组的子句是（）；对查询的结果集进行排序的子句是（）。