论文部分内容阅读
数据模型的形式化描述是面向对象的数据库研究的理论基础。ODMDBD是作者正在开发的一个面向对象的数据库模型。本文运用集合论、偏序关系等数学工具,对面向对象的数据模型的许多概念给出了形式定义,包括对象、对象标识、模式、方法、基调、继承性等,在此基础上给出了面向对象的数据库的定义。本文旨在建立一个面向对象数据模型的形式框架。