A formal model for temporal schema versioning in object-oriented databases

  • Authors:
  • Fabio Grandi;Federica Mandreoli

  • Affiliations:
  • Dipartimento di Elettronica Informatica e Sistemistica, CSITE-CNR, Alma Mater Studiorum--Università di Bologna, Viale Risorgimento 2, I-40136 Bologna, Italy;Dipartimento di Ingegneria dell'Informazione, Università di Modena e Reggio Emilia, Via Vignolese 905, I-41100 Modena, Italy

  • Venue:
  • Data & Knowledge Engineering
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we present a formal model for the support of temporal schema versions in object-oriented databases. Its definition is partially based on a generic (ODMG compatible) object model and partially introduces new concepts. The proposed model supports all the schema changes which are usually considered in the OODB literature, for which an operational semantics and a formal analysis of their correct behaviour is provided. Semantic issues arising from the introduction of temporal schema versioning in a conventional or temporal database (concerning the interaction between the intensional and extensional levels of versioning and the management of data in the presence of multiple schema versions) are also considered.