The Community for Technology Leaders
RSS Icon
Issue No.02 - February (2011 vol.23)
pp: 218-234
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.
Hendrik Decker, Davide Martinenghi, "Inconsistency-Tolerant Integrity Checking", IEEE Transactions on Knowledge & Data Engineering, vol.23, no. 2, pp. 218-234, February 2011, doi:10.1109/TKDE.2010.87
[1] M. Arenas, L.E. Bertossi, and J. Chomicki, "Consistent Query Answers in Inconsistent Databases," Proc. Symp. Principles of Database Systems (PODS '99). pp. 68-79, 1999.
[2] R. Ramakrishnan and J. Gehrke, Database Management Systems. McGraw-Hill, 2003.
[3] M. Gelfond and V. Lifschitz, "The Stable Model Semantics for Logic Programming," Proc. Fifth Logic Programming Symp., pp. 1070-1080, 1988.
[4] F. Sadri and R. Kowalski, "A Theorem-Proving Approach to Database Integrity," Foundations of Deductive Databases and Logic Programming, pp. 313-362, Morgan Kaufmann, 1988.
[5] J.W. Lloyd, L. Sonenberg, and R.W. Topor, "Integrity Constraint Checking in Stratified Databases," J. Logic Programming, vol. 4, no. 4, pp. 331-343, 1987.
[6] J.-M. Nicolas, "Logic for Improving Integrity Checking in Relational Data Bases," Acta Informatica, vol. 18, pp. 227-253, 1982.
[7] H. Christiansen and D. Martinenghi, "On Simplification of Database Integrity Constraints," Fundamenta Informaticae, vol. 71, no. 4, pp. 371-417, 2006.
[8] A. Gupta, Y. Sagiv, J.D. Ullman, and J. Widom, "Constraint Checking with Partial Information," Proc. Symp. Principles of Database Systems (PODS '94). pp. 45-55, 1994.
[9] S.Y. Lee and T.W. Ling, "Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases," Proc. Conf. Very Large Data Bases (VLDB '96). pp. 495-505, 1996.
[10] H. Decker and D. Martinenghi, "Classifying Integrity Checking Methods with Regard to Inconsistency Tolerance," Proc. Int'l Conf. Principles and Practice of Declarative Programming (PPDP '08). pp. 195-204, 2008.
[11] A.K. Chandra and P.M. Merlin, "Optimal Implementation of Conjunctive Queries in Relational Data Bases," Proc. Ninth Ann. ACM Symp. Theory of Computing. pp. 77-90, 1977.
[12] R.A. Kowalski, F. Sadri, and P. Soper, "Integrity Checking in Deductive Databases," Proc. Conf. Very Large Data Bases (VLDB '87). pp. 61-69, 1987.
[13] A. Guessoum and J. Lloyd, "Updating Knowledge Bases," New Generation Computing, vol. 8, no. 1, pp. 71-89, 1990.
[14] A. Guessoum and J. Lloyd, "Updating Knowledge Bases ii," New Generation Computing, vol. 10, no. 1, pp. 73-100, 1991.
[15] A. Kakas and P. Mancarella, "Database Updates through Abduction," Proc. Conf. Very Large Data Bases (VLDB '90). pp. 650-661, 1990.
[16] G. Greco, S. Greco, and E. Zumpano, "A Logical Framework for Querying and Repairing Inconsistent Databases," IEEE Trans. Knowledge and Data Engineering, vol. 15, no. 6, pp. 1389-1408, Nov. 2003.
[17] T. Eiter, M. Fink, G. Greco, and D. Lembo, "Repair Localization for Query Answering from Inconsistent Databases," ACM Trans. Database Systems, vol. 33, no. 2, pp. 1-51, 2008.
[18] F. Furfaro, S. Greco, and C. Molinaro, "A Three-Valued Semantics for Querying and Repairing Inconsistent Databases," Ann. Math. and Artificial Intelligence, vol. 51, nos. 2-4, pp. 167-193, 2007.
[19] J. Chomicki, "Consistent Query Answering: Five Easy Pieces," Proc. Int'l Conf. Database Theory (ICDT), pp. 1-17, 2007.
[20] A. Fuxman, E. Fazli, and R.J. Miller, "ConQuer: Efficient Management of Inconsistent Databases," Proc. ACM SIGMOD '05, pp. 155-166, 2005.
[21] A. Borgida, "Language Features for Flexible Handling of Exceptions in Information Systems," ACM Trans. Database Systems, vol. 10, no. 4, pp. 565-603, 1985.
[22] R. Balzer, "Tolerating Inconsistency," Proc. Int'l Conf. Software Eng. (ICSE '91). pp. 158-165, 1991.
[23] O. Etzion, "Handling Active Databases with Partial Inconsistencies," Proc. European Conf. Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU '91), vol. 548, pp. 171-175, 1991.
[24] L. Bertossi, A. Hunter, and T. Schaub, Inconsistency Tolerance. Springer, 2005.
[25] J. Grant and A. Hunter, "Analysing Inconsistent First-Order Knowledgebases," Artificial Intelligence, vol. 172, nos. 8/9, pp. 1064-1093, 2008.
[26] R.A. Kowalski, Logic for Problem Solving. Elsevier, 1979.
[27] J. Grant and A. Hunter, "Measuring Inconsistency in Knowledgebases," J. Intelligent Information Systems, vol. 27, no. 2, pp. 159-184, 2006.
[28] H. Decker and D. Martinenghi, "A Relaxed Approach to Integrity and Inconsistency in Databases," Proc. Int'l Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '06), pp. 287-301, Springer, 2006.
[29] P.M. Dung, R. Kowalski, and F. Toni, "Dialectic Proof Procedures for Assumption-Based Admissible Argumentation," Artificial Intelligence, vol. 170, no. 2, pp. 114-159, 2006.
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool