An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Updates in a Rule-Based Language for Objects
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Translating advanced integrity checking technology to SQL
Database integrity
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Hi-index | 0.00 |
We propose a method for satisfying update requests in deductive databases. The setting is a generalization of the view update problem in relational databases. Updates can be drawn from goals and input clauses in derivations that are rooted at the request. An update may be invalidated by negation or integrity constraints. Thus, it may be necessary to try other updates, drawn from the same or other derivations. We show that an SLDNF tree provides for derivations from which a complete set of possible updates for a delete request can be drawn. SLDNF trees are generally not complete for insert requests; rather, more derivations than there are in an SLDNF tree have to be computed for obtaining completeness of updates, in general. Therefore, we define view update trees and show that a complete set of possible view updates for insert requests can be drawn from them. We specify a literal selection strategy that avoids the construction of redundant derivations.