A Formal Definition of the Chimera Object-Oriented Data Model

  • Authors:
  • Giovanna Guerrini;Elisa Bertino;René Bal

  • Affiliations:
  • Dipartimento di Informatica e Scienze dell‘Informazione, Università di Genova, Via Dodecaneso, 35 -16146 Genova, Italy. E-mail: guerrini@disi.unige.it;Dipartimento di Scienze dell‘Informazione, Università di Milano, Via Comelico, 39 - 20133 Milano, Italy. E-mail: bertino@dsi.unimi.it;Computer Science Department, University of Twente, P.O. Box 217 - 7500 AE Enschede, The Netherlands. E-mail: rene@cs.utwente.nl

  • Venue:
  • Journal of Intelligent Information Systems
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we formalize the object-oriented data model ofthe Chimera language. This language supports all the commonfeatures of object-oriented data models such as objectidentity, complex objects and user-defined operations, classes,inheritance.Constraints may be defined by means of deductive rules, usedalso to specify derived attributes.In addition, class attributes, operations,and constraints that collectively apply to classes aresupported.The main contribution of our work is to define a completeformal model for an object-oriented data model, and to address on a formalbasis several issues deriving from the introduction of rules into anobject-oriented data model.