News

Student tutors for the course Data Modelling wanted (winter term 2021/22)


IT-Project Data Souvereignty in winter termin 2021/22


Business Intelligence: Washing Gold in Times of Information Overload


See all news.


Campusplan

campusplan_image

You can find us here.




Semantics of Object-Oriented Data Models - The Evolving Algebra

Authors: G. Gottlob, G. Kappel, M. Schrefl
Paper: Gott90a (1990)
Citation: J. W. Schmidt, A. A. Stogny (eds.): Next Generation Information System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990, Springer Verlag, Lecture Notes in Computer Science, LNCS Vol. 504, ISBN 3-540-54141-1, pp. 144-160, 1990.
Resources: BibTeX


Abstract:

The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and inheritance, involve investigating data and schema. Therefore they can not be handled straightforwardly with first order logic. As an alternative, we propose the evolving algebra approach to specify the formal semantics of object-oriented data models. Evolving algebras provide a framework for defining the operational semantics of programming languages based on dynamic structures. In this paper we show how evolving algebras can be used in particular to define the operational semantics of object creation, of overriding and dynamic binding, and of inheritance at the type level (type specialization) and at the instance level (object specialization).