子句的

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

But with each update, in the where clause an extra condition is added that specifies the version of the object that was originally loaded.

但是对每次更新，一个额外的用来指定初始装载的对象的版本的条件会增加在 where 子句中。

User errors include deleting the wrong rows because of incorrect values in a WHERE clause, updating rows with incorrect values, dropping the wrong index, and so forth.

常见的用户操作中的逻辑错误有：因为在 WHERE 子句中使用了不正确的值而删除了错误的数据行，将数据行更新为错误的值，错误地移除了索引等。

It does not truncate the data of other sessions that are using the same

Oracle提供的工具可以导出/导入临时表的定义，但无法导出其中的数据，即使使用 ROWS 子句也是无效的。

On the contrary, logic programming languages, based on Horn clause logic and resolution, allow existentially quantified variables and partial data structures but lack both deterministic evaluation and lazy evaluation.

相反，基于HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质。

This paper proposes one set and makes two stage type methods to label the language material automatically, read through machine dictionary bilingual resource utilize second interpreter vocabulary of language since at first, try to distinguish the meaning of a word that the primitive language polysemant gathered together, regard it as the seed sentence to take out the sentence of the meaning of a word purely.

本文提出一套自动取得标示语料的两阶段式方法，首先透过机读字典自双语资源中利用第二语言的翻译词汇，设法辨识原始语多义词汇的词义，将粹取出词义之句子作为种子句。

A rethrow is valid only from inside a catch clause, or in a function called directly or indirectly from a catch. Its effect is to rethrow the exception object that it received.

只有捕获子句或者从 catch 直接或间接调用的函数中的重新抛出才有效，其效果是将接到的异常对象重新抛出。

In Chinese pseudo-cleft sentences, it is always a nominalization that functions as Theme, and the remainder of the sentence functions as Rheme.

通过分析所收集的语料发现：在假型分裂句中，总是由一个名物化子句充当句子的主位，其余的成分充当述位。

If an order by clause is present, it reorders the tuples in the tuple stream into a new, value-based order.

如果存在order by子句，它以一个新的，基于值的次序排序元组流中的元组。

But the purpose is for us to know that, even though the devil moves every stone to destroy Christ's grace, and though God's enemies also rage with the same savage fury, it cannot be extinguished; nor can Christ's blood be made barren, nay, even some good may come of it.

「我信教会」这一子句是在使我们知道：虽然魔鬼想尽诡计来毁灭基督的恩典，而上帝的一切敌人也要施展狂暴以求达到同一目的，然而祂的恩典总不可能被消灭，而祂的宝血也决不会落空，归於徒然，必定成就善工。

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 间期延长的机制。