1) elementary predicate
初等谓词
2) initial predicate
初始谓词
3) 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.
本文详细讨论了重写模块的设计思想与实现技术 ,并讨论了利用执行引擎特点引入的一组基于等价谓词的简单语句重写规则 。
4) equal predicate
相等谓词
5) predicate equation system
谓词等式系
6) predicate calculus with identity
带等式谓词演算
补充资料：递归谓词
递归谓词
recursive predicate
递归谓词[recur咖e predica.e;pe叮pc”Bnu益即e八”-KaT] 在自然数上定义的一个谓词(Predicate)p(x、，…，工。)，使得在自然数上由条件 fl，如果P(x、，一、x.)为真， I{X，.’‘.X_，=悦 to，如果尸(x，，…，x。)为假定义的函数f是一个递归函数(recursive灿Iction). B.E.fl月HcKO撰杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条