The Evolving Algebra Semantics of Class and Role Hierarchies

Georg Gottlob, Michael Schrefl

Research output: Chapter in Book/Report/Conference proceedingConference proceedingspeer-review

Abstract

The formal description of the semantics of object-oriented data models is still a heavily debated research problem. This paper shows how evolving algebras provide an elegant way to specify the operational semantics of bject-oriented data models. In particular, we define the formal semantics of a novice feature of object-oriented data models proposed recently by different authors: role hierarchies. As opposed to traditional class hierarchies, role hierarchies allow objects to dynamically acquire multiple independent types.
Original languageEnglish
Title of host publicationSemantics in Databases
Editors B. Thalheim, L. Libkin
PublisherSpringer Verlag Deutschland
Pages92-113
Number of pages22
Volume1358
ISBN (Print)3-540-64199-8
Publication statusPublished - 1998

Publication series

NameLecture Notes in Computer Science (LNCS)

Fields of science

  • 102 Computer Sciences
  • 102015 Information systems

Cite this