Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS.

Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon: Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS. VLDB 1994: 108-119

@inproceedings{DBLP:conf/vldb/AmielBDS94,
  author    = {Eric Amiel and
               Marie-Jo Bellosta and
               Eric Dujardin and
               Eric Simon},
  editor    = {Jorge B. Bocca and
               Matthias Jarke and
               Carlo Zaniolo},
  title     = {Supporting Exceptions to Schema Consistency to Ease Schema Evolution
               in OODBMS},
  booktitle = {VLDB'94, Proceedings of 20th International Conference on Very
               Large Data Bases, September 12-15, 1994, Santiago de Chile, Chile},
  publisher = {Morgan Kaufmann},
  year      = {1994},
  isbn      = {1-55860-153-8},
  pages     = {108-119},
  ee        = {db/conf/vldb/vldb94-108.html},
  crossref  = {DBLP:conf/vldb/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Object-oriented databases enforce schema consistency rules to guarantee type safety, i.e., that no run-time type error can occur. When the schema must evolve, some schema updates may violate these rules. In order to maintain complete schema consistency, traditional solutions require significant changes to the types, the type hierarchy and the code of existing methods. Such operations are very expensive in a database context. To ease schema evolution, we propose to support exceptions to the consistency rules without sacrificing type safety for all that. The basic idea is to detect unsafe statements at compile-time and check them at run-time. The run-time check is performed by a specific clause that is automatically inserted around unsafe statements. This check clause warns the programmer of the safety problem and lets him provide exception-handling code. This way, some schema updates can be performed with only minor changes to the code of methods.

Copyright © 1994 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...

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/vldb8997 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

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/aDVD1 or /dvd

Printed Edition

Jorge B. Bocca, Matthias Jarke, Carlo Zaniolo (Eds.): VLDB'94, Proceedings of 20th International Conference on Very Large Data Bases, September 12-15, 1994, Santiago de Chile, Chile. Morgan Kaufmann 1994, ISBN 1-55860-153-8
Contents

References

[ABDS94]: ...
[ADL91]: Rakesh Agrawal, Linda G. DeMichiel, Bruce G. Lindsay: Static Type Checking of Multi-Methods. OOPSLA 1991: 113-128
[AKW90]: Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27
[BDG+88]: ...
[BKK+86]: Daniel G. Bobrow, Kenneth M. Kahn, Gregor Kiczales, Larry Masinter, Mark Stefik, Frank Zdybel: CommonLoops: Merging Lisp and Object-Oriented Programming. OOPSLA 1986: 17-29
[BKKK87]: 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
[Bor88]: Alexander Borgida: Modeling Class Hierarchies with Contradictions. SIGMOD Conference 1988: 434-443
[Bor89]: Alexander Borgida: Type Systems for Querying Class Hierarchies with Non-strict Inheritance. PODS 1989: 394-400
[Car84]: ...
[CCPLZ93]: ...
[Cha92]: Craig Chambers: Object-Oriented Multi-Methods in Cecil. ECOOP 1992: 33-56
[CM92]: ...
[Coo89]: William R. Cook: A Proposal for Making Eiffel Type-Safe. ECOOP 1989: 57-70
[CPLZ91]: Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari: Updating the Schema of an Object-Oriented Database (Extended Abstract). IEEE Data Eng. Bull. 14(2): 33-37(1991)
[CW85]: Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985)
[Dan90]: ...
[Laj93]: ...
[McK92]: ...
[Mey92]: ...
[MHH91]: Warwick B. Mugridge, John Hamer, John G. Hosking: Multi-Methods in a Statically-Typed Programming Language. ECOOP 1991: 307-324
[O292]: ...
[Wal91]: Emmanuel Waller: Schema Updates and Consistency. DOOD 1991: 167-188