1) evaluation of predicates
谓词评价
2) equivalence predicate
等价谓词
1.
In this paper, we first discuss the methods of implementing a query rewrite module on the basis of rewrite technology and then put forward a set of simple rewrite rules based on equivalence predicate.
本文详细讨论了重写模块的设计思想与实现技术 ,并讨论了利用执行引擎特点引入的一组基于等价谓词的简单语句重写规则 。
3) expensive predicate
高价谓词
4) monovalent predicate verb
一价谓核动词
5) multivalent predicate verb
多价谓核动词
补充资料:谓词
分子式:
CAS号:
性质:在数理逻辑中,把命题的内部结构分析为具有主语和谓语的逻辑形式,与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头,谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
CAS号:
性质:在数理逻辑中,把命题的内部结构分析为具有主语和谓语的逻辑形式,与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头,谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条