Classification and Compilation of Linear Recursive Queries in Deductive Databases.

@article{DBLP:journals/tkde/YounKHH92,
  author    = {Cheong Youn and
               Hyoung-Joo Kim and
               Lawrence J. Henschen and
               Jiawei Han},
  title     = {Classification and Compilation of Linear Recursive Queries in
               Deductive Databases},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {4},
  number    = {1},
  year      = {1992},
  pages     = {52-67},
  ee        = {db/journals/tkde/YounKHH92.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

Joint ACM SIGMOD / IEEE Computer Society 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/An3-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/aDVD2 or /dvd

References

[1]

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

[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]

Ashok K. Chandra: Programming Primitives for Database Languages. POPL 1981: 50-62

[4]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)

[5]

Jiawei Han, Lawrence J. Henschen: Handling Redundancy in the Processing of Recursive Database Queries. SIGMOD Conference 1987: 73-81

[6]

...

[7]

...

[8]

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

[9]

Yannis E. Ioannidis: A Time Bound on the Materialization of some Recursively Defined Views. VLDB 1985: 219-226

[10]

...

[11]

H. V. Jagadish, Rakesh Agrawal, Linda Ness: A Study of Transitive Closure As a Recursion Mechanism. SIGMOD Conference 1987: 331-344

[12]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7

[13]

David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents

[14]

Jack Minker: Search Strategy and Selection Function for an Inferential Relational System. ACM Trans. Database Syst. 3(1): 1-31(1978)

[15]

Jack Minker (Ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, ISBN 0-934613-40-0
Contents

[16]

Jeffrey F. Naughton: Data Independent Recursion in Deductive Databases. PODS 1986: 267-279

[17]

Jeffrey F. Naughton: One-Sided Recursions. PODS 1987: 340-348

[18]

Jeffrey F. Naughton: Minimizing function-free recursive inference rules. J. ACM 36(1): 69-91(1989)

[19]

...

[20]

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76

[21]

Oded Shmueli: Decidability and Expressiveness of Logic Queries. PODS 1987: 237-249

[22]

Daniel Troy, Clement T. Yu, Weining Zhang: Linearization of Nonlinear Recursive Rules. IEEE Trans. Software Eng. 15(9): 1109-1119(1989)

[23]

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

[24]

Cheong Youn, Lawrence J. Henschen, Jiawei Han: Classification of Recursive Formulas in Deductive Databases. SIGMOD Conference 1988: 320-328