Consistent query answers in the presence of universal constraints

Information Systems

Volumn 35, Issue 1, 2010, Pages 1-22

  Staworko, Sławomir ^a   Chomicki, Jan ^b  

^a INRIA   (France)

^b the State University of New York   (United States)

Author keywords

Consistent query answers; Database repairing; Inconsistent databases; Repair checking

Indexed keywords

CONSISTENT QUERY ANSWERING; CONSISTENT QUERY ANSWERS; DATABASE REPAIRING; EXTENDED VERSIONS; HYPERGRAPH; INCONSISTENT DATA; INCONSISTENT DATABASES; POLYNOMIAL-TIME ALGORITHMS; REPAIR ALGORITHMS;

COMPUTATION THEORY; DATABASE SYSTEMS;

REPAIR;

EID: 70349961680     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2009.03.004     Document Type: Article

References (41)

1. Abiteboul S., Hull R., and Vianu V. Foundations of Databases (1995), Addison-Wesley, Reading, MA
2. Afrati F., and Kolaitis P. Repair checking in inconsistent databases: algorithms and complexity. International Conference on Database Theory (March 2009), ACM, New York
3. Arenas M., Bertossi L., and Chomicki J. Consistent query answers in inconsistent databases. ACM Symposium on Principles of Database Systems (1999) 68-79
4. Arenas M., Bertossi L., and Chomicki J. Answer sets for consistent query answering in inconsistent databases. Theory and Practice of Logic Programming 3 4-5 (2003) 393-424
5. Arenas M., Bertossi L., Chomicki J., He X., Raghavan V., and Spinrad J. Scalar aggregation in inconsistent databases. Theoretical Computer Science 296 3 (2003) 405-434
6. Baral C. Knowledge Representation, Reasoning and Declarative Problem Solving (2003), Cambridge University Press, Cambridge
7. Barcelo P., and Bertossi L. Logic programs for querying inconsistent databases. International Symposium on Practical Aspects of Declarative Languages, Lecture Notes in Computer Science vol. 2562 (2003), Springer, Berlin 208-222
8. Baudinet M., Chomicki J., and Wolper P. Constraint-generating dependencies. Journal of Computer and System Sciences 59 1 (1999) 94-115
9. Bertossi L. Consistent query answering in databases. SIGMOD Record 35 2 (2006) 68-76
10. Bertossi L., Bravo L., Franconi E., and Lopatenko A. Complexity and approximation of fixing numerical attributes in databases under integrity constraints. International Symposium on Database Programming Languages (2005) 262-278
11. Bertossi L., and Chomicki J. Query answering in inconsistent databases. In: Chomicki J., van der Meyden R., and Saake G. (Eds). Logics for Emerging Applications of Databases (2003), Springer, Berlin 43-83
12. Bohannon P., Flaster M., Fan W., and Rastogi R. A cost-based model and effective heuristic for repairing constraints by value modification. ACM SIGMOD International Conference on Management of Data (2005) 143-154
13. Cali A., Lembo D., and Rosati R. On the decidability and complexity of query answering over inconsistent and incomplete databases. ACM Symposium on Principles of Database Systems (2003) 260-271
14. Chomicki J. Consistent query answering: five easy pieces. International Conference on Database Theory (2007) 1-17
15. Chomicki J., and Marcinkowski J. Minimal-change integrity maintenance using tuple deletions. Information and Computation 197 1-2 (2005) 90-121
16. Chomicki J., Marcinkowski J., and Staworko S. Computing consistent query answers using conflict hypergraphs. International Conference on Information and Knowledge Management (November 2004), ACM Press, New York 417-426
17. Chomicki J., Marcinkowski J., and Staworko S. Hippo: a system for computing consistent answers to a class of SQL queries. International Conference on Extending Database Technology, Lecture Notes in Computer Science vol. 2992 (March 2004), Springer, Berlin 841-844 System demo
18. Cormen T.H., Leiserson C.E., and Rivest R.L. Introduction to Algorithms (1990), MIT Press, McGraw-Hill, Cambridge, MA, New York
19. Eiter T., Faber W., Leone N., and Pfeifer G. Declarative problem-solving in dlv. In: Minker J. (Ed). Logic-Based Artificial Intelligence (2000), Kluwer Academic Publishers, Dordrecht 79-103
20. Eiter T., Fink M., Greco G., and Lembo D. Efficient evaluation of logic programs for querying data integration systems. International Conference on Logic Programming (2003) 163-177
21. Eiter T., Fink M., Greco G., and Lembo D. Repair localization for query answering from inconsistent databases. ACM Transactions on Database Systems 33 2 (2008)
22. Fan W. Dependencies revisited for improving data quality. ACM Symposium on Principles of Database Systems (2008) 159-170
23. A. Fuxman, Efficient query processing over inconsistent databases, Ph.D. Thesis, University of Toronto, 2007 (SIGMOD Doctoral Dissertation Award).
24. Fuxman A., and Miller R.J. First-order query rewriting for inconsistent databases. International Conference on Database Theory (2005), Springer, Berlin
25. Fuxman A., and Miller R.J. First-order query rewriting for inconsistent databases. Journal of Computer and System Sciences 73 4 (2007) 610-635
26. Greco G., Greco S., and Zumpano E. A logic programming approach to the integration, repairing and querying of inconsistent databases. International Conference on Logic Programming, Lecture Notes in Computer Science vol. 2237 (2001), Springer, Berlin 348-364
27. Greco G., Greco S., and Zumpano E. A logical framework for querying and repairing inconsistent databases. IEEE Transactions on Knowledge and Data Engineering 15 6 (2003) 1389-1408
28. Grieco L., Lembo D., Rosati R., and Ruzzi M. Consistent query answering under key and exclusion dependencies: algorithms and experiments. International Conference on Information and Knowledge Management (November 2005), ACM Press, New York 792-799
29. P. Kolaitis, Personal communication, May 2008.
30. A. Lopatenko, Logic based data integration, Ph.D. Thesis, University of Manchester, 2006.
31. Lopatenko A., and Bertossi L. Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. International Conference on Database Theory (2007) 179-193
32. Maher M. Constrained dependencies. Theoretical Computer Science 173 1 (1997) 113-149
33. Maher M., and Srivastava D. Chasing constrained tuple-generating dependencies. ACM Symposium on Principles of Database Systems (1996) 128-138
34. Papadimitriou C. Computational Complexity (1994), Addison Wesley Lengman
35. Ramakrishnan R., and Gehrke J. Database Management Systems (2000), WCB, McGraw-Hill, New York
36. Staworko S., Chomicki J., and Marcinkowski J. Preference-driven querying of inconsistent relational databases. EDBT Workshops (IIDB) (2006), Springer, Berlin 318-335
37. Van Nieuwenborgh D., and Vermeir D. Preferred answer sets for ordered logic programs. European Conference on Logics for Artificial Intelligence (JELIA), Lecture Notes in Computer Science vol. 2424 (2002), Springer, Berlin 432-443
38. Vardi M.Y. The complexity of relational query languages. ACM Symposium on Theory of Computing (1982) 137-146
39. Wijsen J. Condensed representation of database repairs for consistent query answering. International Conference on Database Theory, Lecture Notes in Computer Science vol. 2572 (2003), Springer, Berlin 378-393
40. Wijsen J. Database repairing using updates. ACM Transactions on Database Systems 30 3 (2005) 722-768
41. Wijsen J. On the consistent rewriting of conjunctive queries under primary key constraints. International Symposium on Database Programming Languages (2007) 112-126