1) Concurrent object calculus
并发对象演算
3) Φ object calculus
Φ对象演算
4) concurrence Lambek calculus
并发的Lambek演算
1.
So,according to the operations of temporality,we built a new axiomatic system used in syntactic analysis which is called concurrence Lambek calculus(LCTQ),and use its categorial grammar to deal with the temporal querying language.
据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善。
5) object association calculus
对象关联演算
1.
Query processing techniques of the interactive interface system in CIMBASE system are dis- cussed in this paper,including the object association algebra,the object association calculus,and the transla- tion algorithms from the object association algebra to the object association calculus and from the object asso- ciation calculus to data languages of relational database systems.
主要讨论了 CIMBASE 的交互式界面系统的有关查询处理技术,其中包括对象关联代数、对象关联演算、对象关联代数到对象关联演算及对象关联演算到关系数据库语言的翻译算法、查询处理流程。
6) Lambda calculus of objects
对象式Lam bda演算
补充资料：Ski组合子演算
ski 组合子演算是一个计算系统，它是对无类型版本的 lambda 演算的简约。这个系统声称在 lambda 演算中所有运算都可以用三个组合子s、k和i来表达。
在这个系统中的所有函数可以只使用s、k、i的字母表和圆括号(分组符号)来表达。通常假定组合子是左结合的，从而在不影响执行次序的情况下精简表达式中的圆括号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条