Querying and repairing inconsistent numerical databases

ACM Transactions on Database Systems

Volumn 35, Issue 2, 2010, Pages

  Flesca, Sergio ^a   Furfaro, Filippo ^a   Parisi, Francesco ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Aggregate constraints; Consistent query answer; Inconsistent databases; Repairs

Indexed keywords

AGGREGATE CONSTRAINT; COMPLEXITY ISSUES; CONSISTENT QUERY ANSWER; INCONSISTENT DATABASE; INPUT DATAS; INTEGRITY CONSTRAINTS; LINEAR INEQUALITIES; NUMERICAL DATA; REAL-LIFE APPLICATIONS; RELATIONAL DATABASE; SUM-QUERY;

AGGREGATES; DATABASE SYSTEMS;

REPAIR;

EID: 77952042489     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/1735886.1735893     Document Type: Article

References (40)

1. AFRATI, F. N. AND KOLAITIS, P. G. 2009. Repair checking in inconsistent databases: Algorithms and complexity. In Proceedings of the 12th International Conference on Database Theory (ICDT). 31-41.
2. AGARWAL, S., KELLER, A. M., WIEDERHOLD, G., AND SARASWAT, K. 1995. Flexible relation: An approach for integrating data from multiple, possibly inconsistent databases. In Proceedings of the 11th International Conference on Data Engineering (ICDE). 495-504.
3. ARENAS, M., BERTOSSI, L. E., AND CHOMICKI, J. 1999. Consistent query answers in inconsistent databases. In Proceedings of the 18th ACM Symposium on Principles of Database Systems (PODS). 68-79.
4. ARENAS, M., BERTOSSI, L. E., AND CHOMICKI, J. 2000. Specifying and querying database repairs using logic programs with exceptions. In Proceedings of the 4th International Conference on Flexible Query Answering Systems (FQAS). 27-41.
5. ARENAS, M., BERTOSSI, L. E., AND CHOMICKI, J. 2003a. Answer sets for consistent query answering in inconsistent databases. Theory Pract. Logic Program. 3, 4-5, 393-424.
6. ARENAS, M., BERTOSSI, L. E., CHOMICKI, J., HE, X., RAGHAVAN, V., AND SPINRAD, J. 2003b. Scalar aggregation in inconsistent databases. Theor. Comput. Sci. 3, 296, 405-434.
7. ARENAS, M., BERTOSSI, L. E., AND KIFER, M. 2000. Applications of annotated predicate calculus to querying inconsistent databases. In Proceedings of the 1st International Conference on Computing Logic (CL). 926-941.
8. BARCEĹO, P. AND BERTOSSI, L. E. 2002. Repairing databases with annotated predicate logic. In Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR). 160-170.
9. BARCEĹO, P. AND BERTOSSI, L. E. 2003. Logic programs for querying inconsistent databases. In Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages (PADL). 208-222.
10. BERTOSSI, L. E., BRAVO, L., FRANCONI, E., AND LOPATENKO, A. 2008. The complexity and ap- proximation of fixing numerical attributes in databases under integrity constraints. Inform. Syst. 33, 4-5, 407-434.
11. BOHANNON, P., FLASTER, M., FAN, W., AND RASTOGI, R. 2005. A cost-based model and effective heuristic for repairing constraints by value modification. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 143-154.
12. BRY, F. 1997. Query answering in information systems with integrity constraints. In Proceedings of the 1st International Conference on Integrity and Internal Control in Information Systems (IICIS). 113-130.
13. CAL̀I, A., LEMBO, D., AND ROSATI, R. 2003. On the decidability and complexity of query answering over inconsistent and incomplete databases. In Proceedings of the 22nd ACM Symposium on Principles of Database Systems (PODS). 260-271.
14. CELLE, A. AND BERTOSSI, L. E. 2000. Querying inconsistent databases: Algorithms and implementation. In Proceedings of the 1st International Conference on Computing Logic (CL). 942-956.
15. CHOMICKI, J. AND MARCINKOWSKI, J. 2005. Minimal-Change integrity maintenance using tuple deletions. Inf. Comput. 197, 1-2, 90-121.
16. CHOMICKI, J., MARCINKOWSKI, J., AND STAWORKO, S. 2004. Computing consistent query answers using conflict hypergraphs. In Proceedings of the 13th ACM Conference on Information and Knowledge Management (CIKM). 417-426.
17. EITER, T. AND GOTTLOB, G. 1992. On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artif. Intell. 57, 2-3, 227-270. (Pubitemid 23586698)
18. FAZZINGA, B., FLESCA, S., FURFARO, F., AND PARISI, F. 2006. Dart: A data acquisition and repairing tool. In Proceedings of the International Workshop on Inconsistency and Incompleteness in Databases (IIDB). 297-317.
19. FLESCA, S., FURFARO, F., AND PARISI, F. 2005. Consistent query answers on numerical databases under aggregate constraints. In Proceedings of the 10th International Symposium on Database Programming Languages (DPBL). 279-294.
20. FRANCONI, E., PALMA, A. L., LEONE, N., PERRI, S., AND SCARCELLO, F. 2001. Census data repair: A challenging application of disjunctive logic programming. In Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR). 561-578.
21. FUXMAN, A., FAZLI, E., AND MILLER, R. J. 2005. Conquer: Efficient management of inconsistent databases. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 155-166. (Pubitemid 43038925)
22. FUXMAN, A. AND MILLER, R. J. 2007. First-Order query rewriting for inconsistent databases. J. Comput. Syst. Sci. 73, 4, 610-635.
23. GÄRDENFORS, P. AND ROTT, H. 1995. Belief revision. In Handbook of Logic in Artificial Intelligence and Logic Programming (Vol. 4): Epistemic and Temporal Reasoning, D.M. Gabbay, C. J. Hogger, and J. A. Robinson, Eds. Oxford University Press, Oxford, UK, 35-132.
24. GASS, S. I. 1985. Linear Programming: Methods and Applications (5th ed.). McGraw-Hill, New York.
25. GRECO, G., GRECO, S., AND ZUMPANO, E. 2003. A logical framework for querying and repairing inconsistent databases. IEEE Trans. Knowl. Data Engin. 15, 6, 1389-1408.
26. IMIELINSKI, T. AND LIPSKI, W. 1984. Incomplete information in relational databases. J. ACM 31, 4, 761-791.
27. KENDALL, M. 1963. Ill-Conditioned matrices in linear programming. Metrika 6, 1, 60-64.
28. KIFER, M. AND LOZINSKII, E. L. 1992. A logic for reasoning with inconsistency. J. Autom. Reason. 9, 2, 179-215.
29. LOPATENKO, A. AND BERTOSSI, L. E. 2007. Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. In Proceedings of the 11th International Conference on Database Theory (ICDT). 179-193.
30. PAPADIMITRIOU, C. H. 1981. On the complexity of integer programming. J. ACM 28, 4, 765-768.
31. PAPADIMITRIOU, C. H. AND STEIGLITZ, K. 1998. Combinatorial Optimization: Algorithms and Complexity. Dover, Mineola, New York.
32. PAPADIMITRIOU, C. M. 1994. Computational Complexity. Addison-Wesley, Reading, MA.
33. RAHM, E. AND DO, H. H. 2000. Data cleaning: Problems and current approaches. IEEE Data Engin. Bull. 23, 4, 3-13.
34. ROSS, K. A., SRIVASTAVA, D., STUCKEY, P. J., AND SUDARSHAN, S. 1998. Foundations of aggregation constraints. Theor. Comput. Sci. 193, 1-2, 149-179.
35. WIJSEN, J. 2003. Condensed representation of database repairs for consistent query answering. In Proceedings of the 9th International Conference on Database Theory (ICDT). 378-393.
36. WIJSEN, J. 2004. Making more out of an inconsistent database. In Proceedings of the 8th East European Conference on Advances in Databases and Information Systems (ADBIS). 291-305.
37. WIJSEN, J. 2005. Database repairing using updates. ACM Trans. Database. Syst. 30, 3, 722-768.
38. WIJSEN, J. 2006. A note on database repairing by value modification. In Proceedings of the InternationalWorkshop on Inconsistency and Incompleteness in Databases (IIDB). Position paper.
39. WIJSEN, J. 2009. Consistent query answering under primary keys: A characterization of tractable queries. In Proceedings of the 12th International Conference on Database Theory (ICDT). 42-52.
40. XIE, G., DANG, Z., AND IBARRA, O. H. 2003. A solvable class of quadratic diophantine equations with applications to verification of infinite-state systems. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (ICALP). 668-680.