Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
Lecture notes in computer science on ICDT '88
View update translation via deduction and annotation
Lecture notes in computer science on ICDT '88
A logic-based language for database updates
Foundations of deductive databases and logic programming
Compiling the GCWA in indefinite deductive databases
Foundations of deductive databases and logic programming
Intensional updates: abduction via deduction
Logic programming
Updating logical databases
Solving ambiguities in updating deductive databases
MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
Drawing updates from derivations
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Updating relational databases through object-based views
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Updating intensional predicates in Datalog
Data & Knowledge Engineering
View updates in stratified disjunctive databases
Journal of Automated Reasoning
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Choosing a View Update Translator by Dialog at View Definition Time
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference 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
Querying and Updating the File
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Semantics for disjunctive logic programs
Semantics for disjunctive logic programs
Processing indefinite deductive databases under the possible model semantics
Fundamenta Informaticae
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
Computing Only Minimal Answers in Disjunctive Deductive Databases
Journal of Automated Reasoning
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
Processing Indefinite Deductive Databases under the Possible Model Semantics
Fundamenta Informaticae
Processing Deductive Databases under the Disjunctive Stable Model Semantics
Fundamenta Informaticae
Hi-index | 0.00 |
The view update problem is concerned with indirectly modifying those tuples that satisfy a view (or derived table) by an appropriate update against the corresponding base tables. The notion of a deduction tree is defined, and the relationship between such trees and the view update problem for indefinite deductive databases is considered. It is shown that a traversal of an appropriate deduction tree yields sufficient information to perform view updates at the propositional level. To obtain a similar result at the first order level, it is necessary (for theoretical and computational reasons) to impose some weak stratification and definiteness constraints on the database.