Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate Inconsistency

To maintain the quality of stored data, their integrity should be enforced. Repairing violations of integrity constraints contributes to integrity enforcement and thus to quality maintenance. Inconsistencies in databases are unavoidable, and repairing all of them often is unfeasible. We show that it is possible to get by with partial repairs that tolerate extant inconsistencies, while preserving the consistent parts of the database. Such repairs also integrity-preserving. Such repairs reduce the amount of integrity constraint violations and hence improve the quality of the stored data.

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

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

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

[4]  Luigi Portinale,et al.  On the role of abduction , 1995, CSUR.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[25]  Hendrik Decker.  Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics , 2011, KES.

[26]  Henning Christiansen,et al.  Simplification of Database Integrity Constraints Revisited: A Transformational Approach , 2003, LOPSTR.

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

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