Partial Repairs That Tolerate Inconsistency

The consistency of databases can be supported by enforcing integrity constraints on the stored data. Constraints that are violated should be repaired by eliminating the causes of the violations. Traditionally, repairs are conceived to be total. However, it may be unfeasible to eliminate all violations. We show that it is possible to get by with partial repairs that tolerate extant inconsistencies. They may not eliminate all causes of integrity violations but preserve the consistent parts of the database. Remaining violations can be controlled by measuring inconsistency, and further reduced by inconsistency-tolerant integrity checking.

[1]  Thomas Eiter,et al.  Repair localization for query answering from inconsistent databases , 2008, TODS.

[2]  Jean-Marie Nicolas.  Logic for improving integrity checking in relational data bases⋆ , 2004, Acta Informatica.

[3]  Hendrik Decker,et al.  Modeling, Measuring and Monitoring the Quality of Information , 2009, ER Workshops.

[4]  Sin Yeung Lee,et al.  Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases , 1996, VLDB.

[5]  Tharam S. Dillon,et al.  On the Move to Meaningful Internet Systems, OTM 2010 , 2010, Lecture Notes in Computer Science.

[6]  Phan Minh Dung,et al.  Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..

[7]  Liz Sonenberg,et al.  Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..

[8]  Phokion G. Kolaitis,et al.  Repair checking in inconsistent databases: algorithms and complexity , 2009, ICDT '09.

[9]  Sergio Greco,et al.  Active Integrity Constraints for Database Consistency Maintenance , 2009, IEEE Transactions on Knowledge and Data Engineering.

[10]  Jennifer Widom,et al.  Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award) , 2000, VLDB.

[11]  Helmut Seidl,et al.  Exact XML Type Checking in Polynomial Time , 2007, ICDT.

[12]  Jan Chomicki,et al.  Consistent Query Answering: Five Easy Pieces , 2007, ICDT.

[13]  Miroslaw Truszczynski,et al.  Active integrity constraints and revision programming , 2010, Theory and Practice of Logic Programming.

[14]  Sergio Greco,et al.  A three-valued semantics for querying and repairing inconsistent databases , 2007, Annals of Mathematics and Artificial Intelligence.

[15]  Hendrik Decker,et al.  Inconsistency-Tolerant Integrity Checking , 2011, IEEE Transactions on Knowledge and Data Engineering.

[16]  Henning Christiansen,et al.  On Simplification of Database Integrity Constraints , 2006, Fundam. Informaticae.

[17]  Günther Pernul,et al.  Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings , 2009, ER Workshops.

[18]  Jack Minker.  Foundations of deductive databases and logic programming , 1988 .

[19]  Sergio Greco,et al.  A Logical Framework for Querying and Repairing Inconsistent Databases , 2003, IEEE Trans. Knowl. Data Eng..

[20]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[21]  Raghu Ramakrishnan,et al.  Database Management Systems , 1976 .

[22]  Jennifer Widom,et al.  Constraint checking with partial information , 1994, PODS.

[23]  John W. Lloyd,et al.  Updating knowledge bases II , 1991, New Generation Computing.

[24]  Jan Chomicki,et al.  Consistent query answers in inconsistent databases , 1999, PODS '99.

[25]  Hendrik Decker,et al.  Drawing Updates From Derivations , 1990, ICDT.

[26]  Robert A. Kowalski,et al.  A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..

[27]  John W. Lloyd,et al.  Updating knowledge bases , 1990, New Generation Computing.

[28]  Antonis C. Kakas,et al.  The role of abduction in logic programming , 1998 .

[29]  Hendrik Decker.  Toward a Uniform Cause-Based Approach to Inconsistency-Tolerant Database Semantics , 2010, OTM Conferences.