Consistent query answering under key and exclusion dependencies: Algorithms and experiments

International Conference on Information and Knowledge Management, Proceedings

Volumn , Issue , 2005, Pages 792-799

  Grieco, Luca ^a   Lembo, Domenico ^a   Rosati, Riccardo ^a   Ruzzi, Marco ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Computational Complexity; Inconsistency; Query Rewriting

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SCIENCE; CONSTRAINT THEORY; DATA ACQUISITION; DATABASE SYSTEMS; PROBLEM SOLVING;

FIRST-ORDER REWRITING; INCONSISTENCY; INTEGRITY CONSTRAINTS (IC); QUERY REWRITING;

QUERY LANGUAGES;

EID: 33745196636     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1099554.1099742     Document Type: Conference Paper

References (15)

1. Marcelo Arenas, Leopolde E. Bertossi, and Jan Chomicki. Consistent query answers in inconsistent databases. In Proc. of PODS'99, pages 68-79, 1999.
2. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
3. Loreto Bravo and Leopolde Bertossi. Logic programming for consistently querying data integration systems. In Proc. of IJCAI2003, pages 10-15, 2003.
4. Andrea Call, Domenico Lembo, and Riccardo Rosati. On the decidability and complexity of query answering over inconsistent and incomplete databases. In Proc. of PODS 2003, pages 260-271, 2003.
5. Andrea Call, Domenico Lembo, and Riccardo Rosati. Query rewriting and answering under constraints in data integration systems. In Proc. of IJCAI 2003, pages 16-21, 2003.
6. Jan Chomicki and Jerzy Marcinkowski. On the computational complexity of minimal-change integrity maintenance in relational databases. In Inconsistency Tolerance, pages 119-150, 2005.
7. Jan Chomicki, Jerzy Marcinkowski, and Slawomir Staworko. Computing consistent query answers using conflict hypergraphs. In Proc. of CIKM 2004, pages 417-426, 2004.
8. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Enhancing the magic-set method for disjunctive datalog programs. In Proc. ICLP 2004), pages 371-385, 2004.
9. Thomas Eiter, Michael Fink, Gianluigi Greco, and Domenico Lembo. Efficient evaluation of logic programs for querying data integration systems. In Proc. of ICLP'03, pages 163-177, 2003.
10. Thomas Eiter, Georg Gottlob, and Heikki Mannilla. Disjunctive Datalog. ACM Trans. on Database Systems, 22(3):364-418, 1997.
11. Wolfgang Faber, Gianluigi Greco, and Nicola Leone. Magic sets and their application to data integration. In Proc. of ICDT 2005, pages 306-320, 2005.
12. Ariel Fuxman, Elham Fazli, and Renée J. Miller. Conquer: Efficient management of inconsistent databases. In Proc. of SIGMOD 2005, pages 155-166, 2005.
13. Ariel Fuxman and Renée J. Miller. First-order query rewriting for inconsistent databases. In Proc. of ICDT 2005, pages 337-351, 2005.
14. Gianluigi Greco, Sergio Greco, and Ester Zumpano. A logical framework for querying and repairing inconsistent databases. IEEE Trans. on Knowledge and Data Engineering, 15(6):1389-1408, 2003.
15. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello. The DLV system for knowledge representation and reasoning. ACM Trans. on Computational Logic, 2005. To appear.