Predicate boundedness of linear monadic datalog is in pspace

International Journal of Foundations of Computer Science

Volumn 11, Issue 4, 2000, Pages 591-612

  Meyden, Ron Van Der ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Boundedness; Database Theory; Datalog; Query Optimization; Recursive Queries

Indexed keywords

EID: 84872934144     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054100000351     Document Type: Article

References (11)

1. V.H. Aho and J.D. Ullman. Universality of data retrieval languages. In Proc. 6th ACM Symp. on Principles of Programming Languages, pages 214-226, 1979.
2. Francois Bancilhon and Raghu Ramakrishnan. An amateur's introduction to recursive query processing strategies. In Carlo Zaniolo, editor, Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, pages 16-52, Washington, D.C., 28-30 May 1986. SIGMOD Record 15(2), June 1986.
3. Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, and Moshe Y. Vardi. Decidable optimization problems for database logic programs (preliminary report). In Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, pages 477-490, Chicago, Illinois, 2-4 May 1988.
4. Haim Gaifman, Harry Mairson, Yehoshua Sagiv, and Moshe Y. Vardi. Undecidable optimization problems for database logic programs. Journal of the ACM, 40(3) :683-713, July 1993.
5. Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, and Moshe Y. Vardi. Tools for Datalog boundedness. In Proceedings of the Tenth ACM SIGAGTSIGMOD-SIGART Symposium on Principles of Database Systems, pages 1-12, Denver, Colorado, 29-31 May 1991.
6. J.B. Kruskal. The theory of well-quasi-ordering: A frequently discovered concept. Journal of Combinatorial Theory (Ser. A), 13:297-305, 1972.
7. R. van der Meyden. Recursively indefinite databases. Theoretical Computer Science, 116(1,2):151-194, 1993.
8. Jeffrey F. Naughton. Data independent recursion in deductive databases. Journal of Computer and System Sciences, 38(2):259-289, April 1989.
9. W. Savitch. Relationships between non-deterministic and deterministic tape complexities. Journal of Computer and System Sciences, 4:177-192, 1970.
10. J.D. Ullman. Principles of Database and Knowledge Base Systems, volume I. Computer Science Press, 1988.
11. J.D. Ullman. Principles of Database and Knowledge Base Systems, volume II: The New Technologies. Computer Science Press, 1989.