面向对象的语义关联数据模型理论  

MODEL THEORY OF OBJECT-ORIENTED SEMANTIC ASSOCIATION DATA MODEL

作　　者：古新生[1] 陈清[1] 

机构地区：[1]西安交通大学CIMS研究中心,西安710049

出　　处：《软件学报》1993年第5期24-37,共14页Journal of Software

基　　金：国家高技术自动化领域CIMS面上课题

摘　　要：本文提出了“面向对象的语义关联数据模型(CIM-OSA DM)”理论,在扼要介绍CIM-OSA DM的基础上,侧重于形式化地定义“对象”、“对象类”及类之间的“语义关联”,按照“对象”和“对象类”统一的观点,又进一步形式化地定义了“对象相等”、“对象类相等”、“子对象类关系”以及“子对象关系”,并采用严格的数学证明论证了它们具有的重要性质,最后提出“对象代数”并形式化地定义对象可执行的几种代数运算。This paper presented a theory of object-oriented association data model (CIM-OSA DM) for the CIM environment. After brief introduction of CIM-OSA DM , it focused on the formal definition about the fundamental concepts of the model, including object, class, and semantic association among classes. From the united point of view of object and class,it further defined the conditions of equal objects and equal classes. The definitions of sub-object and sub-class were also given formally. Some important characteristics of sub-object and sub-class were proved. Finally, the concepts of object algebra and some operations on object were exploited.

关 键 词：关联数据模型 面向对象 数据库 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]