Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning

Authors:
Weidong Chen
Affiliations:
-
Venue:
IEEE Transactions on Knowledge and Data Engineering
Year:
1997

Citing 27
Cited 9

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
Updates, a new frontier

Lecture notes in computer science on ICDT '88
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs

Foundations of deductive databases and logic programming
A logic-based language for database updates

Foundations of deductive databases and logic programming
On the declarative and procedual semantics of logic programs

Journal of Automated Reasoning
Intensional updates: abduction via deduction

Logic programming
Database updates through abduction

Proceedings of the sixteenth international conference on Very large databases
Updating logical databases

Updating logical databases
Hypothetical datalog: complexity and expressibility

Theoretical Computer Science
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
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Database programming with delayed updates

DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Query evaluation under the well-founded semantics

PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Transaction logic programming

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
The alternating fixpoint of logic programs with negation

PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Declarative updates of relational databases

ACM Transactions on Database Systems (TODS)
Query evaluation in deductive databases with alternating fixpoint semantics

ACM Transactions on Database Systems (TODS)
Database updates in logic programming

Proceedings of the seventh 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

First-Order Dynamic Logic
Database System Concepts

Database System Concepts
The Events Method for View Updating in Deductive Databases

EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
Language Constructs for Programming Active Databases

VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
On Implementing a Language for Specifying Active Database Execution Models

VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Dynamic Database Logic: the First-order Case

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)
A procedural semantics for stratified database updates

Annals of Mathematics and Artificial Intelligence
Merging R-Trees: Efficient Strategies for Local Bulk Insertion

Geoinformatica
Hypothetical Temporal Reasoning in Databases

Journal of Intelligent Information Systems - Special issue on data warehousing and knowledge discovery
Extending Datalog with Declarative Updates

Journal of Intelligent Information Systems
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
GBI: A Generalized R-Tree Bulk-Insertion Strategy

SSD '99 Proceedings of the 6th International Symposium on Advances in Spatial Databases
Extending Datalog with Deductive Databases

DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Enhancing the expressive power of the U-Datalog language

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a language of update programs that integrates logical queries, bulk updates and hypothetical reasoning in a seamless manner. There is no syntactic or semantic distinction between queries and updates. Update programs extend logic programs with negation in both syntax and semantics. They allow bulk updates in which an arbitrary update is applied simultaneously for all answers of an arbitrary query. Hypothetical reasoning is naturally supported by testing the success or failure of an update. We describe an alternating fixpoint semantics of update programs and show that it can express all nondeterministic database transformations.