Recursive Versus Iterative Schemes for Least Fix Point Computation in Logic Databases.

@inproceedings{DBLP:conf/icde/Demo87,
  author    = {G. Barbara Demo},
  title     = {Recursive Versus Iterative Schemes for Least Fix Point Computation
               in Logic Databases},
  booktitle = {Proceedings of the Third International Conference on Data Engineering,
               February 3-5, 1987, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1987},
  isbn      = {0-8186-0762-9},
  pages     = {130-137},
  ee        = {db/conf/icde/Demo87.html},
  crossref  = {DBLP:conf/icde/87},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1987 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]

Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases (Abstract). SIGMOD Conference 1985: 444

[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

[3]

...

[4]

...

[5]

Chin-Liang Chang: DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. Logic and Data Bases 1977: 201-236

[6]

Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory 1979: 235-260

[7]

Shamim A. Naqvi, Lawrence J. Henschen: Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. IJCAI 1983: 25-28

[8]

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

[9]

Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177

[10]

...

[11]

...

[12]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6

[13]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976)

[14]

Upen S. Chakravarthy, Jack Minker, Duc Tran: Interfacing Predicate Logic Languages and Relational Databases. ICLP 1982: 91-98

[15]

...

[16]

...

[17]

Haruo Yokota, Sko Sakai, Hidenori Itoh: Deductive Database System based on Unit Resolution. ICDE 1986: 228-235

[18]

Timos K. Sellis, Leonard D. Shapiro: Optimization of Extended Database Query Languages. SIGMOD Conference 1985: 424-436

[19]

Jacques J. Arsac, Yves Kodratoff: Some Techniques for Recursion Removal from Recursive Programs. ACM Trans. Program. Lang. Syst. 4(2): 295-322(1982)

[20]

...

[21]

...

[22]

Haruo Yokota, Susumu Kunifuji, Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Kunio Murakami: An Enhanced Inference Mechanism for Generating Relational Algebra Queries. PODS 1984: 229-238

[23]

...

Last update Fri May 25 08:18:02 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page