Compilation of Logic Programs to Implement Very Large Knowledge Base Systems - A Case Study: Educe*.

@inproceedings{DBLP:conf/icde/Bocca90,
  author    = {Jorge B. Bocca},
  title     = {Compilation of Logic Programs to Implement Very Large Knowledge
               Base Systems - A Case Study: Educe*},
  booktitle = {Proceedings of the Sixth International Conference on Data Engineering,
               February 5-9, 1990, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1990},
  isbn      = {0-8186-2025-0},
  pages     = {361-369},
  ee        = {db/conf/icde/Bocca90.html},
  crossref  = {DBLP:conf/icde/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1990 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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-6 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

References

[1]

François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52 BibTeX

[2]

...

[3]

Dina Bitton, David J. DeWitt, Carolyn Turbyfill: Benchmarking Database Systems A Systematic Approach. VLDB 1983: 8-19 BibTeX

[4]

Jorge B. Bocca: On the Evaluation Strategy of EDUCE. SIGMOD Conference 1986: 368-378 BibTeX

[5]

Jorge B. Bocca: EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS. SLP 1986: 36-45 BibTeX

[6]

...

[7]

...

[8]

...

[9]

...

[10]

...

[11]

François Bry: Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled. DOOD 1989: 25-44 BibTeX

[12]

...

[13]

Michael Freeston: The BANG File: A New Kind of Grid File. SIGMOD Conference 1987: 260-269 BibTeX

[14]

...

[15]

...

[16]

Martin Huber, Igor Varsek: Extended Prolog for Order-Sorted Resolution. SLP 1987: 34-43 BibTeX

[17]

Michael Stonebraker, Eugene Wong, Peter Kreps, Gerald Held: The Design and Implementation of INGRES. ACM Trans. Database Syst. 1(3): 189-222(1976) BibTeX

[18]

...

[19]

Hervé J. Touati, Alvin M. Despain: An Empirical Study of the Warren Abstract Machine. SLP 1987: 114-124 BibTeX

[20]

Laurent Vieille: Recursive Query Processing: The Power of Logic. Theor. Comput. Sci. 69(1): 1-53(1989) BibTeX

[21]

...

[22]

...

Referenced by

1. Jorge B. Bocca: MegaLog - A platform for developing Knowledge Base Management Systems. DASFAA 1991: 374-380
2. Hervé Gallaire, Jean-Marie Nicolas: Logic and Databases: An Assessment. ICDT 1990: 177-186