Schema Evolution and Versioning: A Logical and Computational Characterisation

  • Authors:
  • Enrico Franconi;Fabio Grandi;Federica Mandreoli

  • Affiliations:
  • -;-;-

  • Venue:
  • FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
  • Year:
  • 2000

Quantified Score

Hi-index 0.01

Visualization

Abstract

In this paper we study the logical and computational properties of schema evolution and versioning support in object-oriented databases. To this end, we present the formalisation of a general model for an object base with evolving schemata and define the semantics of the provided schema change operations. We will then sketch how the encoding of such a framework in a suitable Description Logic will allow the introduction and solution of interesting reasoning tasks at global database and single schema version levels.