Query rewriting under non-guarded rules

CEUR Workshop Proceedings

Volumn 619, Issue , 2010, Pages

  Calì, Andrea ^a,b,c   Gottlob, Georg ^a,b   Pieris, Andreas ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONJUNCTIVE QUERIES; DATA COMPLEXITY; FIRST-ORDER; INFORMATION INTEGRATION; KNOWLEDGE BASIS; ONTOLOGICAL REASONING; QUERY OPTIMIZATION; QUERY REWRITINGS; REWRITING ALGORITHM; TRACTABLE CLASS;

ALGORITHMS; INFORMATION MANAGEMENT; LOGIC PROGRAMMING;

QUERY LANGUAGES;

EID: 84872245182     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. C. Beeri and M. Y. Vardi. The implication problem for data dependencies. In Proc. of ICALP, pages 73-85, 1981.
2. A. Calì, D. Calvanese, G. D. Giacomo, andM. Lenzerini. Accessing data integration systems through conceptual schemas. In Proc. of ER, pages 270-284, 2001.
3. A. Calì, G. Gottlob, and M. Kifer. Taming the infinite chase: Query answering under expressive relational constraints. In Proc. of KR, pages 70-80, 2008.
4. A. Calì, G. Gottlob, and T. Lukasiewicz. A general datalog-based framework for tractable query answering over ontologies. In Proc. of PODS, pages 77-86, 2009.
5. A. Calì, G. Gottlob, and A. Pieris. Advanced processing for ontological query answering. Submitted for publication, 2010.
6. A. Calì and M. Kifer. Containment of conjunctive object meta-queries. In Proc. of VLDB, pages 942-952, 2006.
7. A. Calì, D. Lembo, and R. Rosati. Decidability and complexity of query answering over incosistent and incomplete databases. In Proc. of PODS, pages 260-271, 2003.
8. A. Calì, D. Lembo, and R. Rosati. Query rewriting and answering under constraints in data integration systems. In Proc. of IJCAI, pages 16-21, 2003.
9. A. Calì and D. Martinenghi. Querying incomplete data over extended er schemata. TPLP, 2010. to appear.
10. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The DL-lite family. J. Autom. Reasoning, 39(3):385-429, 2007.
11. D. Calvanese, G. D. Giacomo, and M. Lenzerini. Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log., 9(3), 2008.
12. A. K. Chandra and P. M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In Proc. of STOCS, pages 77-90, 1977.
13. A. Deutsch. XML query reformulation over mixed and redundant storage. PhD thesis, Dept. of Computer and Information Sciences, Univ. of Pennsylvania, 2002.
14. A. Deutsch, A. Nash, and J. B. Remmel. The chase revisisted. In Proc. of PODS, pages 149-158, 2008.
15. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data exchange: Semantics and query answering. Theor. Comput. Sci., 336(1):89-124, 2005.
16. M. E. Goncalves and E. Grädel. Decidability issues for action guarded logics. In Description Logics, pages 123-132, 2000.
17. D. S. Johnson and A. C. Klug. Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci., 28(1):167-189, 1984.
18. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. J. ACM, 42(4):741-843, 1995.
19. D. Maier, A. O. Mendelzon, and Y. Sagiv. Testing implications of data dependencies. ACM Trans. Database Syst., 4(4):455-469, 1979.
20. C. H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
21. H. Pérez-Urbina, I. Horrocks, and B. Motik. Practical aspects of query rewriting for owl 2. In Proc. of OWLED, 2009.
22. A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. Linking data to ontologies. J. Data Semantics, 10:133-173, 2008.
23. M. Simkus and T. Eiter. DNC: Decidable non-monotonic disjunctive logic programs with function symbols. In Proc. of LPAR, pages 514-530, 2007.
24. M. Y. Vardi. On the complexity of bounded-variable queries. In Proc. of PODS, pages 266-276, 1995.