Minimizing function-free recursive inference rules.

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

@article{DBLP:journals/jacm/Naughton89,
  author    = {Jeffrey F. Naughton},
  title     = {Minimizing function-free recursive inference rules},
  journal   = {J. ACM},
  volume    = {36},
  number    = {1},
  year      = {1989},
  pages     = {69-91},
  ee        = {db/journals/jacm/Naughton89.html, http://doi.acm.org/10.1145/58562.59303},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Online Edition

Citation Page BibTeX

Referenced by

Wenyu Lu, Dik Lun Lee, Jiawei Han: A Study on the Structure of Linear Recursion. IEEE Trans. Knowl. Data Eng. 6(5): 723-737(1994)
Surajit Chaudhuri, Moshe Y. Vardi: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994: 107-116
Cheong Youn, Hyoung-Joo Kim, Lawrence J. Henschen, Jiawei Han: Classification and Compilation of Linear Recursive Queries in Deductive Databases. IEEE Trans. Knowl. Data Eng. 4(1): 52-67(1992)
Surajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. PODS 1992: 55-66
Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Tools for Datalog Boundedness. PODS 1991: 1-12
Jeffrey F. Naughton: One-Sided Recursions. PODS 1987: 340-348

BibTeX