| 面向对象数据库系统的代数模型 |
| |
| 引用本文： | 杨立. 面向对象数据库系统的代数模型[J]. 计算机研究与发展, 1994, 31(1): 9-11 |
| |
| 作者姓名： | 杨立 |
| |
| 作者单位： | 中国科学院软件研究所 |
| |
| 摘 要： | 区别于传统的关系数据库，面向对象的数据库系统需要全新的理论及方法上的基础。我们希望能够并面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。
|
| 关 键 词： | 数据库 面向对象 代数模型 |
On the Algebraic Model of Object-Oriented Database Systems |
| |
| Yang Li. On the Algebraic Model of Object-Oriented Database Systems[J]. Journal of Computer Research and Development, 1994, 31(1): 9-11 |
| |
| Authors: | Yang Li |
| |
| Abstract: | 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. |
| |
| Keywords: | data models database systems algebraic specification. |
| 本文献已被 CNKI 维普 等数据库收录！ |
