另一种方法是通过在昵称上定义检查约束来指定分区谓词。
Another alternative is to specify partitioning predicates by defining check constraints on nicknames.
统计视图是一种强大的、新型的统计，它可以表示复杂谓词或表之间的关系。
Statistical views are a powerful new form of statistics that represent relationships among complex predicates or across tables.
基数估计是这样一种过程：在应用了谓词或执行了聚集之后，优化器使用统计信息确定部分查询结果的大小。
Cardinality estimation is a process by which the optimizer USES statistics to determine the size of partial query results after predicates are applied or aggregation is performed.
原生查询为执行复杂查询提供了一种功能强大的方法，而且不需要学习新的查询语言或使用复杂对象结构对谓词建模。
Native queries provide a powerful way to execute complex queries without having to learn a new query language or resort to complicated object structures to model a predicate.
它看起来就像完全限定的UNIX文件名（比如 /abc/xxx/305xk），是一种用来表示谓词的语法。
It looks like a fully qualified UNIX filename (such as /abc/xxx/305xk), with a syntax for expressing predicates.
XSIEQ是一种立即计算谓词并即时输出的XML流查询系统。
XSIEQ(XML Stream Query with Immediate Evaluation) can evaluate predicates immediately and output in time.
本文提出了一种基于目标的方法，可以找到更多的候选方案，当查询的内置谓词只包含特征变量时该方法更加有效。
It can find more candidate solutions, and is more efficient when the built-in predicates of the query involve only distinguished variables.
从而形成了模糊谓词演算一种新的语构与语义体系。
Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
但这些谓词都是有限制的知性概念，只能表示一种限制，而不能表达真理。
Now these predicates are after all only limited formulae of the understanding which, instead of expressing the truth, merely impose a limit.
文中结合布尔代数，采用移除最小项的方法，提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
定义了基于代价分析的防御决策模型，并提出了一种基于谓词逻辑的防御知识表示方法。
Define the model of decision-making about defense based on cost analysis and providing an expression of defense knowledge based on predication logic.
介绍了一种立即计算谓词并即时输出的XML流数据查询系统XSIEQ。
XSIEQ(XML stream query with immediate evaluation), a kind of XML stream query system, can evaluate predicates immediately and output in time.
本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。
In the field of Machine Learning, this thesis is presents new method to learn constraint atoms from positive and negative examples in first-order predicate, based on developed ILP system.
封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法，也是完全可以引入本体知识库进行知识信息的增广完备的。
Closed World Assumption used in expanding the predicate logic clauses can also be taken into the ontological knowledge bases to finish the knowledge expansion there.
封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法，也是完全可以引入本体知识库进行知识信息的增广完备的。
Closed World Assumption used in expanding the predicate logic clauses can also be taken into the ontological knowledge bases to finish the knowledge expansion there.
应用推荐