The Community for Technology Leaders
Green Image
Issue No. 02 - February (2011 vol. 23)
ISSN: 1041-4347
pp: 218-234
Davide Martinenghi , Politecnico di Milano, Milano, Italy
Hendrik Decker , Instituto Tecnológico de Informática, Valencia, Spain
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.
Davide Martinenghi, Hendrik Decker, "Inconsistency-Tolerant Integrity Checking", IEEE Transactions on Knowledge & Data Engineering, vol. 23, no. , pp. 218-234, February 2011, doi:10.1109/TKDE.2010.87
103 ms
(Ver 3.1 (10032016))