ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Method Schemas.

Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27
@inproceedings{DBLP:conf/pods/AbiteboulKW90,
  author    = {Serge Abiteboul and
               Paris C. Kanellakis and
               Emmanuel Waller},
  title     = {Method Schemas},
  booktitle = {Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on
               Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee},
  publisher = {ACM Press},
  year      = {1990},
  isbn      = {0-89791-352-3},
  pages     = {16-27},
  ee        = {http://doi.acm.org/10.1145/298514.298538, db/conf/pods/AbiteboulKW90.html},
  crossref  = {DBLP:conf/pods/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

The concept of method schemas is proposed as a simple model for object-oriented programming with features such as classes with methods and inheritance, method name overloading, and late binding. An important issue is to check whether a given method schema can possibly lead to inconsistencies in some interpretations. The consistency problem for method schemas is studied. The problem is shown to be undecidable in general. Decidability is obtained for monadic and/or recursionfree method schemas. The effect of covariance is considered. The issues of incremental consistency checking and of a sound algorithm for the general case are briefly discussed.

Copyright © 1990 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.


Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98. and ... Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ... BibTeX

Printed Edition

Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee. ACM Press 1990, ISBN 0-89791-352-3
Contents BibTeX

Reprint

reprinted in the O2 Book: 128-145

Online Edition: ACM Digital Library


References

[1]
Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX
[2]
Edward A. Ashcroft, Zohar Manna, Amir Pnueli: Decidable Properties of Monadic Functional Schemas. J. ACM 20(3): 489-499(1973) BibTeX
[3]
François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 BibTeX
[4]
François Bancilhon, Gilles Barbedette, Véronique Benzaken, Claude Delobel, Sophie Gamerman, Christophe Lécluse, Patrick Pfeffer, Philippe Richard, Fernando Vélez: The Design and Implementation of O2, an Object-Oriented Database Systems. OODBS 1988: 1-32 BibTeX
[5]
Jay Banerjee, Hong-Tai Chou, Jorge F. Garza, Won Kim, Darrell Woelk, Nat Ballou, Hyoung-Joo Kim: Data Model Issues for Object-Oriented Applications. ACM Trans. Inf. Syst. 5(1): 3-26(1987) BibTeX
[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]
Alexander Borgida: Type Systems for Querying Class Hierarchies with Non-strict Inheritance. PODS 1989: 394-400 BibTeX
[8]
...
[9]
John Doner: Tree Acceptors and Some of Their Applications. J. Comput. Syst. Sci. 4(5): 406-451(1970) BibTeX
[10]
Daniel H. Fishman, David Beech, H. P. Cate, E. C. Chow, Tim Connors, J. W. Davis, Nigel Derrett, C. G. Hoch, William Kent, Peter Lyngbæk, Brom Mahbod, Marie-Anne Neimat, T. A. Ryan, Ming-Chien Shan: Iris: An Object-Oriented Database Management System. ACM Trans. Inf. Syst. 5(1): 48-69(1987) BibTeX
[11]
...
[12]
...
[13]
Richard Hull, Jianwen Su: On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). SIGMOD Conference 1989: 147-158 BibTeX
[14]
Richard Hull, Katsumi Tanaka, Masatoshi Yoshikawa: Behavior Analysis of Object-Oriented Databases: Method Structure, Execution Trees, and Reachability (Extended Abstract). FODO 1989: 372-388 BibTeX
[15]
David C. Luckham, David Michael Ritchie Park, Mike Paterson: On Formalised Computer Programs. J. Comput. Syst. Sci. 4(3): 220-249(1970) BibTeX
[16]
David Maier, Allen Otis, Alan Purdy: Object-Oriented Database Development at Servio Logic. IEEE Database Eng. Bull. 8(4): 58-65(1985) BibTeX
[17]
...
[18]
Moshe Y. Vardi: Automata Theory for Database Theoreticans. PODS 1989: 83-92 BibTeX
[19]
...
[20]
Stanley B. Zdonik: Object Management Systems for Design Environments. IEEE Database Eng. Bull. 8(4): 23-30(1985) BibTeX

Referenced by

  1. Jean-Bernard Lagorce, Arunas Stockus, Emmanuel Waller: Object-Oriented Database Evolution. ICDT 1997: 379-393
  2. 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)
  3. Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon: Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS. VLDB 1994: 108-119
  4. Alberto O. Mendelzon, Tova Milo, Emmanuel Waller: Object Migration. PODS 1994: 232-242
  5. José Meseguer, Xiaolei Qian: A Logical Semantics for Object-Oriented Databases. SIGMOD Conference 1993: 89-98
  6. Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41
  7. Karl Denninghoff, Victor Vianu: Database Method Schemas and Object Creation. PODS 1993: 265-275
  8. Guido Moerkotte, Andreas Zachmann: Towards More Flexible Schema Management in Object Bases. ICDE 1993: 174-181
  9. Christian Laasch, Marc H. Scholl: Deterministic Semantics of Set-Oriented Update Sequences. ICDE 1993: 4-13
  10. Ling Liu, Robert Meersman: Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases. VLDB 1992: 481-493
  11. Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992: 1-15
  12. Serge Abiteboul, Paris C. Kanellakis: The Two Facets of Object-Oriented Data Models. IEEE Data Eng. Bull. 14(2): 3-7(1991)
  13. Karl Denninghoff, Victor Vianu: The Power of Methods With Parallel Semantics. VLDB 1991: 221-232
  14. Yanjun Lou, Z. Meral Özsoyoglu: LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance. SIGMOD Conference 1991: 198-207
  15. Roberto Zicari: A Framework for Schema Updates In An Object-Oriented Database System. ICDE 1991: 2-13
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:33:58 2009