On the first-order reducibility of unions of conjunctive queries over inconsistent databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4254 LNCS, Issue , 2006, Pages 358-374

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

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL METHODS; DATA REDUCTION; DATA STRUCTURES; DATABASE SYSTEMS;

CONJUNCTIVE QUERIES; QUERY ANSWERING;

QUERY LANGUAGES;

EID: 33845277801     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11896548_28     Document Type: Conference Paper

References (13)

1. Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison Wesley Publ. Co., 1995.
2. Marcelo Arenas, Leopoldo E. Bertossi, and Jan Chomicki. Consistent query answers in inconsistent databases. In Proceedings of the Eighteenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'99), pages 68-79, 1999.
3. Loreto Bravo and Leopoldo Bertossi. Logic programming for consistently querying data integration systems. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), 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 Proceedings of the Twentysecond ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (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 Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (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 Leopoldo Bertossi, Anthony Hunter, and Torsten Schaub, editors, Inconsistency Tolerance, volume 3300 of Lecture Notes in Computer Science, pages 119-150. Springer, 2005.
7. Jan Chomicki, Jerzy Marcinkowski, and Slawomir Staworko. Computing consistent query answers using conflict hypergraphs. In Proceedings of the Thirteenth International Conference on Information and Knowledge Management (CIKM 2004), pages 417-426, 2004.
8. Thomas Eiter, Michael Fink, Gianluigi Greco, and Domenico Lembo. Efficient evaluation of logic programs for querying data integration systems. In Proceedings of the Nineteenth International Conference on Logic Programming (ICLP'03), pages 163-177, 2003.
9. Ariel Fuxman, Elham Fazli, and Renée J. Miller. ConQuer: Efficient management of inconsistent databases. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 155-166, 2005.
10. Ariel Fuxman and Renée J. Miller. First-order query rewriting for inconsistent databases. In Proceedings of the Tenth International Conference on Database Theory (ICDT 2005), volume 3363 of LNCS, pages 337-351. Springer, 2005.
11. Gianluigi Greco, Sergio Greco, and Ester Zumpano. A logical framework for querying and repairing inconsistent databases. IEEE Transactions on Knowledge and Data Engineering, 15(6):1389-1408, 2003.
12. Luca Grieco, Domenico Lembo, Marco Ruzzi, and Riccardo Rosati. Consistent query answering under key and exclusion dependencies: Algorithms and experiments. In Proceedings of the Fourteenth International Conference on Information and Knowledge Management (CIKM 2005), pages 792-799, 2005.
13. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 2006. To appear.