POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A logic-based language for database updates
Foundations of deductive databases and logic programming
Foundations of deductive databases and logic programming
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Invited talk: automata theory for database theoreticians
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Declarative expression of deductive database updates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Procedural languages for database queries and updates
Journal of Computer and System Sciences
Constraints and redundancy in datalog
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Understanding the new SQL: a complete guide
Understanding the new SQL: a complete guide
Equivalence, query-reachability and satisfiability in Datalog extensions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Equivalence of datalog queries is undecidable
Journal of Logic Programming
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
Irrelevance reasoning in knowledge-based systems
Irrelevance reasoning in knowledge-based systems
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
Declarative updates of relational databases
ACM Transactions on Database Systems (TODS)
A framework for testing safety and effective computability
Journal of Computer and System Sciences
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
On logical foundations of active databases
Logics for databases and information systems
An axiomatic approach to deciding query safety in deductive databases
Proceedings of the seventh 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
IEEE Transactions on Knowledge and Data Engineering
The Starburst Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
A Model Theoretic Approach to Update Rule Programs
ICDT '97 Proceedings of the 6th International Conference on Database Theory
DB2 Common Server: Technology, Progress, & Directions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Introducing Cooperation and Actions in Amalgamated Knowledge Bases
DASFAA '01 Proceedings of the 7th International Conference on Database Systems for Advanced Applications
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
Logical Transactions and Serializability
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Formal Characterization of Active Databases
LID '96 Proceedings of the International Workshop on Logic in Databases
CLP(AD) as a Deductive Database Language with Updates
ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
The PARK Semantics for Active Rules
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Declarative semantics for active rules
Theory and Practice of Logic Programming
Enhancing the expressive power of the U-Datalog language
Theory and Practice of Logic Programming
Implementing Reflective Access Control in SQL
Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII
Hi-index | 0.00 |
Static analysis of declarative languages deals with the detection, at compile time, of program properties that can be used to better understand the program semantics and to improve the efficiency of program evaluation. In logical update languages, an interesting problem is the detection of conflicting updates, inserting and deleting the same fact, for transactions based on set-oriented updates and active rules. In this paper, we investigate this topic in the context of the U-Datalog language, a set-oriented update language for deductive databases [12], based on a deferred semantics. We first formally define relevant properties of U-Datalog programs, mainly related to update conflicts. Then, we prove that the defined properties are decidable and we propose an algorithm to detect such conditions. Finally, we show how the proposed techniques can be applied to other logical update languages. Our results are based on the concept of labeling and query-tree, first used in [30], [31], [32].