面向对象数据库系统的代数模型  

On the Algebraic Model of Object-Oriented Database Systems

作　　者：杨立[1] 

机构地区：[1]中国科学院软件研究所

出　　处：《计算机研究与发展》1994年第1期9-11,共3页Journal of Computer Research and Development

摘　　要：区别于传统的关系数据库，面向对象的数据库系统需要全新的理论及方法上的基础。我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。In contrast to the theory of conventional relational databases, there is a need to explore the theoretical and methodological foundations of object-oriented database systems. Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems. In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.

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

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