Issue No. 02 - February (2011 vol. 23)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TKDE.2010.87
Hendrik Decker , Instituto Tecnológico de Informática, Valencia, Spain
Davide Martinenghi , Politecnico di Milano, Milano, Italy
All methods for efficient integrity checking require all integrity constraints to be totally satisfied, before any update is executed. However, a certain amount of inconsistency is the rule, rather than the exception in databases. In this paper, we close the gap between theory and practice of integrity checking, i.e., between the unrealistic theoretical requirement of total integrity and the practical need for inconsistency tolerance, which we define for integrity checking methods. We show that most of them can still be used to check whether updates preserve integrity, even if the current state is inconsistent. Inconsistency-tolerant integrity checking proves beneficial both for integrity preservation and query answering. Also, we show that it is useful for view updating, repairs, schema evolution, and other applications.
Integrity checking, inconsistency tolerance.
D. Martinenghi and H. Decker, "Inconsistency-Tolerant Integrity Checking," in IEEE Transactions on Knowledge & Data Engineering, vol. 23, no. , pp. 218-234, 2010.