An Axiomatic Model of Dynamic Schema Evolution in Objectbase Systems.

@article{DBLP:journals/tods/PetersO97,
  author    = {Randal J. Peters and
               M. Tamer {\"O}zsu},
  title     = {An Axiomatic Model of Dynamic Schema Evolution in Objectbase
               Systems},
  journal   = {ACM Trans. Database Syst.},
  volume    = {22},
  number    = {1},
  year      = {1997},
  pages     = {75-114},
  ee        = {http://doi.acm.org/10.1145/244810.244813, db/journals/tods/PetersO97.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

The schema of a database system consists of the constructs that model the entities of data. Schema evolution is the timely change of the schema and the consistent management of these changes. Dynamic schema evolution (DSE) is the management of schema changes while a database management system is in operation. DSE is a necessary facility of objectbase systems (OBSs) because of the volatile application domains that OBSs support. We propose a sound and complete axiomatic model for DSE in OBSs that supports the fundamental concepts of object-oriented computing such as subtyping and property inheritance. The model can infer all schema relationships from two identified input sets associated with each type called the essential supertypes and essential properties. These sets are typically specified by schema designers, but can be automatically supplied within an OBS. The inference mechanism performed by the model has a proven termination.

The axiomatic model is a formal treatment of DSE in OBSs, which distinguishes it from other approaches that informally define a number of schema invariants and the rules that enforce them. An informal approach leads to multiple DSE mechanisms because of the differences in object models and the choices made by system designers. The lack of a common object model makes comparison of OBSs more difficult. The axiomatic model provides a solution for DSE in OBSs by serving as a common, formal underlying foundation for describing DSE of existing systems, which makes comparison of these systems much easier. A design space for OBSs based on the inclusion/exclusion of axioms is developed and can be used to classify, compare, and differentiate the features of OBSs. To test the expressibility of the model, the DSE of several OBSs are reduced to the axiomatic model and compared.

Copyright © 1997 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An4-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Online Edition: ACM Digital Library

References

[Andany et al. 1991]

José Andany, Michel Léonard, Carole Palisser: Management Of Schema Evolution In Databases. VLDB 1991: 161-170 BibTeX

[Banerjee et al. 1987]

Jay Banerjee, Won Kim, Hyoung-Joo Kim, Henry F. Korth: Semantics and Implementation of Schema Evolution in Object-Oriented Databases. SIGMOD Conference 1987: 311-322 BibTeX

[Goralwalla et al. 1995]

...

[Irani 1993]

...

[Kim and Chou 1988]

Won Kim, Hong-Tai Chou: Versions of Schema for Object-Oriented Databases. VLDB 1988: 148-159 BibTeX

[Lerner and Habermann 1990]

Barbara Staudt Lerner, A. Nico Habermann: Beyond Schema Evolution to Database Reorganization. OOPSLA/ECOOP 1990: 67-76 BibTeX

[Nguyen and Rieu 1987]

Gia Toan Nguyen, Dominique Rieu: Expert Database Support for Consistent Dynamic Objects. VLDB 1987: 493-500 BibTeX

[Nguyen and Rieu 1989]

Gia Toan Nguyen, Dominique Rieu: Schema Evolution in Object-Oriented Database Systems. Data Knowl. Eng. 4(1): 43-67(1989) BibTeX

[Osborn 1989]

Sylvia L. Osborn: The Role of Polymorphism in Schema Evolution in an Object-Oriented Database. IEEE Trans. Knowl. Data Eng. 1(3): 310-317(1989) BibTeX

[Özsu et al. 1995]

M. Tamer Özsu, Randal J. Peters, Duane Szafron, Boman Irani, Anna Lipka, Adriana Muñoz: TIGUKAT: A Uniform Behavioral Objectbase Management System. VLDB J. 4(3): 445-492(1995) BibTeX

[Penney and Stein 1987]

D. Jason Penney, Jacob Stein: Class Modification in the GemStone Object-Oriented DBMS. OOPSLA 1987: 111-117 BibTeX

[Peters 1994]

...

[Peters et al. 1996]

...

[Peters and Özsu 1993]

Randal J. Peters, M. Tamer Özsu: Reflection in a Uniform Behavioral Object Model. ER 1993: 34-45 BibTeX

[Skarra and Zdonik 1986]

Andrea H. Skarra, Stanley B. Zdonik: The Management of Changing Types in an Object-Oriented Database. OOPSLA 1986: 483-495 BibTeX

[Skarra and Zdonik 1987]

...

[Wegner 1987]

Peter Wegner: Dimensions of Object-Based Language Design. OOPSLA 1987: 168-182 BibTeX

Referenced by

1. Marlon Dumas, Marie-Christine Fauvet, Pierre-Claude Scholl: Updates and Application Migration Support in an ODMG Temporal Extension. ER (Workshops) 1999: 24-35
2. Lina Al-Jadir, Michel Léonard: Transposed Storage of an Object Database to Reduce the Cost of Schema Changes. ER (Workshops) 1999: 48-61
3. Lina Al-Jadir, Michel Léonard: Multiobjects to Ease Schema Evolution in an OODBMS. ER 1998: 316-333
4. Hele-Mai Haav, Mihhail Matskin: Discovery of Object-Oriented Schema and Schema Conflicts (Extended Abstract). ADBIS 1998: 154-156
5. Iqbal A. Goralwalla, Duane Szafron, M. Tamer Özsu, Randal J. Peters: Managing Schema Evolution Using a Temporal Object Model. ER 1997: 71-84