1) predicate equation system
谓词等式系
2) nested predicate equations
嵌套谓词等式系
1.
In this paper, a local model-checking algorithm is developed by applying the nested predicate equations.
首次将嵌套谓词等式系应用到带递归的谓词界程逻辑模型检测中,提出了第1个时间复杂性与逻辑公式的交错嵌套深度呈指数关系的局部模型检测算法,这也是目前已知的第2个带递归的谓词界程逻辑模型检测算法。
3) predicate calculus with identity
带等式谓词演算
4) 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.
本文详细讨论了重写模块的设计思想与实现技术 ,并讨论了利用执行引擎特点引入的一组基于等价谓词的简单语句重写规则 。
5) elementary predicate
初等谓词
6) equal predicate
相等谓词
补充资料:系狗当系颈
1.比喻办事当抓住关键。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条