面向对象数据库类型继承关系的代数模型  

On the Algebraic Model of Inheritance in Object-Oriented Databases

作　　者：杨立[1] 

机构地区：[1]中国科学技术大学计算机科学系,合肥230027

出　　处：《计算机研究与发展》1993年第11期8-14,共7页Journal of Computer Research and Development

摘　　要：本文将对象类型看做一种行为,而把子类型看做与这种行为相兼容的一种特化。基于这种想法,本文通过扩展有序代数(Order-Sorted Algebra)提出一种类型与子类型之间继承关系的代数模型,根据运算是否完全兼容将子类型划分为完全子类型与不完全子类型,并且解决了由于类型继承导致运算重叠而引起的二义性问题.By extending order-sorted algebra,this paper develops an algebraic model of subtype based on the idea that a type is a form of behavior and a subtype is a behaviorally compatible specialization of the behavior Subtypes are classified into complete and partial subtypes due to the preservation of complete or partial behavioral compatibility.The problem of ambiguity caused by overloading of functions is also solved.

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

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