| 摘要: |
| 本文提出了“面向对象的语义关联数据模型(CIM-OSA DM)”理论,在扼要介绍CIM-OSA DM的基础上,侧重于形式化地定义“对象”、“对象类”及类之间的“语义关联”,按照“对象”和“对象类”统一的观点,又进一步形式化地定义了“对象相等”、“对象类相等”、“子对象类关系”以及“子对象关系”,并采用严格的数学证明论证了它们具有的重要性质,最后提出“对象代数”并形式化地定义对象可执行的几种代数运算。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| MODEL THEORY OF OBJECT-ORIENTED SEMANTIC ASSOCIATION DATA MODEL |
|
Gu Xinsheng,Chen Qing
|
| Abstract: |
| 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-calss were proved.Finally,the concepts of object algebra and some operations on object were exploited. |
| Key words: |
