NP-completeness of the set unification and matching problems
Proc. of the 8th international conference on Automated deduction
Integrity constraint checking in stratified databases
Journal of Logic Programming
Minimizing function-free recursive inference rules
Journal of the ACM (JACM)
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Efficient evaluation of right-, left-, and multi-linear rules
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Towards an algebraic theory of recursion
Journal of the ACM (JACM)
Deduction systems based on resolution
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Integrity constraints: semantics and applications
Logics for databases and information systems
Materialized views: techniques, implementations, and applications
Materialized views: techniques, implementations, and applications
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Incremental maintenance of recursive views using relational calculus/SQL
ACM SIGMOD Record
An Effective Method for Integrity Constraint Simplification
Proceedings of the Fourth International Conference on Data Engineering
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
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
Soft stratification for magic set based query evaluation in deductive databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Translating advanced integrity checking technology to SQL
Database integrity
Incremental integrity checking: limitations and possibilities
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Hi-index | 0.00 |
Efficient and incremental maintenance of integrity constraints involving recursive views is a difficult issue that has received some attention in the past years, but for which no widely accepted solution exists yet. In this paper a technique is proposed for compiling such integrity constraints into incremental and optimized tests specialized for given update patterns. These tests may involve the introduction of new views, but for relevant cases of recursion, simplified integrity constraints are obtained that can be checked more efficiently than the original ones and without auxiliary views. Notably, these simplified tests are derived at design time and can be executed before the particular database update is made and without simulating the updated state. In this way all overhead due to optimization or execution of compensative actions at run time is avoided. It is argued that, in the recursive case, earlier approaches have not achieved comparable optimization with the same level of generality.