Complexity of Repair Checking and Consistent Query Answering

Authors Sebastian Arming, Reinhard Pichler, Emanuel Sallinger



PDF
Thumbnail PDF

File

LIPIcs.ICDT.2016.21.pdf
  • Filesize: 0.51 MB
  • 18 pages

Document Identifiers

Author Details

Sebastian Arming
Reinhard Pichler
Emanuel Sallinger

Cite AsGet BibTex

Sebastian Arming, Reinhard Pichler, and Emanuel Sallinger. Complexity of Repair Checking and Consistent Query Answering. In 19th International Conference on Database Theory (ICDT 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 48, pp. 21:1-21:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/LIPIcs.ICDT.2016.21

Abstract

Inconsistent databases (i.e., databases violating some given set of integrity constraints) may arise in many applications such as, for instance, data integration. Hence, the handling of inconsistent data has evolved as an active field of research. In this paper, we consider two fundamental problems in this context: Repair Checking (RC) and Consistent Query Answering (CQA). So far, these problems have been mainly studied from the point of view of data complexity (where all parts of the input except for the database are considered as fixed). While for some kinds of integrity constraints, also combined complexity (where all parts of the input are allowed to vary) has been considered, for several other kinds of integrity constraints, combined complexity has been left unexplored. Moreover, a more detailed analysis (keeping other parts of the input fixed - e.g., the constraints only) is completely missing. The goal of our work is a thorough analysis of the complexity of the RC and CQA problems. Our contribution is a complete picture of the complexity of these problems for a wide range of integrity constraints. Our analysis thus allows us to get a better understanding of the true sources of complexity.
Keywords
  • inconsistency
  • consistent query answering
  • complexity

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, 1995. URL: http://www-cse.ucsd.edu/users/vianu/book.html.
  2. Foto N. Afrati and Phokion G. Kolaitis. Repair checking in inconsistent databases: algorithms and complexity. In ICDT, pages 31-41. ACM Press, 2009. URL: http://dx.doi.org/10.1145/1514894.1514899.
  3. Marcelo Arenas and Leopoldo Bertossi. On the decidability of consistent query answering. In AMW, 2010. URL: http://ceur-ws.org/Vol-619/paper10.pdf.
  4. Marcelo Arenas, Leopoldo Bertossi, and Jan Chomicki. Consistent query answers in inconsistent databases. In PODS, pages 68-79. ACM Press, 1999. Google Scholar
  5. Leopoldo Bertossi. Consistent query answering in databases. ACM SIGMOD Record, 35(2):68, 2006. URL: http://dx.doi.org/10.1145/1147376.1147391.
  6. Leopoldo Bertossi. Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management, 2011. URL: http://dx.doi.org/10.2200/S00379ED1V01Y201108DTM020.
  7. Andrea Calì, Georg Gottlob, and Michael Kifer. Taming the infinite chase: Query answering under expressive relational constraints. Journal of Artificial Intelligence Research (JAIR), 48:115-174, 2013. Google Scholar
  8. Andrea Calì, Domenico Lembo, and Riccardo Rosati. On the decidability and complexity of query answering over inconsistent and incomplete databases. In PODS, pages 260-271. ACM Press, 2003. URL: http://dx.doi.org/10.1145/773153.773179.
  9. Jan Chomicki. Consistent query answering: Five easy pieces. In ICDT, pages 1-17. Springer, 2007. URL: http://dx.doi.org/10.1007/11965893_1.
  10. Jan Chomicki and Jerzy Marcinkowski. Minimal-change integrity maintenance using tuple deletions. Information and Computation, 197(1-2):90-121, 2005. URL: http://dx.doi.org/10.1016/j.ic.2004.04.007.
  11. Gaëlle Fontaine. Why is it hard to obtain a dichotomy for consistent query answering? ACM Trans. Comput. Log., 16(1):7:1-7:24, 2015. URL: http://dx.doi.org/10.1145/2699912.
  12. Georg Gottlob. Personal communication, 2015. Google Scholar
  13. Sergio Greco, Fabian Pijcke, and Jef Wijsen. Certain query answering in partially consistent databases. PVLDB, 7(5):353-364, 2014. URL: http://www.vldb.org/pvldb/vol7/p353-greco.pdf.
  14. David S. Johnson. A catalog of complexity classes. In Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, pages 67-161. MIT Press, 1990. Google Scholar
  15. David S. Johnson and Anthony C. Klug. Testing containment of conjunctive queries under functional and inclusion dependencies. Journal of Computer and System Sciences (JCSS), 28(1):167-189, 1984. Google Scholar
  16. Paraschos Koutris and Jef Wijsen. The data complexity of consistent query answering for self-join-free conjunctive queries under primary key constraints. In PODS, pages 17-29, 2015. URL: http://dx.doi.org/10.1145/2745754.2745769.
  17. Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, and Gerardo I. Simari. From classical to consistent query answering under existential rules. In AAAI, pages 1546-1552. AAAI Press, 2015. Google Scholar
  18. Carsten Lutz and Frank Wolter. On the relationship between consistent query answering and constraint satisfaction problems. In ICDT, pages 363-379, 2015. URL: http://dx.doi.org/10.4230/LIPIcs.ICDT.2015.363.
  19. Christos H. Papadimitriou. Computational complexity. Addison-Wesley, 1994. Google Scholar
  20. Andreas Pfandler and Emanuel Sallinger. Distance-bounded consistent query answering. In IJCAI, pages 2262-2269, 2015. URL: http://ijcai.org/papers15/Abstracts/IJCAI15-320.html.
  21. Sławomir Staworko and Jan Chomicki. Consistent query answers in the presence of universal constraints. Information Systems, 35(1):1-22, 2010. URL: http://dx.doi.org/10.1016/j.is.2009.03.004.
  22. Balder ten Cate, Gaëlle Fontaine, and Phokion G. Kolaitis. On the data complexity of consistent query answering. Theory Comput. Syst., 57(4):843-891, 2015. URL: http://dx.doi.org/10.1007/s00224-014-9586-0.
  23. Jef Wijsen. A survey of the data complexity of consistent query answering under key constraints. In FoIKS, pages 62-78, 2014. URL: http://dx.doi.org/10.1007/978-3-319-04939-7_2.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail