A procedural semantics for stratified database updates

Authors:
Weidong Chen;Julie Yu-Chih Liu
Affiliations:
Computer Science and Engineering, Southern Methodist University, Dallas, Texas 75275‐0122, USA E-mail: {wchen,yuchih}@seas.smu.edu;Computer Science and Engineering, Southern Methodist University, Dallas, Texas 75275‐0122, USA E-mail: {wchen,yuchih}@seas.smu.edu
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
1997

Citing 37
Cited 0

Updates of Relational Views

Journal of the ACM (JACM)
Database system concepts

Database system concepts
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Equivalence and optimization of relational transactions

Journal of the ACM (JACM)
Properties and update semantics of consistent views

ACM Transactions on Database Systems (TODS)
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
Recursive query processing: the power of logic

Theoretical Computer Science
Updating logical databases

Updating logical databases
Safety and translation of relational calculus

ACM Transactions on Database Systems (TODS)
Hypothetical datalog: complexity and expressibility

Theoretical Computer Science
Parallel update transactions

Theoretical Computer Science
Simplification rules and complete axiomatization for relational update transactions

ACM Transactions on Database Systems (TODS)
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)
Behavior of database production rules: termination, confluence, and observable determinism

SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Database programming with delayed updates

DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Extension table built-ins for Prolog

Software—Practice & Experience
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
Tabulated resolution for well founded semantics

ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Declarative updates of relational databases

ACM Transactions on Database Systems (TODS)
Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
Query evaluation in deductive databases with alternating fixpoint semantics

ACM Transactions on Database Systems (TODS)
Tabled evaluation with delaying for general logic programs

Journal of the ACM (JACM)
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)
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning

IEEE Transactions on Knowledge and Data Engineering
Updates, A New Frontier

ICDT '88 Proceedings of the 2nd International Conference on Database Theory
Revision Programming, Database Updates and Integrity Constraints

ICDT '95 Proceedings of the 5th International Conference on Database Theory
OLD Resolution with Tabulation

Proceedings of the Third International Conference on Logic Programming
Language Constructs for Programming Active Databases

VLDB '91 Proceedings of the 17th 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
Revision Specifications by Means of Programs

JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Update by Means of Inference Rules

LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper investigates efficient evaluation of database updates and presents a procedural semantics for stratified update programs that extend stratified logic programs with bulk updates and hypothetical reasoning. Bulk rules with universal quantification in the body allow an arbitrary update to be applied simultaneously for every answer of an arbitrary query. Hypothetical reasoning is supported by testing the success or failure of an update. The procedural semantics offers efficient goal‐oriented tabled evaluation of database updates. It guarantees termination for function‐free stratified update programs and avoids repeated computation of identical subgoals.