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.
Pubblicazioni consigliate
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
