Repair localization for query answering from inconsistent databases

ACM Transactions on Database Systems

Volumn 33, Issue 2, 2008, Pages

  Eiter, Thomas ^a   Fink, Michael ^a   Greco, Gianluigi ^b   Lembo, Domenico ^c  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF CALABRIA   (Italy)

^c SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Consistent query answering; Data integration; Database repairs; Inconsistency management in databases; Logic programming; Stable models

Indexed keywords

CONSISTENT QUERY ANSWERING; EXPONENTIAL GAIN; GENERAL (CO); INCONSISTENT DATA; INCONSISTENT DATABASES; INTEGRITY CONSTRAINTS (IC); QUERY ANSWERING; SCHEMAS; SINGLE QUERY; USER QUERIES;

BASIC (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING; LOGIC PROGRAMMING; MAINTENANCE; QUALITY ASSURANCE; RELIABILITY; REPAIR; SPECIFICATIONS;

DATABASE SYSTEMS;

EID: 46649108915     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/1366102.1366107     Document Type: Article

References (42)

1. ABITEBOUL, S., HULL, R., AND VANU, V. 1995. Foundations of Databases. Addison esley.
2. ARENAS, M., BERTOSSI, L., AND CHOMICKI, J. 2001. Scalar aggregation in fd-inconsistent databases. In Proceedings of the 8th International Conference on Database Theory (ICDT'01). Springer, 39-53.
3. ARENAS, M., BERTOSSI, L., AND CHOMICKI, J. 1999. Consistent query answers in inconsistent databases. In Proceedings of the 18th ACM SIGACT SIGMOD Symposium on Principles of Database Systems (PODS'99). 68-79.
4. ARENAS, M., BERTOSSI, L., AND CHOMICKI, J. 2003. Answer sets for consistent query answering in inconsistent databases. Theory Pract. Logic Program. 3, 4, 393-424.
5. ARIELI, O., DENECKER, M., NUFFELEN, B. V., AND BRUYNOOGHE, M. 2004. Coherent integration of databases by abductive logic programming. J. AI. Res. 21, 245-286.
6. BARCELÓ, P. AND BERTOSSI, L. 2003. Logic programs for querying inconsistent databases. In Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages (PADL'03). 208-222.
7. BERTOSSI, L. AND CHOMICKI, J. 2003. Query answering in inconsistent databases. In Logics for Emerging Applications of Databases, J. Chomicki, R. van der Meyden, and G. Saake, Eds. Springer, Chapter 2, 43-83.
8. BERTOSSI, L., CHOMICKI, J., CORTES, A., AND GUTIERREZ, C. 2002. Consistent answers from integrated data sources. In Proceedings of the 6th International Conference on Flexible Query Answering Systems (FQAS'02). 71-85.
9. BERTOSSI, L., HUNTER, A., AND SCHAUB, T., EDS. 2005. Inconsistency Tolerance (result from a Dagstuhl seminar). Lecture Notes in Computer Science, vol. 3300, Springer.
10. BOUZEGHOUB, M. AND LENZERINI, M. 2001. Introduction to the special issue on data extraction, cleaning, and reconciliation. Inform. Syst. 26, 8, 535-536.
11. BRAVO, L. AND BERTOSSI, L. 2003. Logic programming for consistently querying data integration systems. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03). 10-15.
12. BRAVO, L. AND BERTOSSI, L. 2005. Disjunctive deductive databases for computing certain and consistent answers to queries from mediated data integration systems. J. Appl. Logic 3, 1, 329-367.
13. CALÌ, A., LEMBO, D., AND ROSATI, R. 2003a. On the decidability and complexity of query answering over inconsistent and incomplete databases. In Proceedings of the 22nd ACM SIGACT SIGMOD Symposium on Principles of Database Systems (PODS'03). 260-271.
14. CALÌ, A., LEMBO, D., AND ROSATI, R. 2003b. Query rewriting and answering under constraints in data integration systems. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03). 16-21.
15. CELLE, A. AND BERTOSSI, L. 2000. Querying inconsistent databases: Algorithms and implementation. In Proceedings of the International Conference on Computational Logic (CL'00). 942-956.
16. CHOMICKI, J. 2007. Consistent query answering: Five easy pieces. In Proceedings of the 11th International Conference on Database Theory(ICDT'07),T.Schwentick and D.Suciu, Eds. Lecture Notes in Computer Science, Springer, 1-17.
17. CHOMICKI, J. AND MARCINKOWSKI, J. 2005. Minimal-change integrity maintenance using tuple deletions. Inform. Comput. 197, 1-2, 90-121.
18. CHOMICKI, J., MARCINKOWSKI, J., AND STAWORKO, S. 2004a. Computing consistent query answers using conflict hypergraphs. In Proceedings of the 13th ACM Conference on Information and Knowledge Management (CIKM'04). ACM Press, 417-426.
19. CHOMICKI, J., MARCINKOWSKI, J., AND STAWORKO, S. 2004b. Hippo: A system for computing consistent answers to a class of SQL queries. In Proceedings of the 9th International Conference on Extending Database Technology (EDBT'04). Lecture Notes in Computer Science, vol. 2992, Springer, 841-844.
20. DANTSIN, E., EITER, T., GOTTLOB, G., AND VORONKOV, A. 2001. Complexity and expressive power of logic programming. ACM Comput. Surv. 33, 3, 374-425.
21. EITER, T., FINK, M., GRECO, G., AND LEMBO, D. 2003. Efficient evaluation of logic programs for querying data integration systems. In Proceedings of the 19th International Conference on Logic Programming (ICLP'03), C. Palamidessi, Ed. Lecture Notes in Computer Science, vol. 2916, Springer, 163-177.
22. EITER, T., FINK, M., GRECO, G., AND LEMBO, D. 2005. Optimization methods for logic-based query answering from inconsistent data integration systems. Tech. rep. INFSYS RR-1843-05-05, TU Wien.
23. EITER, T., GOTTLOB, G., AND MANNILA, H. 1997. Disjunctive Datalog. ACM Trans. Data. Syst. 22, 3, 364-418.
24. FAGIN, R., ULLMAN, J. D., AND VARDI, M. Y. 1983. On the semantics of updates in databases. In Proceedings of the 2nd ACM SIGACT SIGMOD Symposium on Principles of Database Systems (PODS'83). 352-365.
25. 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.
26. FUXMAN, A. AND MILLER, R. J. 2007. First-order query rewriting for inconsistent databases. J. Comput. Syst. Sci. 73, 4, 610-635.
27. GELFOND, M. AND LIFSCHITZ, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Comput. 9, 365-385.
28. 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.
29. GRIECO, L., LEMBO, D., RUZZI, M., AND ROSATI, R. 2005. Consistent query answering under key and exclusion dependencies: Algorithms and experiments. In Proceedings of the 14th International Conference on Information and Knowledge Management (CIKM'05). 792-799.
30. KIFER, M. AND LOZINSKII, E. L. 1992. A logic for reasoning with inconsistency. J. Automat. Reason. 9, 2, 179-215.
31. KOWALSKI, R. A. AND DADRI, F. 1990. Logic programming with exceptions. In Proceedings of the 7th International Conference on Logic Programming (ICLP'90). 490-504.
32. LEMBO, D., LENZERINI, M., AND ROSATI, R. 2002. Source inconsistency and incompleteness in data integration. In Proceedings of the 9th International Workshop on Knowledge Representation Meets Databases (KR'02).
33. LENZERINI, M. 2002. Data integration: A theoretical perspective. In Proceedings of the 21st ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'02). 233-246.
34. LEONE, N., EITER, T., FABER, W., FINK, M., GOTTLOB, G., GRECO, G., IANNI, G., KALKA, E., LEMBO, D., LENZERINI, M., LIO, V., NOWICKI, B., ROSATI, R., RUZZI, M., STANISZKIS, W., AND TERRACINA, G. 2005. The INFOMIX system for advanced integration of incomplete and inconsistent data. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 915-917.
35. LEONE, N., PFEIFER, G., FABER, W., EITER, T., GOTTLOB, G., PERRI, S., AND SCARCELLO, F. 2006. The DLV System for Knowledge Representation and Reasoning. ACM Trans. Comput. Logic 7, 3, 499-562.
36. LIN, J. 1996. Integration of weighted knowledge bases. AI. 83, 2, 363-378.
37. LIN, J. AND MENDELZON, A. O. 1998. Merging databases under constraints. Int. J. Coop. Inform. Syst. 7, 1, 55-76.
38. NUFFELEN, B. V., CORTÉS-CALABUIG, A., DENECKER, M., ARIELI, O., AND BRUYNOOGHE, M. 2004. Data integration using ID-logic. In Proceedings of the 16th International Conference on Advanced Information Systems Engineering (CAiSE'04), A. Persson and J. Stirna, Eds. Lecture Notes in Computer Science, vol. 3084, Springer, 67-81.
39. SIMONS, P., NIEMELÄ, I., AND SOININEN, T. 2002. Extending and implementing the stable model semantics. AI. 138, 181-234.
40. STAWORKO, S., CHOMICKI, J., AND MARCINKOWSKI, J. 2006. Preference-driven querying of inconsistent relational databases. In EDBT Workshops, T. Grust, et al., Eds. Lecture Notes in Computer Science, vol. 4254, Springer, 318-335.
41. ULLMAN, J. D. 1989. Principles of Database and Knowledge Base Systems. Computer Science Press.
42. WIJSEN, J. 2005. Database repairing using updates. ACM Trans. Datab. Syst. 30, 3, 722-768.