查询词典 existential 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.

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

The existential import is needed only when we make the following three kinds of inferences in categorical logic: conversion by limitation,the syllogisms with existential conclusions and two universal premises,and the inferences of contrariety an...

词项逻辑中涉及预设的地方仅为有限量换位推理，两个全称前提推出特称结论的三段论推理及反对关系推理和下反对关系推理所需预设均为：主项存在。从操作层面上看周延规则不是普遍适用的；从深层次来看，如考虑到预设，那么周延规则是普遍适用的。

This paper analyses the inner and outer motivations of the existential construction, pointing out that the reason for the word THERE to be in the first position of an existential construction is that THERE substitutes the locative PP in the inverted English sentences.

本文首先对英语存现句的句式意义进行了细致分析和阐述，继而从认知的角度分析了英语存现句得以形成的内部理据和外部动因，指出THERE位于存现句句首起初是为了替代倒装结构中的处所短语PP，这导致了英语存现句的最终形成。

The object of Yalom's theory of existential psychotherapy is removing the obstacle to individual development, the core of its method is emphasizing on "here-and-now", and pays great attention to the effect of relations between psychotherapist and patient Yalom have advanced a practical model of psychopathology for the school of existential psychotherapy, provided a valuable interpreting framework for counseling and psychotherapy to treat the general human problems, decreased the possibility of psychotherapy to being a unhumanized mechanizing process, and contributed to integration of the theory and practice of psychotherapy.

雅洛姆为存在心理治疗学派提出了一个实用的心理病理学模型，为心理治疗与咨询处理一般性的人类问题提供了一个有价值的解释框架，减少了心理治疗成为非人性化的机械过程的可能性，对整合心理治疗的理论与实践也有贡献。

This study utilizes the perspectives of phenomenological approach and existential analysis to understand the common meaning and existential status of care through the description of care-giving and care-receiving experiences by both psychiatric patients and their families.

本研究运用现象学方法和存在分析的观点，透过精神病患与家人所描述的照顾与被照顾的看法、感受和经验，来理解及展现照顾存在性的议题。

Such dramatic tragedy as The Glass Menagerie is to explore the existential conditions of the characters, which is a reflection of human existential conditions.

像《玻璃动物园》这样的悲剧旨在探索人物的生存状况，这也是人类生存状况的一种集中反映。

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。