查询词典 unbounded quantifier

And then discuss the calculation of abnormal re-integration, including the anomalous unbounded re-integration , abnormal weight function unbounded integral.

然后讨论了反常重积分的计算，包括ie8区域上的反常重积分，ie8函数的反常重积分。

Peirce ; quantifier ; semiotics ; index ; algebra of logic ; existential graphs ; line of identity

皮尔士；量词；指号学；索引；逻辑代数；存在图表；等值线

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方法；集合的上集/下集；正则公式

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。