Evaluation of Extended Recursive Queries in Deductive Databases.

@inproceedings{DBLP:conf/dasfaa/LeeH91,
  author    = {Sang Ho Lee and
               Lawrence J. Henschen},
  editor    = {Akifumi Makinouchi},
  title     = {Evaluation of Extended Recursive Queries in Deductive Databases},
  booktitle = {Database Systems for Advanced Applications '91, Proceedings of
               the Second International Symposium on Database Systems for Advanced
               Applications, Tokyo, Japan, April 2-4, 1991},
  publisher = {World Scientific},
  series    = {Advanced Database Research and Development Series},
  volume    = {2},
  year      = {1991},
  isbn      = {981-02-1055-8},
  pages     = {209-215},
  ee        = {db/conf/dasfaa/LeeH91.html},
  crossref  = {DBLP:conf/dasfaa/91},
  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]

Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 BibTeX

[2]

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

[3]

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

[4]

François Bancilhon, Raghu Ramakrishnan: Performance Evaluation of Data Intensive Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 439-517 BibTeX

[5]

...

[6]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[7]

...

[8]

Lawrence J. Henschen, Shamim A. Naqvi: On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85(1984) BibTeX

[9]

...

[10]

...

[11]

...

[12]

Sang Ho Lee, Lawrence J. Henschen: Substitution-based Compilation of Extended Rules in Deductive Databases. CADE 1990: 57-71 BibTeX

[13]

John W. Lloyd, Rodney W. Topor: Making Prolog more Expressive. J. Log. Program. 1(3): 225-240(1984) BibTeX

[14]

John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX

[15]

Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985) BibTeX

[16-1]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[16-2]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX

[17]

Laurent Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. Expert Database Conf. 1986: 253-267 BibTeX