Implementing Abstract Objects with Inheritance in Datalog^neg.

@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

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

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/vldb8997 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

Electronic Edition

• Postscript file, via HTTP
• Postscript file, via FTP

References

[1]

Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41 BibTeX

[2]

...

[3]

Elisa Bertino, Danilo Montesi: Towards a Logical-Object Oriented Programming Language for Databases. EDBT 1992: 168-183 BibTeX

[4]

Alan Borning, Daniel H. H. Ingalls: A Type Declaration and Inference System for Smalltalk. POPL 1982: 133-141 BibTeX

[5]

Michele Bugliesi: A Declarative View of Inheritance in Logic Programming. JICSLP 1992: 113-127 BibTeX

[6]

Michele Bugliesi, Hasan M. Jamil: A Logic for Encapsulation in Object Oriented Languages. PLILP 1994: 215-229 BibTeX

[7]

Michele Bugliesi, Hasan M. Jamil: A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. ICDT 1995: 222-237 BibTeX

[8]

Mukesh Dalal, Dipayan Gangopadhyay: OOLP: A Translation Approach to Object-Oriented Logic Programming. DOOD 1989: 593-606 BibTeX

[9]

...

[10]

Hasan M. Jamil: Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++. DDLP 1997: 0- BibTeX

[11]

Hasan M. Jamil, Laks V. S. Lakshmanan: A Declarative Semantics for Behavioral Inheritance and Conflict Resolution. ILPS 1995: 130-144 BibTeX

[12]

Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) BibTeX

[13]

...

[14]

...

[15]

Christophe Lécluse, Philippe Richard, Fernando Vélez: O₂, an Object-Oriented Data Model. DBPL 1987: 257-276 BibTeX

[16]

...

[17]

Dale Miller: A Logical Analysis of Modules in Logic Programming. J. Log. Program. 6(1&2): 79-108(1989) BibTeX

[18]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250 BibTeX

[19]

Bjarne Stroustrup: The C++ Programming Language, First Edition. Addison-Wesley 1986, ISBN 0-201-12078-X
BibTeX

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