Classifying integrity checking methods with regard to inconsistency tolerance

We define and examine six classes of methods for integrity checking: case-based, compositional, relevance-based, simplification-based, total-integrity-dependent, and measure-based ones. Each, except the penultimate, corresponds to a particular form of inconsistency tolerance. Inconsistency measures provide a new approach to integrity checking and inconsistency tolerance. For many methods, proofs or disproofs of their inconsistency tolerance become easier and more transparent by our classification. In general, a better understanding of inconsistency-tolerant integrity checking is achieved

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

[2]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .

[3]  Hendrik Decker,et al.  Inconsistency-Tolerant Knowledge Assimilation , 2016, ICSOFT.

[4]  Hendrik Decker,et al.  A Relaxed Approach to Integrity and Inconsistency in Databases , 2006, LPAR.

[5]  Hendrik Decker,et al.  Integrity Checking and Maintenance in Relational and Deductive Database and Beyond , 2007 .

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

[7]  Volker Küchenhoff.  On the Efficient Computation of the Difference Between Concecutive Database States , 1991, DOOD.

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

[9]  Hendrik Decker,et al.  Integrity Enforcement on Deductive Databases , 1986, Expert Database Conf..

[10]  Francesca Toni,et al.  Executing Suspended Logic Programs , 1998, Fundam. Informaticae.

[11]  Raymond Reiter,et al.  What should a database know? , 1988, PODS '88.

[12]  Hendrik Decker,et al.  A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases , 1988, EDBT.

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

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

[15]  Hendrik Decker,et al.  Comparing and synthesizing integrity checking methods for deductive databases , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

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

[17]  Torsten Schaub,et al.  Inconsistency Tolerance , 2005, Lecture Notes in Computer Science.

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

[19]  John Grant,et al.  Logic-based approach to semantic query optimization , 1990, TODS.

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

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

[22]  Antonis C. Kakas,et al.  Applications of Abductive Logic Programming , 1998, IJCSLP.

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

[24]  Michael Stonebraker,et al.  Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.

[25]  John Grant,et al.  Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.