子句的

The scope of a variable bound in a for or let clause comprises all subexpressions of the containing FLWOR expression that appear after the variable binding.

for子句或者let子句中变量绑定的作用域，包括所属FLWOR表达式中变量绑定后的所有子表达式。

SELECT ColumnA, ColumnB FROM T GROUP BY ColumnA + ColumnB SELECT ColumnA + constant + ColumnB FROM T GROUP BY ColumnA + ColumnB.

GROUP BY 子句中的运算式可在 FROM 子句中包含资料表、衍生资料表或检视表的资料行。

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

The optimization methods of database SQL query were studied and some available query optimization Methods were given out as follows: The incompatible data type should avoid to be used; More redundancy search parameters should be given as join condition in join query; In some condition, the number of note hitted to target was estimated by optimizing implement using the average density; Some other maths operating symbol should avoid to be used as condition parameters in WHERE clause; Some operating symbol and its sentence should avoid to be used also; When the cluster function was used,the WHERE clause should be paied attention to more,and so on.

作者单位：（重庆工学院商贸信息学院，重庆 400050）摘要：数据库SQL查询语句的优化，须注意：避免使用不兼容数据类型；连接查询中应多给连接条件提供一些冗余的搜索参数；某种条件下优化器只能使用其平均密度以估计命中的记录数；避免对WHERE子句中条件参数使用其它数学操作符；避免使用某些操作符及相应语句；聚簇函数的使用应注意WHERE子句。

This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause, and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).

该增强方式对概念描述先构建一个析取范式，并只保留其中的一个合取子句，然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）。

Moreover, this study also finds the nominal clauses of impersonal construction is the only clause pattern, which uses subjunctive mood most frequently.

此外，本研究也发现无人称结构的名词子句是唯一虚拟式动词的使用频率高过陈述式动词的子句类型。

The satisfiability of conjunction normal form is a typical NP-complete problem. To study the complexity of SAT problem, a new concept of saturated clause muster has been introduced with using the characteristic of saturated clause muster. The sufficient condition of SAT problem was approved to be a polynomial and has opened out essential distinction of 2SAT and 3SAT problems.

合取范式可满足性问题是典型的NP完全问题，本文引入了一个饱和子句集的新概念，利用饱和子句集的特性，研究了SAT问题的复杂性，证明了SAT问题复杂性为多项式的一个充分条件，并揭示了二元可满足性问题与三元可满足性问题的本质差别。

If there is not reflexive dependent relation among the head literals of the all k free clauses occurred in the program, then the k—th limit is its supported model.

如果G中含k个自由子句，并且这k个子句头中出现的文字不含自反依赖关系，则它的k次极限就是其支持模型。

Some experiments show that,with a clauses ontology,some clauses which do not match current goals are not considered early enough,and, therefore, the size of the goal solution tree may be reduced.

实验表明，通过对Prolog子句建立本体，可以尽早地去除与当前目标明显不匹配的子句，从而使得目标求解树的规模减小。

Through the definition of behavioral synthesis meaning of AFTER clauses, the enhanced ASAP and ALAP algorithm under AFTER clause delay time constraints is presented. The scheduling model under AFTER clause delay time constraints is also presented. The scheduling model is resolved by ILP.

通过对其行为综合语义的定义，给出了在AFTER子句时延约束下的ASAP和ALAP算法，建立了AFTER子句时延约束下的调度模型，并采用整数线性规划法求解调度模型。

He and Nina moved to California and lived at 2005 Ivar Street, Apt.

他和Nina搬到加州，并在2005年伊瓦尔街，公寓生活。

Droperidol （ potently inhibits transfected HERGchannels and this is the probable mechanism for QT prolongation.

氟哌利多有效地抑制了转染的 HERG 钾通道，可能是 QT 间期延长的机制。