Foundations of logic programming
Foundations of logic programming
A logic-based language for database updates
Foundations of deductive databases and logic programming
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Logic programming and databases
Logic programming and databases
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
A transformation system for deductive database modules with perfect model semantics
Theoretical Computer Science
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
A compositional semantics for logic programs
FGCS'921 Selected papers of the conference on Fifth generation computer systems
Declarative updates of relational databases
ACM Transactions on Database Systems (TODS)
Static analysis of intensional databases in U-Datalog (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Active-U-Datalog: Integrating Active Rules in a Logical Update Language
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
On Active Deductive Databases: The Statelog Approach
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Logical Transactions and Serializability
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
A logic for state-modifying authorization policies
ACM Transactions on Information and System Security (TISSEC)
Dedalus: datalog in time and space
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Hi-index | 0.00 |
U-Datalog has been developed with the aim of providing a set-oriented logical update language, guaranteeing update parallelism in the context of a Datalog-like language. In U-Datalog, updates are expressed by introducing constraints (+p(X), to denote insertion, and −p(X), to denote deletion) inside Datalog rules. A U-Datalog program can be interpreted as a CLP program. In this framework, a set of updates (constraints) is satisfiable if it does not represent an inconsistent theory, that is, it does not require the insertion and the deletion of the same fact. This approach resembles a very simple form of negation. However, on the other hand, U-Datalog does not provide any mechanism to explicitly deal with negative information, resulting in a language with limited expressive power. In this paper, we provide a semantics, based on stratification, handling the use of negated atoms in U-Datalog programs, and we show which problems arise in defining a compositional semantics.