Integrity constraint checking in stratified databases
Journal of Logic Programming
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database Management Systems
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Schema Evolution in SQL-99 and Commercial (Object-)Relational DBMS
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
An online bibliography on schema evolution
ACM SIGMOD Record
Classifying integrity checking methods with regard to inconsistency tolerance
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
A relaxed approach to integrity and inconsistency in databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Inconsistency issues in spatial databases
Inconsistency Tolerance
| Hi-index | 0.00 |
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.