Database repairing using updates

ACM Transactions on Database Systems

Volumn 30, Issue 3, 2005, Pages 722-768

  Wijsen, Jef ^a  

^a UNIVERSITY OF MONS   (Belgium)

Author keywords

Consistent query answering; Database repairing

Indexed keywords

CONSISTENT QUERY ANSWERING; DATABASE; DATABASE REPAIRING; UPDATE-BASED REPAIRING;

DATA STRUCTURES; ERROR ANALYSIS; ERROR CORRECTION; QUERY LANGUAGES;

DATABASE SYSTEMS;

EID: 33745206041     PISSN: 03625915     EISSN: 03625915     Source Type: Journal    
DOI: 10.1145/1093382.1093385     Document Type: Article

References (40)

1. ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison-Wesley.
2. 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. ACM Press, 68-79.
3. ARENAS, M., BERTOSSI, L. E., AND CHOMICKI, J. 2003a. Answer sets for consistent query answering in inconsistent databases. Theory and Practice of Logic Programming 3, 3-4, 393-424.
4. ARENAS, M., BERTOSSI, L. E., CHOMICKI, J., HE, X., RAGHAVAN, V., AND SPINRAD, J. 2003b. Scalar aggregation in inconsistent databases. Theor. Comput. Sci. 296, 3, 405-434.
5. ARENAS, M., BEHTOSSI, L. E., AND KIFER, M. 2000. Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. In Proceedings of the 1st International Conference on Computational Logic (CL 2000). LNAI, vol. 1861. Springer, 926-941.
6. ARIELI, O. 2000. An algorithmic approach to recover inconsistent knowledge-bases. In Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA 2000). LNCS, vol. 1919. Springer, 148-162.
7. ARIELI, O., DENECKER, M., NUFFELEN, B. V., AND BRUYNOOGHE, M. 2002. Repairing inconsistent databases: A model-theoretic approach and abductive reasoning. In Paraconsistent Computational Logic. Datalogiske Skrifter, vol. 95. Roskilde University, Roskilde, Denmark, 51-65.
8. ARIELI, O., DENECKER, M., NUFEELEN, B. V., AND BRUYNOOGHE, M. 2004. Database repair by signed formulae. In Proceedings of the 3rd International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004). LNCS, vol. 2942. Springer, 14-30.
9. BEERI, C. AND VARDI, M. Y. 1984. A proof procedure for data dependencies. J. ACM 31, 4 (Oct.), 718-741.
10. BERTOSSI, L. E. 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.
11. BERTOSSI, L. E. AND SCHWIND, C. 2002. Analytic tableaux and database repairs: Foundations. In Proceedings of the 2nd International Symposium on Foundations on Information and Knowledge Systems (FoIKS 2002). LNCS, vol. 2284. Springer, 32-48.
12. BERTOSSI, L. E. AND SCHWIND, C. 2004. Database repairs and analytic tableaux. Annals of Mathematics and Artificial Intelligence 40, 1-2, 5-35.
13. BRAVO, L. AND BERTOSSI, L. E. 2003. Logic programs for consistently querying data integration systems. In Proceedings of the 18th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, 10-15.
14. BRAVO, L. AND BERTOSSI, L. E. 2004. Consistent query answering under inclusion dependencies. In CASCON. IBM, 202-216.
15. BRY, F. 1997. Query answering in information systems with integrity constraints. In First IFIP WG 11.5 Working Conference on Integrity and Internal Control in Information Systems: Increasing the Confidence in Information Systems, Zurich, Switzerland, December 4-5, 1997. Chapman Hall, 113-130.
16. CALÌ, A., CALVANESE, D., GIACOMO, G. D., AND LENZERINI, M. 2004. Data integration under integrity constraints. Inf. Syst. 29, 2, 147-163.
17. 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 Symposium on Principles of Database Systems. ACM, 260-271.
18. 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. Morgan Kaufmann, 16-21.
19. CELLE, A. AND BERTOSSI, L. E. 2000. Querying inconsistent databases: Algorithms and implementation. In Proceedings of the 1st International Conference on Computational Logic (CL 2000), LNAI, vol. 1861. Springer, 942-956.
20. CHOMICKI, J. AND MARCINKOWSKI, J. 2005a. Minimal-change integrity maintenance using tuple deletions. Inf. Comput. 197, 1-2, 90-121.
21. CHOMICKI, J. AND MARCINKOWSKI, J. 2005b. On the computational complexity of minimal-change integrity maintenance in relational databases. In Inconsistency Tolerance. LNCS, vol. 3300. Springer, 119-150.
22. 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, 417-426.
23. 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 2004). LNCS, vol. 2992. Springer, 841-844.
24. DE AMO, S., CARNIELLI, W. A., AND MARCOS, J. 2002. A logical framework for integrating inconsistent information in multiple databases. In Proceedings of the 2nd International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2002). LNCS, vol. 2284. Springer, 67-84.
25. FAGIN, R., KOLAITIS, P. G., MILLER, R. J., AND POPA, L. 2002. Data exchange: Semantics and query answering. In Proceedings of the 9th International Conference on Database Theory (ICDT2003). LNCS, vol. 2572. Springer, 207-224.
26. FAGIN, R., KOLAITIS, P. G., AND POPA, L. 2003. Data exchange: Getting to the core. In Proceedings of the 22nd ACM Symposium on Principles of Database Systems. ACM, 90-101. A journal version will appear in ACM Trans. Database Syst.
27. 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 2001). LNCS, vol. 2250. Springer, 561-578.
28. FUXMAN, A. D. AND MILLER, R. J. 2005. First-order rewriting for inconsistent databases. In Proceedings of the 10th International Conference on Database Theory (ICDT 2005). LNCS, vol. 3363. Springer, 337-351.
29. GRANT, J. AND SUBRAHMANIAN, V. S. 1995. Reasoning in inconsistent knowledge bases. IEEE Trans. Knowl. Data Eng. 7, 1, 177-189.
30. GRECO, G., GRECO, S., AND ZUMPANO, E. 2003a. A logical framework for querying and repairing inconsistent databases. IEEE Trans. Knowl. Data Eng. 25, 6, 1389-1408.
31. GRECO, S., SIRANGELO, C., TRUBITSYNA, I., AND ZUMPANO, E. 2003b. Preferred repairs for inconsistent databases. In 7th International Database Engineering and Applications Symposium (IDEAS 2003). IEEE Computer Society, 202-211.
32. HELL, P. AND ZHU, X. 1995. The existence of homomorphisms to oriented cycles. SIAM J. Discrete Math. 8, 2, 208-222.
33. 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 (KRDB 2002). Number 54 in CEUR Workshop Proceedings. Technical University of Aachen (RWTH).
34. LIN, J. AND MENDELZON, A. O. 1998. Merging databases under constraints. Int. J. Cooperative Inf. Syst. 7, 1, 55-76.
35. NAIR, M. 1982a. A new method in elementary prime number theory. J. London Math. Soc. 25, 385-391.
36. NAIR, M. 1982b. On Chebyshev-type inequalities for primes. Amer. Math. Monthly 89, 126-129.
37. PLOTKIN, G. D. 1969. A note on inductive generalization. In Machine Intelligence 5, B. Meltzer and D. Michie, Eds. Edinburgh University Press, Edinburgh, 153-163.
38. SCIORE, E. 1983. Inclusion dependencies and the universal instance. In Proceedings of the 2nd ACM Symposium on Principles of Database Systems. ACM, 48-57.
39. WIJSEN, J. 2002. Condensed representation of database repairs for consistent query answering. In Proceedings of the 9th International Conference on Database Theory (ICDT 2003). LNCS, vol. 2572. Springer, 378-393.
40. 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 2004). LNCS, vol. 3255. Springer, 291-305.