考题
归结策略大致可分为()两大类
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语句中用于排序结果集？（）A
Having子句B
Where子句C
From子句D
Order by子句
考题
判断题归结过程就是"寻找"空子句的过程。A
对B
错
考题
单选题归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略A
Ⅰ，ⅡB
Ⅰ，ⅢC
Ⅱ，ⅣD
Ⅲ，Ⅳ
考题
问答题支持集策略对参加归结的子句提出了什么限制？
考题
单选题反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A
永真式B
包孕式C
空子句
考题
填空题在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
考题
问答题什么是归结控制策略？什么样的归结控制策略是完备的？
考题
判断题使用having子句是为了限制group by子句返回的行的个数。A
对B
错
考题
填空题几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
考题
填空题在查询操作中，将查询结果按指定表达式进行分组的子句是（）；对查询的结果集进行排序的子句是（）。