谓词

1.使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题。

2.容器的键值等同性谓词。

3.直方图用于计算谓词的选择率。

4.谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。

5.如果在基于字符串的查询谓词周围使用双引号，而不是单引号，就会收到语法错误。

6.本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。

7.在对授权规则建模时，如果缺省人员谓词集无法满足需要，您可以修改现有的谓词或向谓词集添加新谓词。

8.谓词的工作原理类似于：对于每个节点，引擎使用上下文处理谓词。

9.在谓词演算的反驳树中，被证明的合式公式。

10.讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

11.一个例外是在V8中，由于MQT路由限制，任何查询谓词引用的事实表列都必须包括在统计视图中。

12.谓词演算与程序语义。

13.换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。

14.表示您的组织规则的参数化人员谓词是作为人工任务模型的一部分存储的，并将与人工任务或业务流程模型EAR文件一起部署。

15.得到的参数化人员谓词存储为人工任务模型的一部分。

16.同语句是一种常见的语言现象,体词、谓词、加词等可以有条件出现在它的主宾位上.

17.主词，谓词，受词都是实体的名称。实体在真实世界中，可以是具体的或是抽象的。

18.在那个谓词中，还可以再次向下钻取，以添加另一个谓词。

19.所以，为了避免一些繁琐的重复代码，本库定义了一些谓词用于在比较前应用间接性。

20.另一种选择是使用小写希腊字母来表示这种元变量谓词。