dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Type-safe Relaxing of Schema Consistency Rules for Flexible Modeling in OODBMS.

Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon: Type-safe Relaxing of Schema Consistency Rules for Flexible Modeling in OODBMS. VLDB J. 5(2): 133-155(1996)
@article{DBLP:journals/vldb/AmielBDS96,
  author    = {Eric Amiel and
               Marie-Jo Bellosta and
               Eric Dujardin and
               Eric Simon},
  title     = {Type-safe Relaxing of Schema Consistency Rules for Flexible Modeling
               in OODBMS},
  journal   = {VLDB J.},
  volume    = {5},
  number    = {2},
  year      = {1996},
  pages     = {133-155},
  ee        = {db/journals/vldb/AmielBDS96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Object-oriented databases enforce behavioral 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 behavioral 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 behavioral consistency rules without sacrificing type safety. The basic idea is to detect unsafe statements in a method code 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. Schema updates can therefore be performed with only minor changes to the code of methods.

Key Words

Object-oriented Databases, Schema evolution, Type safety, Cavariance, Contravariance

Copyright © 1996 by Springer, Berlin, Heidelberg. Permission to make digital or hard copies of the abstract is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice along with the full citation.


Online Edition (Springer)

Citation Page

Conference Version

Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon: Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS. VLDB 1994: 108-119 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

References

[1]
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin: Dynamic Typing in a Statically-Typed Language. POPL 1989: 213-227 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Rakesh Agrawal, Linda G. DeMichiel, Bruce G. Lindsay: Static Type Checking of Multi-Methods. OOPSLA 1991: 113-128 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
...
[5]
...
[6]
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E. Keene, Gregor Kiczales, David A. Moon: Common Lisp Object System Specification X2JI3 Document 88-002R. SIGPLAN Notices 23(Special Issue): 1.1-2.94(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
Alexander Borgida: Modeling Class Hierarchies with Contradictions. SIGMOD Conference 1988: 434-443 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Alexander Borgida: Type Systems for Querying Class Hierarchies with Non-strict Inheritance. PODS 1989: 394-400 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Kim B. Bruce: Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. POPL 1993: 285-298 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell: F-Bounded Polymorphism for Object-Oriented Programming. FPCA 1989: 273-280 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
...
[14]
Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
...
[16]
R. G. G. Cattell: The Object Database Standard: ODMG-93 (Release 1.1). Morgan Kaufmann 1994
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
Craig Chambers: Object-Oriented Multi-Methods in Cecil. ECOOP 1992: 33-56 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
...
[20]
Richard C. H. Connor, David J. McNally, Ronald Morrison: Subtyping and Assignment in Database Programming Languages. DBPL 1991: 363-382 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
William R. Cook: A Proposal for Making Eiffel Type-Safe. ECOOP 1989: 57-70 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[22]
...
[23]
...
[24]
Linda G. DeMichiel, Donald D. Chamberlin, Bruce G. Lindsay, Rakesh Agrawal, Manish Arya: Polyglot: Extensions to Relational Databases for Sharable Types and Functions in a Multi-Language Environment. ICDE 1993: 651-660 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[25]
Anna Formica, Michele Missikoff: Correctness of ISA Hierarchies in Object-Oriented Database Schemas. EDBT 1994: 231-244 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[26]
Alfons Kemper, Guido Moerkotte: Object-Oriented Database Management: Applications in Engineering and Computer Science. Prentice-Hall 1994, ISBN 0-13-629239-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[27]
...
[28]
Ole Lehrmann Madsen, Boris Magnusson, Birger Møller-Pedersen: Strong Typing of Object-Oriented Languages Revisited. OOPSLA/ECOOP 1990: 140-150 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[29]
...
[30]
...
[31]
...
[32]
Warwick B. Mugridge, John Hamer, John G. Hosking: Multi-Methods in a Statically-Typed Programming Language. ECOOP 1991: 307-324 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[33]
...
[34]
Emmanuel Waller: Schema Updates and Consistency. DOOD 1991: 167-188 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[35]
...

Last update Fri Sep 14 18:29:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page