Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of deductive databases and logic programming
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Intensional updates: abduction via deduction
Logic programming
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Equivalence, query-reachability and satisfiability in Datalog extensions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
View updates in stratified disjunctive databases
Journal of Automated Reasoning
Theorem proving techniques for view deletion in databases
Journal of Symbolic Computation - Special issue on advances in first-order theorem proving
The Events Method for View Updating in Deductive Databases
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
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
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Model Generation with Existentially Quantified Variables and Constraints
ALP '97-HOA '97 Proceedings of the 6th International Joint Conference on Algebraic and Logic Programming
Query Containment Checking as a View Updating Problem
DEXA '98 Proceedings of the 9th International Conference on Database and Expert Systems Applications
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
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
A fixpoint approach to state generation for stratifiable disjunctive deductive databases
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
Hi-index | 0.00 |
In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema design, fixpoint evaluations of these rules at run time compute consistent realizations of view update requests. Alternative realizations are expressed using disjunctive Datalog internally. The approach extends and integrates standard techniques for efficient query answering and integrity checking (based on transformation techniques and fixpoint computation, too). Views may be stratifiably recursive. The set-orientedness of the approach makes it potentially useful in the context of (commercial) SQL systems, too.