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

@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

Key Words

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)

Conference Version

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

References

[1]

Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin: Dynamic Typing in a Statically-Typed Language. POPL 1989: 213-227 BibTeX

[2]

Rakesh Agrawal, Linda G. DeMichiel, Bruce G. Lindsay: Static Type Checking of Multi-Methods. OOPSLA 1991: 113-128 BibTeX

[3]

Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27 BibTeX

[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 BibTeX

[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 BibTeX

[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) BibTeX

[9]

Alexander Borgida: Modeling Class Hierarchies with Contradictions. SIGMOD Conference 1988: 434-443 BibTeX

[10]

Alexander Borgida: Type Systems for Querying Class Hierarchies with Non-strict Inheritance. PODS 1989: 394-400 BibTeX

[11]

Kim B. Bruce: Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. POPL 1993: 285-298 BibTeX

[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 BibTeX

[13]

...

[14]

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX

[15]

...

[16]

R. G. G. Cattell: The Object Database Standard: ODMG-93 (Release 1.1). Morgan Kaufmann 1994
BibTeX

[17]

Craig Chambers: Object-Oriented Multi-Methods in Cecil. ECOOP 1992: 33-56 BibTeX

[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) BibTeX

[19]

...

[20]

Richard C. H. Connor, David J. McNally, Ronald Morrison: Subtyping and Assignment in Database Programming Languages. DBPL 1991: 363-382 BibTeX

[21]

William R. Cook: A Proposal for Making Eiffel Type-Safe. ECOOP 1989: 57-70 BibTeX

[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 BibTeX

[25]

Anna Formica, Michele Missikoff: Correctness of ISA Hierarchies in Object-Oriented Database Schemas. EDBT 1994: 231-244 BibTeX

[26]

Alfons Kemper, Guido Moerkotte: Object-Oriented Database Management: Applications in Engineering and Computer Science. Prentice-Hall 1994, ISBN 0-13-629239-9
Contents BibTeX

[27]

...

[28]

Ole Lehrmann Madsen, Boris Magnusson, Birger Møller-Pedersen: Strong Typing of Object-Oriented Languages Revisited. OOPSLA/ECOOP 1990: 140-150 BibTeX

[29]

...

[30]

...

[31]

...

[32]

Warwick B. Mugridge, John Hamer, John G. Hosking: Multi-Methods in a Statically-Typed Programming Language. ECOOP 1991: 307-324 BibTeX

[33]

...

[34]

Emmanuel Waller: Schema Updates and Consistency. DOOD 1991: 167-188 BibTeX

[35]

...