Towards a Dynamic Inconsistency-Tolerant Schema Maintenance

When a relational database schema changes, the questions arises if any integrity constraint is violated by the change. For dynamic schema maintenance, traditional methods to answer this question have several debilities. First, they require that all integrity constraints be satisfied before admitting any update, although extant integrity violations are frequent in practice. Second, they are inefficient for dynamic changes of integrity constraints. Third, they are unflexible wrt safety-critical constraints. Fourth, they usually do not care at all whether an updated schema remains satisfiable. We propose improvements of each of these weaknesses.

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

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

[3]  Tok Wang Ling,et al.  Conceptual Modeling for Advanced Application Domains , 2004, Lecture Notes in Computer Science.

[4]  M. Andrea Rodríguez,et al.  Inconsistency Issues in Spatial Databases , 2005, Inconsistency Tolerance.

[5]  Frank Wolter,et al.  Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.

[6]  Jordi Cabot,et al.  Automatic Integrity Constraint Evolution due to Model Subtract Operations , 2004, ER.

[7]  Hendrik Decker,et al.  Classifying integrity checking methods with regard to inconsistency tolerance , 2008, PPDP.

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

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

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

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

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

[13]  Can Türker,et al.  Schema Evolution in SQL-99 and Commercial (Object-)Relational DBMS , 2000, FMLDO.

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

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

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

[17]  Zongmin Ma,et al.  Intelligent Databases: Technologies and Applications , 2006 .

[18]  Erhard Rahm,et al.  An online bibliography on schema evolution , 2006, SGMD.

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

[20]  Stefano Ceri,et al.  Advances in Database Technology—EDBT '88 , 1988, Lecture Notes in Computer Science.