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.

Schema evolution and versioning: a logical and computational characterisation / Mandreoli, Federica; E., Franconi; F., Grandi. - STAMPA. - LNCS 2065:(2000), pp. 85-99. (Intervento presentato al convegno 9th International Workshop on Foundations of Models and Languages for Data and Objects (FMLDO) tenutosi a Dagstuhl, Germany nel September 2000).

Schema evolution and versioning: a logical and computational characterisation

MANDREOLI, Federica;
2000

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.
2000
9th International Workshop on Foundations of Models and Languages for Data and Objects (FMLDO)
Dagstuhl, Germany
September 2000
LNCS 2065
85
99
Mandreoli, Federica; E., Franconi; F., Grandi
Schema evolution and versioning: a logical and computational characterisation / Mandreoli, Federica; E., Franconi; F., Grandi. - STAMPA. - LNCS 2065:(2000), pp. 85-99. (Intervento presentato al convegno 9th International Workshop on Foundations of Models and Languages for Data and Objects (FMLDO) tenutosi a Dagstuhl, Germany nel September 2000).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/605092
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact