An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
New Generation Computing
Database updates through abduction
Proceedings of the sixteenth international conference on Very large databases
Drawing updates from derivations
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
The role of abduction in database view updating
Journal of Intelligent Information Systems
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
On Updates and Inconsistency Repairing in Knowledge Bases
Proceedings of the Ninth International Conference on Data Engineering
Comparing and Synthesizing Integrity Checking Methods for Deductive Databases
Proceedings of the Tenth International Conference on Data Engineering
A Common Framework for Classifying and Specifying Deductive Database Updating Problems
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
A Model Theoretic Approach to Update Rule Programs
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Method for Change Computation in Deductive Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Towards a Tailored Theory of Consistency Enforcement in Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
| Hi-index | 0.00 |
An important problem that arises when updating a deductive database is that of integrity constraint maintenance. That is, given a consistent database and an update request, to obtain all possible updates of base facts such that the request is satisfied and no integrity constraint is violated. This problem becomes more complex when view updates are also taken into account. In this paper we define a method for view updating and integrity constraint maintenance in deductive databases. We propose a new method that is sound and that improves current methods by dealing with three kinds of updates: insertion, deletion and modification updates on base and derived predicates. Moreover, due to the inclusion of an specific modification operator, the own definition of the method deals with key information of base and derived predicates.