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

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.

[1]  Yoshifumi Masunaga,et al.  An Object-Oriented Approach to Temporal Multimedia Data Modeling , 1995, IEICE Trans. Inf. Syst..

[2]  Markus Tresch,et al.  Meta Object Management and its Application to Database Evolution , 1992, ER.

[3]  M. Tamer Özsu,et al.  Temporal Extensions to a Uniform Behavioral Object Model , 1993, ER.

[4]  Elke A. Rundensteiner,et al.  Extending the Object Query Language for Transparent Metadata Access , 2000, FMLDO.

[5]  Catriel Beeri,et al.  Subtyping in OODBs , 1995, J. Comput. Syst. Sci..

[6]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[7]  Elisa Bertino,et al.  A temporal object-oriented data model with multiple granularities , 1999, Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99.

[8]  Harald Schöning,et al.  Realizing a temporal complex-object data model , 1992, SIGMOD '92.

[9]  Herman Balsters,et al.  Database Schema Evolution and Meta-Modeling , 2001, Lecture Notes in Computer Science.

[10]  Richard G. Newell,et al.  Temporal GIS: modeling the evolution of spatial data in time , 1992 .

[11]  Ramez Elmasri,et al.  Entity-Relationship Approach — ER '93 , 1993, Lecture Notes in Computer Science.

[12]  Dominique Rieu,et al.  Schema Evolution in Object-Oriented Database Systems , 1989, Data Knowl. Eng..

[13]  Geneviève Jomier,et al.  A framework for programming multiversion databases , 2001, Data Knowl. Eng..

[14]  Christian S. Jensen,et al.  On the Semantics of , 1996 .

[15]  M. Tamer Özsu,et al.  An axiomatic model of dynamic schema evolution in objectbase systems , 1997, TODS.

[16]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[17]  Emmanuel Waller,et al.  Object-Oriented Database Evolution , 1997, ICDT.

[18]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[19]  Ian Sommerville,et al.  A Model for Versioning of Classes in Object-Oriented Databases , 1992, BNCOD.

[20]  Arie Segev,et al.  TOODM - A Temporal Object-Oriented Data Model with Temporal Constraints , 1991, ER.

[21]  Won Kim,et al.  Versions of Schema for Object-Oriented Databases , 1988, VLDB.

[22]  Jacob Stein,et al.  Class modification in the GemStone object-oriented DBMS , 1987, OOPSLA '87.

[23]  Arie Segev,et al.  A consensus glossary of temporal database concepts , 1994, SIGMOD 1994.

[24]  Elke A. Rundensteiner,et al.  A Transparent Schema-Evolution System Based on Object-Oriented View Technology , 1997, IEEE Trans. Knowl. Data Eng..

[25]  Christian S. Jensen,et al.  On the semantics of “now” in databases , 1996, TODS.

[26]  Ricky K. Taira,et al.  A Temporal Evolutionary Object-Oriented Data Model and Its Query Language for Medical Image Management , 1992, VLDB.

[27]  Mario A. Nascimento,et al.  An extensible framework for spatio-temporal database applications , 1998, Proceedings. Tenth International Conference on Scientific and Statistical Database Management (Cat. No.98TB100243).

[28]  Duane Szafron,et al.  TIGUKAT: A uniform behavioral objectbase management system , 1995, The VLDB Journal.

[29]  Enrico Franconi,et al.  A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases , 2000, Computational Logic.

[30]  Diego Calvanese,et al.  Reasoning in Expressive Description Logics , 2001, Handbook of Automated Reasoning.

[31]  John C. Mitchell,et al.  Theoretical aspects of object-oriented programming: types, semantics, and language design , 1994, Choice Reviews Online.

[32]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[33]  Ramez Elmasri,et al.  The Consensus Glossary of Temporal Database Concepts - February 1998 Version , 1997, Temporal Databases, Dagstuhl.

[34]  David Maier,et al.  The GemStone Data Management System , 1989, Object-Oriented Concepts, Databases, and Applications.

[35]  Peter Buneman,et al.  Theoretical Aspects of Object-Oriented Programming , 1994 .

[36]  John F. Roddick,et al.  A survey of schema versioning issues for database systems , 1995, Inf. Softw. Technol..

[37]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[38]  Elisa Bertino,et al.  T_Chimera: A Temporal Object-Oriented Data Model , 1997, Theory Pract. Object Syst..

[39]  Elke A. Rundensteiner,et al.  Optimizing Performance of Schema Evolution Sequences , 2000, Objects and Databases.

[40]  Sven-Eric Lautemann.  Schema Versions in Object-Oriented Database Systems , 1997, DASFAA.

[41]  Fabio Grandi,et al.  Schema Versioning for Multitemporal Relational Databases , 1997, Inf. Syst..

[42]  Fabrizio Ferrandina,et al.  Schema and Database Evolution in the O2 Object Database System , 1995, VLDB.

[43]  Klaus R. Dittrich,et al.  Version Support for Engineering Database Systems , 1988, IEEE Trans. Software Eng..

[44]  Ken Barker,et al.  Change Propagation in an Axiomatic Model of Schema Evolution for Objectbase Management Systems , 2000, FMLDO.

[45]  Klaus R. Dittrich,et al.  Schema Evolution in NO2 , 1993 .

[46]  Fabio Grandi,et al.  Semantic Interoperability of Multitemporal Relational Databases , 1993, ER.

[47]  Barbara Lerner,et al.  A model for compound type changes encountered in schema evolution , 2000, TODS.

[48]  Catriel Beeri,et al.  Formal Models for Object Oriented Databases , 1989, DOOD.

[49]  Umeshwar Dayal,et al.  A uniform model for temporal object-oriented databases , 1992, [1992] Eighth International Conference on Data Engineering.

[50]  Enrico Franconi,et al.  Schema Evolution and Versioning: A Logical and Computational Characterisation , 2000, FMLDO.

[51]  Christian S. Jensen,et al.  Unifying Temporal Data Models via a Conceptual Model Unifying Temporal Data Models via a Conceptual Model , 1993 .