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
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
- Jean-Bernard Lagorce, Arunas Stockus, Emmanuel Waller:
Object-Oriented Database Evolution.
ICDT 1997: 379-393
- 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)
- Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon:
Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS.
VLDB 1994: 108-119
- Alberto O. Mendelzon, Tova Milo, Emmanuel Waller:
Object Migration.
PODS 1994: 232-242
- José Meseguer, Xiaolei Qian:
A Logical Semantics for Object-Oriented Databases.
SIGMOD Conference 1993: 89-98
- Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller:
Methods and Rules.
SIGMOD Conference 1993: 32-41
- Karl Denninghoff, Victor Vianu:
Database Method Schemas and Object Creation.
PODS 1993: 265-275
- Guido Moerkotte, Andreas Zachmann:
Towards More Flexible Schema Management in Object Bases.
ICDE 1993: 174-181
- Christian Laasch, Marc H. Scholl:
Deterministic Semantics of Set-Oriented Update Sequences.
ICDE 1993: 4-13
- Ling Liu, Robert Meersman:
Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases.
VLDB 1992: 481-493
- Catriel Beeri:
New Data Models and Languages - the Challenge.
PODS 1992: 1-15
- Serge Abiteboul, Paris C. Kanellakis:
The Two Facets of Object-Oriented Data Models.
IEEE Data Eng. Bull. 14(2): 3-7(1991)
- Karl Denninghoff, Victor Vianu:
The Power of Methods With Parallel Semantics.
VLDB 1991: 221-232
- Yanjun Lou, Z. Meral Özsoyoglu:
LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance.
SIGMOD Conference 1991: 198-207
- 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