Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
A guide to the SQL standard
Decidability and expressiveness aspects of logic queries
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A translation language complete for database update and specification
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.)
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Equivalence and optimization of relational transactions
Journal of the ACM (JACM)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Lecture notes in computer science on ICDT '88
Lecture notes in computer science on ICDT '88
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
Updating logical databases
Glue-Nail: a deductive database system
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Queries, constraints, updates and transactions within a logic-based language
CIKM '93 Proceedings of the second international conference on Information and knowledge management
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
Towards deductive object databases
Theory and Practice of Object Systems - Special issue on the 1994 European Conference of Object Oriented Programming
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
Procedural and declarative database update languages
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
First-Order Dynamic Logic
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
A Production Rule-Based Approach to Deductive Databases
Proceedings of the Fourth International Conference on Data Engineering
Language Constructs for Programming Active Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Modelling Database Updates with Constraint Logic Programming
Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects: Modelling Database Dynamics
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Inheritance in a Deductive Object Database Language with Updates
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Logical Update Queries as Open Nested Transactions
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Introducing dynamic behavior in amalgamated knowledge bases
Theory and Practice of Logic Programming
Enhancing the expressive power of the U-Datalog language
Theory and Practice of Logic Programming
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
A 25-year perspective on logic programming
Hi-index | 0.01 |
In this paper, we develop a new approach that provides a smooth integration of extensional updates and declarative query languages for deductive databases. The approach is based on a declarative specification of updates in rule bodies. Updates are not executed as soon are evaluated. Instead, they are collected and then applied to the database when the query evaluation is completed. We call this approach nonimmediate update semantics. We provide a top-down and equivalent bottom-up semantics which reflect the corresponding computation models. We also package set of updates into transactions and we provide a formal semantics for transactions. Then, in order to handle complex transactions, we extend the transaction language with control constructors still preserving formal semantics and semantics equivalence.