A path finding method for constraint checking in deductive databases
Data & Knowledge Engineering
Intensional updates: abduction via deduction
Logic programming
On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
Termination and confluence of rule execution
CIKM '93 Proceedings of the second international conference on Information and knowledge management
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
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
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Structuring the Process of Integrity Maintenance
DEXA '97 Proceedings of the 8th International Conference on Database and Expert Systems Applications
Addressing Efficiency Issues During the Process of Integrity Maintenance
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Effect Preservation as a Means for Achieving Update Consistency
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Checking enforcement of integrity constraints in database applications based on code patterns
Journal of Systems and Software
| Hi-index | 0.00 |
Integrity enforcement (IE) is important in all areas of information processing - DBs, web based systems, e-commerce. Beside checking and enforcing consistency for given data modifications approaches for IE have to cope with termination control, repair mechanisms, effect preservation and efficiency. However, existing approaches handle those problems in many different ways. Often the generation of repairs is too complex, termination of repairs is specified imprecise and effect preservation is insufficient. In this work we propose to extend integrity constraints by termination bounds and to represent the enforcement task by dependency graphs (DG) which allow efficient pre-processing without costly run-time evaluation of constraints. Further, we present an optimization technique by serializing DGs and a history approach for effect preservation. Our main contribution is an uniform framework that considers all relevant criteria for integrity enforcement and shows how termination control, effect preservation and efficiency can be designed to be used within modern database management systems.