Data quality and due process in large interorganizational record systems
Communications of the ACM
Maintaining state constraints in relational databases: a proof theoretic basis
Journal of the ACM (JACM)
Updating derived relations: detecting irrelevant and autonomously computable updates
ACM Transactions on Database Systems (TODS)
Integrity = validity + completeness
ACM Transactions on Database Systems (TODS)
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
On rules, procedure, caching and views in data base systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
An intelligent framework for active support of database semantics
International Journal of Expert Systems - Special issue on Al and databases
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Declarative updates of relational databases
ACM Transactions on Database Systems (TODS)
A first course in database systems
A first course in database systems
Independence of logic database queries and update
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint Analysis: A Design Process for Specifying Operations on Objects
IEEE Transactions on Knowledge and Data Engineering
Incremental Recomputation of Active Relational Expressions
IEEE Transactions on Knowledge and Data Engineering
A Framework for Analysis of Data Quality Research
IEEE Transactions on Knowledge and Data Engineering
An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions
IEEE Transactions on Knowledge and Data Engineering
Differential Relational Calculus for Integrity Maintenance
IEEE Transactions on Knowledge and Data Engineering
Deriving Integrity Maintaining Triggers from Transition Graphs
Proceedings of the Ninth International Conference on Data Engineering
On Updates and Inconsistency Repairing in Knowledge Bases
Proceedings of the Ninth International Conference on Data Engineering
Queries Independent of Updates
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Integrity Enforcement in Object-Oriented Databases
Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects: Modelling Database Dynamics
Electronic Markets, Hierarchies, Hubs, and Intermediaries
Information Systems Frontiers
PrediCalc: a logical spreadsheet management system
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
| Hi-index | 0.00 |
A transaction repair system detects erroneous transactions as they update the database, and for each erroneous transaction, it finds the necessary and sufficient changes to the transaction that would repair it. Detection and repair are the two essential components of semantic integrity maintenance since detection alone would leave the user with the difficult responsibility of manually correcting and reentering an erroneous transaction. Both detection and repair rely on incremental integrity maintenance techniques. The detection process takes advantage of the integrity of the database before the transaction, and detects only the new errors introduced by the transaction. The repair process takes advantage of the integrity before the transaction and integrity violation after the transaction but before the repair. Such a two-step incremental analysis produces the minimal repair necessary and sufficient to correct the transaction. All necessary and sufficient repairs are generated, for all first order constraints, and by using only substitution with no resolution search. Multiple constraints are repaired in parallel, with no sequencing of constraints, and no possibility of cycles. Extensions to recursive constraints and nondeterministic transactions are provided.