Methods and Rules.
Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller:
Methods and Rules.
SIGMOD Conference 1993: 32-41@inproceedings{DBLP:conf/sigmod/AbiteboulLUW93,
author = {Serge Abiteboul and
Georg Lausen and
Heinz Uphoff and
Emmanuel Waller},
editor = {Peter Buneman and
Sushil Jajodia},
title = {Methods and Rules},
booktitle = {Proceedings of the 1993 ACM SIGMOD International Conference on
Management of Data, Washington, D.C., May 26-28, 1993},
publisher = {ACM Press},
year = {1993},
pages = {32-41},
ee = {http://doi.acm.org/10.1145/170035.170044, db/conf/sigmod/AbiteboulLUW93.html},
crossref = {DBLP:conf/sigmod/93},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
We show how classical datalog semantics can be used directly and very simply
to provide semantics to a syntactic extension of datalog with methods,
classes, inheritance, overloading and late binding. Several approaches to
resolution are considered, implemented in the model, and formally compared.
They range from resolution in C++ style to original kinds of resolution
suggested by the declarative nature of the language. We show connections to
view specification and a further extension allowing runtime derivation of the
class hierarchy.
Copyright © 1993 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.
Online Version (ACM WWW Account required): Full Text in PDF Format
CDROM Version: Load the CDROM "Volume 1 Issue 1, SIGMOD '93-'97" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Peter Buneman, Sushil Jajodia (Eds.):
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, D.C., May 26-28, 1993.
ACM Press 1993 BibTeX
,
SIGMOD Record 22(2),
June 1993
Contents
[Index Terms]
[Full Text in PDF Format, 996 KB]
References
- [AB91]
- Serge Abiteboul, Anthony J. Bonner:
Objects and Views.
SIGMOD Conference 1991: 238-247 BibTeX
- [ABW88]
- ...
- [AG88]
- Serge Abiteboul, Stéphane Grumbach:
A Rule-Based Language with Functions and Sets.
ACM Trans. Database Syst. 16(1): 1-30(1991) BibTeX
- [AH88]
- Serge Abiteboul, Richard Hull:
Data Functions, Datalog and Negation (Extended Abstract).
SIGMOD Conference 1988: 143-153 BibTeX
- [AK89]
- Serge Abiteboul, Paris C. Kanellakis:
Object Identity as a Query Language Primitive.
SIGMOD Conference 1989: 159-173 BibTeX
- [AKW90]
- Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller:
Method Schemas.
PODS 1990: 16-27 BibTeX
- [ALUW93]
- ...
- [AN86]
- Hassan Aït-Kaci, Roger Nasr:
LOGIN: A Logic Programming Language with Built-In Inheritance.
J. Log. Program. 3(3): 185-215(1986) BibTeX
- [BL91]
- Stefan Brass, Udo W. Lipeck:
Semantice of Inheritance in Logical Object Specifications.
DOOD 1991: 411-430 BibTeX
- [BM92]
- Elisa Bertino, Danilo Montesi:
Towards a Logical-Object Oriented Programming Language for Databases.
EDBT 1992: 168-183 BibTeX
- [Bre87]
- Gerhard Brewka:
The Logic of Inheritance in Frame Systems.
IJCAI 1987: 483-488 BibTeX
- [CCCR+90]
- Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari:
Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm.
SIGMOD Conference 1990: 225-236 BibTeX
- [CLOS]
- ...
- [Fit85]
- Melvin Fitting:
A Kripke-Kleene Semantics for Logic Programs.
J. Log. Program. 2(4): 295-312(1985) BibTeX
- [KL89]
- Michael Kifer, Georg Lausen:
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
SIGMOD Conference 1989: 134-146 BibTeX
- [KLW90]
- Michael Kifer, Georg Lausen, James Wu:
Logical Foundations of Object-Oriented and Frame-Based Languages.
J. ACM 42(4): 741-843(1995) BibTeX
- [LO91]
- Yanjun Lou, Z. Meral Özsoyoglu:
LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance.
SIGMOD Conference 1991: 198-207 BibTeX
- [LV92]
- Els Laenens, Dirk Vermeir:
Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models.
J. Log. Comput. 2(2): 133-172(1992) BibTeX
- [McC84]
- ...
- [Prz88]
- ...
- [Ull88]
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume I.
Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
- [VGRS91]
- Allen Van Gelder, Kenneth A. Ross, John S. Schlipf:
The Well-Founded Semantics for General Logic Programs.
J. ACM 38(3): 620-650(1991) BibTeX
Referenced by
- Mengchi Liu, Min Guo:
ROL2: A Real Deductive Object-Oriented Database Language.
ER 1998: 302-315
- Hasan M. Jamil:
Implementing Abstract Objects with Inheritance in Datalogneg.
VLDB 1997: 56-65
- Mihhail Matskin, Hele-Mai Haav:
A Deductive Object-Oriented Approach to Information System Modeling.
ADBIS 1995: 459-478
- Serge Abiteboul, Richard Hull, Victor Vianu:
Foundations of Databases.
Addison-Wesley 1995, ISBN 0-201-53771-0
Contents - Atsushi Ohori, Keishi Tajima:
A Polymorphic Calculus for Views and Object Sharing.
PODS 1994: 255-266
- Alberto O. Mendelzon, Tova Milo, Emmanuel Waller:
Object Migration.
PODS 1994: 232-242
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:40:13 2009