Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A model-theoretic approach to updating logical databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A model-based approach to updating databases with incomplete information
ACM Transactions on Database Systems (TODS)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
View update translation via deduction and annotation
Lecture notes in computer science on ICDT '88
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
New Generation Computing
Intensional updates: abduction via deduction
Logic programming
Drawing updates from derivations
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Updating intensional predicates in Datalog
Data & Knowledge Engineering
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
New Generation Computing
Modular stratification and magic sets for DATALOG programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database updates in logic programming
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
First-Order Dynamic Logic
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
| Hi-index | 0.00 |
This paper addresses the problem of updating knowledge encoded in the form of a logic program. Our approach is based upon the idea of executing a basic update by directly modifying the truth valuation of the (intensionally or extensionally defined) atom which is the object of an update. The modifications propagate, in a recursive fashion, to the truth valuations of atoms depending on the updated one. An update language is defined around this central idea. The language is built upon two basic update operators, respectively denoting insertion and deletion of a positive literal (atom). Several structures are defined for combining basic updates into complex ones and controlling the execution flow.