科研之友
微信
新浪微博
Facebook
分享链接
摘要
区别于传统的关系数据库，面向对象的数据库系统需要全新的理论及方法上的基础。我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。
- 出版日期1994
- 单位中国科学院软件研究所
区别于传统的关系数据库，面向对象的数据库系统需要全新的理论及方法上的基础。我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。
