Foundations of logic programming
Foundations of logic programming
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
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
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
First-Order Dynamic Logic
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Declarative expression of deductive database updates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards an open architecture for LDL
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Language features for interoperability of databases with schematic discrepancies
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Declarative updates of relational databases
ACM Transactions on Database Systems (TODS)
Semantics for update rule programs and implementation in a relational database management system
ACM Transactions on Database Systems (TODS)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
IEEE Transactions on Knowledge and Data Engineering
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Towards a Real Horn Clause Language
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Hi-index | 0.00 |
The need for control in logic programs is now being recognized. This is particularly evident when one focuses on allowing updates in logic programs. In this paper we propose a language DatalogA which is an extension of Datalog with updates to base relations. We define some procedural constructs to allow update programs to be written in an easy manner. The (W,p) scheme of Dynamic Logic fits nicely into the semantics of DatalogA programs in which W is taken to be the set of all possible states of the program and p is the accessibility relation between states. We give declarative semantics and equivalent constructed model semantics for DatalogA programs. We show that in the absence of updates our semantics reduce to the classical semantics of Datalog. Finally, we show some examples of non-stratified programs expressed in DatalogA.