1) Φ object calculus
Φ对象演算
2) 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 的交互式界面系统的有关查询处理技术,其中包括对象关联代数、对象关联演算、对象关联代数到对象关联演算及对象关联演算到关系数据库语言的翻译算法、查询处理流程。
3) Lambda calculus of objects
对象式Lam bda演算
4) Concurrent object calculus
并发对象演算
5) refinement Calculus of Object Systems(rCOS)
对象精化演算系统
1.
This paper proposes refinement Calculus of Object Systems(rCOS)based on Unifying Theories of Programming(UTP)to specify the formal semantic of UML state-chart,which overcomes the limitation in the semantic research.
针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。
6) DOOD
演绎对象库
1.
Combining deductive database with object orient database,deductive object orient database (DOOD) becomes as a new database system.
基于复杂对象的演绎技术及其实现一直是该领域研究中的热点 ,讨论演绎对象库系统 FLOORS中集合的语义、语法及其实现技
补充资料：BH(φH)仪
分子式：
CAS号：
性质：一种用工频(50Hz)交变磁场测定磁滞回线及相应磁性能参数的仪器。能自动计算Hc、Br、Bm值及SFD值，并能打印出磁滞回线和微分曲线等。
CAS号：
性质：一种用工频(50Hz)交变磁场测定磁滞回线及相应磁性能参数的仪器。能自动计算Hc、Br、Bm值及SFD值，并能打印出磁滞回线和微分曲线等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条