Implementing Abstract Objects with Inheritance in Datalogneg.

Hasan M. Jamil: Implementing Abstract Objects with Inheritance in Datalogneg. VLDB 1997: 56-65
  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,}


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

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 BibTeX

Electronic Edition

From CS Dept., University Trier (Germany)


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

Referenced by

  1. Hasan M. Jamil: Belief Reasoning in MLS Deductive Databases. SIGMOD Conference 1999: 109-120
  2. Mengchi Liu, Min Guo: ROL2: A Real Deductive Object-Oriented Database Language. ER 1998: 302-315
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:46:15 2009