On the decidability of containment of recursive datalog queries - Preliminary report

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn 23, Issue , 2004, Pages 297-306

  Bonatti, Piero A ^a  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; DATABASE SYSTEMS; NONLINEAR SYSTEMS; OPTIMIZATION; PROBLEM SOLVING; SET THEORY;

DATALOG QUERIES; QUERY OPTIMIZATION; RECURSIVE QUERIES;

QUERY LANGUAGES;

EID: 3142679372     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1055558.1055600     Document Type: Conference Paper

References (11)

1. P.A. Bonatti. Undecidability results-for description logics with recursion and counting. In Proc. of IJCAI'03, pp., 2003.
2. P.A. Bonatti. Towards Service Description Logics. In Proc. of JELIA'02, LNAI 2424, pages 74-85, 2002. Springer.
3. D. Calvanese, G. De Giacomo, M. Lenzerini. On the Decidability of Query Containment under Constraints. In Proc. of Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'98), pages 149-158, ACM Press, 1998.
4. D. Calvanese, G. De Giacomo, M. Lenzerini. Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In Proc. of IJCAI'99, pages 84-89, 1999.
5. D. Calvanese, G. De Giacomo, Moshe Y. Vardi. Decidable Containment of Recursive Queries. Proc. of ICDT'OS, LNCS 2572, pp. 330-345, 2003. Springer.
6. A.K. Chandra, P.M. Merlin. Optimal Implementation of Conjunctive Queries in Relational Data Bases. Proc. of ACM STOC'77, pp. 77-90, 1977.
7. S.S. Cosmadakis, H. Gaifman, P.C. Kanellakis, M.Y. Vardi. Decidable Optimization Problems for Database Logic Programs. Proc. of ACM STOC'88, pp. 477-490, 1988.
8. Courcelle, Graph rewriting: An algebraic and logic approach. Handbook of Theoretical Computer Science Vol. B: Formal models and semantics. MIT Press/Elsevier, 1990.
9. U. Sattler, M.Y. Vardi. The hybrid μ-calculus. In Proc. of IJCAR'01, LNCS 2392, pages 27-30, 2001. Springer.
10. O. Shinueli. Equivalence of DATALOG Queries is Undecidable. JLP, 15(3): 231-241, 1993.
11. J.D. Ullman. Information Integration Using Logical Views. Proc. of ICDT'97, LNCS 1186, pp. 19-40, 1997. Springer.