Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures.

@inproceedings{DBLP:conf/edbt/SomogyiKHR94,
  author    = {Zoltan Somogyi and
               David B. Kemp and
               James Harland and
               Kotagiri Ramamohanarao},
  editor    = {Matthias Jarke and
               Janis A. Bubenko Jr. and
               Keith G. Jeffery},
  title     = {Subsumption-Free Bottom-up Evaluation of Logic Programs with
               Partially Instantiated Data Structures},
  booktitle = {Advances in Database Technology - EDBT'94. 4th International
               Conference on Extending Database Technology, Cambridge, United
               Kingdom, March 28-31, 1994, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {779},
  year      = {1994},
  isbn      = {3-540-57818-8},
  pages     = {59-72},
  ee        = {db/conf/edbt/SomogyiKHR94.html},
  crossref  = {DBLP:conf/edbt/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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/An2-2 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

References

[1]

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 BibTeX

[2]

...

[3]

David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi: Right-, left- and multi-linear rule transformations that maintain context information. VLDB 1990: 380-391 BibTeX

[4]

...

[5]

Alan Mycroft, Richard A. O'Keefe: A Polymorphic Type System for Prolog. Artif. Intell. 23(3): 295-307(1984) BibTeX

[6]

Raghu Ramakrishnan, Per Bothner, Divesh Srivastava, S. Sudarshan: CORAL - A Database Programming Language. Workshop on Deductive Databases 1990: 0- BibTeX

[7]

Zoltan Somogyi: A System of Precise Models for Logic Programs. ICLP 1987: 769-787 BibTeX

[8]

...

[9]

...

[10]

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247 BibTeX

Referenced by

1. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: The Aditi Deductive Database System. VLDB J. 3(2): 245-288(1994)