Algebraic semantics of object-oriented data models

Author

Zamulin, A.V.

Author_Institution

Inst. of Inf. Syst., Acad. of Sci., Novosibirsk, Russia

fYear

1997

fDate

35674

Firstpage

43

Lastpage

52

Abstract

An algebraic semantics of object oriented data models is presented. Particular attention is paid to the following features typical of the object oriented programming paradigm: complex mutable and immutable objects, object identity, object sharing, object types and type categories, inheritance, overloading, overriding, and late binding. The tools proposed in the paper can serve as a mechanism for the formal definitions of different data models and as a basis for the development of future data models

Keywords

abstract data types; formal specification; object-oriented databases; object-oriented programming; type theory; algebraic semantics; formal definitions; future data models; immutable objects; inheritance; late binding; mutable objects; object identity; object oriented data models; object oriented programming paradigm; object sharing; object types; overloading; overriding; type categories; Algebra; Computer languages; Concrete; Data models; Informatics; Logic programming; Object oriented modeling; Object oriented programming; Programming profession; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Technology of Object-Oriented Languages, 1997. TOOLS 24. Proceedings

Conference_Location

Beijing

Print_ISBN

0-8186-8551-4

Type

conf

DOI

10.1109/TOOLS.1997.713526

Filename

713526