ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Implementing Abstract Objects with Inheritance in Datalogneg.

Hasan M. Jamil: Implementing Abstract Objects with Inheritance in Datalogneg. VLDB 1997: 56-65
@inproceedings{DBLP:conf/vldb/Jamil97,
  author    = {Hasan M. Jamil},
  editor    = {Matthias Jarke and
               Michael J. Carey and
               Klaus R. Dittrich and
               Frederick H. Lochovsky and
               Pericles Loucopoulos and
               Manfred A. Jeusfeld},
  title     = {Implementing Abstract Objects with Inheritance in Datalog$^{\mbox{neg}}$},
  booktitle = {VLDB'97, Proceedings of 23rd International Conference on Very
               Large Data Bases, August 25-29, 1997, Athens, Greece},
  publisher = {Morgan Kaufmann},
  year      = {1997},
  isbn      = {1-55860-470-7},
  pages     = {56-65},
  ee        = {db/conf/vldb/Jamil97.html},
  crossref  = {DBLP:conf/vldb/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

We present an elegant technique to reduce inheritance and encapsulation to pure deduction. The reduction technique presented in this paper makes it possible to model object-oriented database features in a purely deductive system. Encapsulation has been given a formal treatment for the first time by introducing the so called context-resolution scheme. The completion technique presented in this paper elegantly tackles inheritance with overriding and conflict resolution by avoiding non-monotonic reasoning. We show that the completion based reduction technique is robust and appealing compared to any other known rewriting based approaches. We propose an object-oriented front-end language called the Datalog++, and discuss a rewriting scheme to the acclaimed Datalogneg for this language that exploits the context resolution and completion techniques presented here. We claim that our approach outperforms other known approaches in the literature in terms of its modeling capabilities and efficiency. Unlike most others, an implementation based on our reduction technique does not require meta-interpretation and consequently readily exploits the rich set of optimization techniques available in Datalogneg.

Copyright © 1997 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Matthias Jarke, Michael J. Carey, Klaus R. Dittrich, Frederick H. Lochovsky, Pericles Loucopoulos, Manfred A. Jeusfeld (Eds.): VLDB'97, Proceedings of 23rd International Conference on Very Large Data Bases, August 25-29, 1997, Athens, Greece. Morgan Kaufmann 1997, ISBN 1-55860-470-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Electronic Edition

From CS Dept., University Trier (Germany)

References

[1]
Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
...
[3]
Elisa Bertino, Danilo Montesi: Towards a Logical-Object Oriented Programming Language for Databases. EDBT 1992: 168-183 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Alan Borning, Daniel H. H. Ingalls: A Type Declaration and Inference System for Smalltalk. POPL 1982: 133-141 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Michele Bugliesi: A Declarative View of Inheritance in Logic Programming. JICSLP 1992: 113-127 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
Michele Bugliesi, Hasan M. Jamil: A Logic for Encapsulation in Object Oriented Languages. PLILP 1994: 215-229 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Michele Bugliesi, Hasan M. Jamil: A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. ICDT 1995: 222-237 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
Mukesh Dalal, Dipayan Gangopadhyay: OOLP: A Translation Approach to Object-Oriented Logic Programming. DOOD 1989: 593-606 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
...
[10]
Hasan M. Jamil: Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++. DDLP 1997: 0- CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Hasan M. Jamil, Laks V. S. Lakshmanan: A Declarative Semantics for Behavioral Inheritance and Conflict Resolution. ILPS 1995: 130-144 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
...
[14]
...
[15]
Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. DBPL 1987: 257-276 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
...
[17]
Dale Miller: A Logical Analysis of Modules in Logic Programming. J. Log. Program. 6(1&2): 79-108(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
Bjarne Stroustrup: The C++ Programming Language, First Edition. Addison-Wesley 1986, ISBN 0-201-12078-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:22:06 2010 by Michael Ley (ley@uni-trier.de)