Hendrik Decker



A recently introduced notion of inconsistency tolerance for integrity checking is revisited. Two conditions that enable an easy verification or falsification of inconsistency tolerance are discussed. Based on a method-independent definition of inconsistency-tolerant updates, this notion is then extended to a family of knowledge assimilation tasks. These include integrity maintenance, view updating and repair of integrity violation. Many knowledge assimilation approaches turn out to be inconsistency-tolerant without needing any specific knowledge about the given status of integrity of the underlying database.


  1. Arenas, M., Bertossi, and Chomicki, J. (1999). Consistent Query Answers in Inconsistent Databases. Proc. 18th PODS, 68-79. ACM Press.
  2. Bertossi, L., Hunter, A. and Schaub, T. (2005). Inconsistency Tolerance. Springer LNCS vol. 3300.
  3. Christiansen, H. and Martinenghi, D. (2006). On Simplification of Database Integrity Constraints. Fundam. Inform. 71(4):371-417.
  4. Decker, H. (1987). Integrity enforcement on deductive databases. Proc. EDS'86, 381-395. Benjamin/Cummings.
  5. Decker, H. (1990). Drawing Updates From Derivations. Proc. 3rd ICDT, 437-451. Springer LNCS vol. 470.
  6. Decker, H. (1998). Some Notes on Knowledge Assimilation in Deductive Databases. Transactions and Change in Logic Databases, 249-286. Springer LNCS vol. 1472.
  7. Decker, H. and Martinenghi, D. (2006a). Checking Violation Tolerance of Approaches to Database Integrity. Proc. 4th ADVIS, 139-148. Springer LNCS vol. 4243.
  8. Decker, H. and Martinenghi, D. (2006b). A Relaxed Approach to Integrity and Inconsistency in Databases. Proc. 13th LPAR, 287-301. Springer LNCS vol. 4246.
  9. Decker, H. and Martinenghi, D. (2007). Getting Rid of Straitjackets for Flexible Integrity Checking. To appear in Proc. DEXA'07 Workshop FlexDBIST-07.
  10. Decker, H., Teniente, E. and Urpí, T. (1996). How to Tackle Schema Validation by View Updating. Proc. 5th EDBT, 535-549. Springer LNCS vol. 1057.
  11. Dung, P. M., Kowalski, R. A. and Toni, F. (2006). Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170(2):114-159.
  12. Guessoum, A. and Lloyd, J. (1990a) Updating Knowledge Bases. New Generation Comput. 8(1):71-89.
  13. Guessoum, A. and Lloyd, J. (1990b) Updating Knowledge Bases II. New Generation Comput. 10(1):73-100.
  14. Gupta, A., Sagiv, Y., Ullman, J. and Widom, J (1994). Constraint checking with partial information. Proc. 13th PODS, 45-55. ACM Press.
  15. Kakas, A. and Mancarella, P. (1990a). Database Updates through Abduction. Proc. 16th VLDB, 650-661, Morgan Kaufmann.
  16. Kakas, A. and Mancarella, P. (1990b). Knowledge Assimilation and Abduction. Truth Maintenance Systems, 54- 70. Springer LNCS vol. 515.
  17. Kakas, A., Kowalski, R. A. and Toni, F. (1998). The Role of Abduction in Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming, 235-324. Oxford University Press.
  18. Kowalski, R. A. (1979). Logic for Problem Solving. NorthHolland, 1979.
  19. Lee, S. Y. and Ling, T. W. (1996) Further improvements on integrity constraint checking for stratifiable deductive databases. Proc. 22nd VLDB, 495-505. Morgan Kaufmann.
  20. Lloyd, J., Sonenberg, L. and Topor, R. (1987). Integrity constraint checking in stratified databases. J. Logic Progr. 4(4):331-343.
  21. Lopatenko, A. and Bertossi, L. (2007). Complexity of Consistent Query Answering in Databases under Cardinality-Based and Incremental Repair Semantics. Proc. 11th ICDT, 179-193. Springer LNCS vol. 4353.
  22. Martinenghi, D., Christiansen, H. and Decker, H. (2006). Integrity Checking and Maintenance in Relational and Deductive Databases and Beyond. In Zongmin Ma (ed): Intelligent Databases: Technologies and Applications, 238-285. Idea Group, 2006.
  23. Miyachi, T., Kunifuji, S., Kitakami, H., Furukawa, K., Takeuchi, A. and Yokota, H. (1984). A Knowledge Assimilation Method for Logic Databases. New Generation Comput. 2(4):385-404.
  24. Nicolas, J. M. (1982). Logic for improving integrity checking in relational data bases. Acta Informatica 18:227- 253.
  25. Sadri, F. and Kowalski, R. A. (1988) A theorem-proving approach to database integrity. Foundations of Deductive Databases and Logic Programming, 313-362. Morgan Kaufmann.

Paper Citation

in Harvard Style

Decker H. (2007). INCONSISTENCY-TOLERANT KNOWLEDGE ASSIMILATION . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-8111-05-0, pages 198-205. DOI: 10.5220/0001331701980205

in Bibtex Style

author={Hendrik Decker},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT,},

in EndNote Style

JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT,
SN - 978-989-8111-05-0
AU - Decker H.
PY - 2007
SP - 198
EP - 205
DO - 10.5220/0001331701980205