查询词典 existing quantifier

The paper studied the query language of linear order constraint with existential quantifier under canonical forms.

本文考察了带存在量词的基于代数的线性序约束查询语言，给出其基本运算的定义和实施算法。

The algorithms of algebraic query operations were given. With existential quantifier, we could reduce the cost of exact projection.

不对存在量词进行消去，可以减少计算精确投影的一些开销，还能表达包含无穷约束元组的线性序约束关系。

The former is bound by operator gen and the latter is bound by existential quantifier.

类指性由类指算子gen约束，存在性由存在量词约束。

The most plausible suggestion is that Lewis and Unger assign different meanings to the existential quantifier, '' (as well as quantificational phrases like 'there are', 'there is', and 'some').

最合理的建议是，L和U指派了不同的意思给存在量词，""（也就是量词表达"存在"、"有"、"一些"等）。

Based on monoid comprehension, we presented an extendable object query translation algorithm which can deal with nested subquery, query with existential and universal quantifier, query with aggregate function, query with sort/group. This algorithm converted the query into joins to the utmost to expect different physical implementations of join to raise execution efficiency.

基于幺群概括，我们提出了一个可扩充的对象查询转换算法，该算法可以处理嵌套子查询、带存在量词和全称量词的查询、带聚集函数的查询、带分组/排序的查询，具有较强的通用性，该算法也体现了我们尽可能地将查询转换成连接以期望用连接的多种物理算法提高执行效率的查询优化思想。

In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.

另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。

Quantifier is one of key conceptions in logic, especially in modern logic. It always plays an important role in logical analysis and linguistical analysis.

量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性。

Many valued logic ; quantifier ; Tableau method ; upset/downset in set ; regular formula

多值逻辑；量词； Tableau方法；集合的上集/下集；正则公式

When you use a quantifier, you want it to match everything up to the point where you want to finish your match.

当您使用a量词，你希望它符合一切of权排序）最多的地方要完成您的比赛。

After a number, quantifier, or partitive noun, with the word denoting the whole functioning as the head of the phrase.

用于数词、量词或表部分的词后面，表示整体起中心词的作用〕的

But this is impossible, as long as it is engaging in a market economy, there are risks in any operation.

但是，这是不可能的，只要是搞市场经济，是有风险的任何行动。

We're on the same wavelength.

我们是同道中人。