INCONSISTENCY-TOLERANT ELIMINATIONS OF INTEGRITY VIOLATIONS

Hendrik Decker

2011

Abstract

Violated integrity constraints should be repaired by eliminating the violations. However, it may be unfeasible to eliminate all violations. We show that it is possible to eliminate some but not necessarily all violations, i.e., to tolerate remaining inconsistencies, while preserving the consistent parts of the database.

References

  1. Afrati, F. and Kolaitis, P. (2009). Repair checking in inconsistent databases: algorithms and complexity. In Proc. 12th ICDT, pages 31-41. ACM Press.
  2. Afrati, F. and Kolaitis, P. (2009). Repair checking in inconsistent databases: algorithms and complexity. In Proc. 12th ICDT, pages 31-41. ACM Press.
  3. Arenas, M., Bertossi, L. E., and Chomicki, J. (1999). Consistent query answers in inconsistent databases. In Proc. 18th PODS, pages 68-79. ACM Press.
  4. Arenas, M., Bertossi, L. E., and Chomicki, J. (1999). Consistent query answers in inconsistent databases. In Proc. 18th PODS, pages 68-79. ACM Press.
  5. Ceri, S., Cochrane, R., and Widom, J. (2000). Practical applications of triggers and constraints: Success and lingering issues (10-year award). In In Proc. 26th VLDB, pages 254-262. Morgan Kaufmann.
  6. Ceri, S., Cochrane, R., and Widom, J. (2000). Practical applications of triggers and constraints: Success and lingering issues (10-year award). In In Proc. 26th VLDB, pages 254-262. Morgan Kaufmann.
  7. Chomicki, J. (2007). Consistent query answering: Five easy pieces. In Proc. 11th ICDT, volume 4353 of LNCS, pages 1-17. Springer.
  8. Chomicki, J. (2007). Consistent query answering: Five easy pieces. In Proc. 11th ICDT, volume 4353 of LNCS, pages 1-17. Springer.
  9. Christiansen, H. and Martinenghi, D. (2006). On simplification of database integrity constraints. Fundamenta Informaticae, 71(4):371-417.
  10. Christiansen, H. and Martinenghi, D. (2006). On simplification of database integrity constraints. Fundamenta Informaticae, 71(4):371-417.
  11. Decker, H. (1990). Drawing updates from derivations. In Proc. 3rd ICDT, volume 470 of LNCS, pages 437- 451. Springer.
  12. Decker, H. (1990). Drawing updates from derivations. In Proc. 3rd ICDT, volume 470 of LNCS, pages 437- 451. Springer.
  13. Decker, H. (2010). Toward a uniform cause-based approach to inconsistency-tolerant database semantics. In Proc. 9th ODBASE, Part II, volume 6427 of LNCS, pages 983-998. Springer.
  14. Decker, H. (2010). Toward a uniform cause-based approach to inconsistency-tolerant database semantics. In Proc. 9th ODBASE, Part II, volume 6427 of LNCS, pages 983-998. Springer.
  15. Decker, H. and Martinenghi, D. (2011). Inconsistencytolerant integrity checking. IEEE Transactions of Knowledge and Data Engineering, 23(2):218-234.
  16. Decker, H. and Martinenghi, D. (2011). Inconsistencytolerant integrity checking. IEEE Transactions of Knowledge and Data Engineering, 23(2):218-234.
  17. Dung, P. M., Kowalski, R., and Toni, F. (2006). Dialectic proof procedures for assumption-based admissible argumentation. Artif. Intell., 170(2):114-159.
  18. Dung, P. M., Kowalski, R., and Toni, F. (2006). Dialectic proof procedures for assumption-based admissible argumentation. Artif. Intell., 170(2):114-159.
  19. Eiter, T., Fink, M., Greco, G. and Lembo, D. (2008). Repair localization for query answering from inconsistent databases. ACM Transactions of Database Systems, 33(2).
  20. Eiter, T., Fink, M., Greco, G. and Lembo, D. (2008). Repair localization for query answering from inconsistent databases. ACM Transactions of Database Systems, 33(2).
  21. Furfaro, F., Greco, S. and Molinaro, C. (2007). A threevalued semantics for querying and repairing inconsistent databases. Annals of Mathematics and Artificial Intelligence, 51(2-4):167-193.
  22. Furfaro, F., Greco, S. and Molinaro, C. (2007). A threevalued semantics for querying and repairing inconsistent databases. Annals of Mathematics and Artificial Intelligence, 51(2-4):167-193.
  23. Greco, G., Greco, S. and Zumpano, E. (2003). A logical framework for querying and repairing inconsistent databases. IEEE Transactions of Knowledge and Data Engineering, 15(6):1389-1408.
  24. Greco, G., Greco, S. and Zumpano, E. (2003). A logical framework for querying and repairing inconsistent databases. IEEE Transactions of Knowledge and Data Engineering, 15(6):1389-1408.
  25. Guessoum, A. and Lloyd, J. (1990). Updating knowledge bases. New Generation Computing, 8(1):71-89.
  26. Guessoum, A. and Lloyd, J. (1990). Updating knowledge bases. New Generation Computing, 8(1):71-89.
  27. Gupta, A., Sagiv, Y., Ullman, J. D., and Widom, J. (1994). Constraint checking with partial information. In Proc. 13th PODS, pages 45-55. ACM Press.
  28. Gupta, A., Sagiv, Y., Ullman, J. D., and Widom, J. (1994). Constraint checking with partial information. In Proc. 13th PODS, pages 45-55. ACM Press.
  29. Kakas, A. and Mancarella, P. (1990). Database updates through abduction. In Proc. 16th VLDB, pages 650- 661. Morgan Kaufmann.
  30. Kakas, A. and Mancarella, P. (1990). Database updates through abduction. In Proc. 16th VLDB, pages 650- 661. Morgan Kaufmann.
  31. Kakas, A., Kowalski, R., and Toni, F. (1998). The role of abduction in logic programming. Handbook in Artificial Intelligence and Logic Programming, 5:235-324.
  32. Kakas, A., Kowalski, R., and Toni, F. (1998). The role of abduction in logic programming. Handbook in Artificial Intelligence and Logic Programming, 5:235-324.
  33. Lee, S. Y. and Ling, T. W. (1996). Further improvements on integrity constraint checking for stratifiable deductive databases. In Proc. 22nd VLDB, pages 495-505. Kaufmann.
  34. Lee, S. Y. and Ling, T. W. (1996). Further improvements on integrity constraint checking for stratifiable deductive databases. In Proc. 22nd VLDB, pages 495-505. Kaufmann.
  35. Nicolas, J.-M. (1982). Logic for improving integrity checking in relational data bases. Acta Informatica, 18:227- 253.
  36. Nicolas, J.-M. (1982). Logic for improving integrity checking in relational data bases. Acta Informatica, 18:227- 253.
Download


Paper Citation


in Harvard Style

Decker H. (2011). INCONSISTENCY-TOLERANT ELIMINATIONS OF INTEGRITY VIOLATIONS . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 390-395. DOI: 10.5220/0003502503900395


in Harvard Style

Decker H. (2011). INCONSISTENCY-TOLERANT ELIMINATIONS OF INTEGRITY VIOLATIONS . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 390-395. DOI: 10.5220/0003502503900395


in Bibtex Style

@conference{icsoft11,
author={Hendrik Decker},
title={INCONSISTENCY-TOLERANT ELIMINATIONS OF INTEGRITY VIOLATIONS},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={390-395},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003502503900395},
isbn={978-989-8425-77-5},
}


in Bibtex Style

@conference{icsoft11,
author={Hendrik Decker},
title={INCONSISTENCY-TOLERANT ELIMINATIONS OF INTEGRITY VIOLATIONS},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={390-395},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003502503900395},
isbn={978-989-8425-77-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - INCONSISTENCY-TOLERANT ELIMINATIONS OF INTEGRITY VIOLATIONS
SN - 978-989-8425-77-5
AU - Decker H.
PY - 2011
SP - 390
EP - 395
DO - 10.5220/0003502503900395


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - INCONSISTENCY-TOLERANT ELIMINATIONS OF INTEGRITY VIOLATIONS
SN - 978-989-8425-77-5
AU - Decker H.
PY - 2011
SP - 390
EP - 395
DO - 10.5220/0003502503900395