An overview of transaction logic

DOI10.1016/0304-3975(94)90190-2MaRDI QIDQ1341707zbMATH OpenOpenAlexFDO

Authors Anthony J. Bonner, Michael Kifer

Publication date 13 June 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)90190-2

zbMATH Keywords

nondeterminismstate changesstate transitionssurveytransaction logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27)

Cites work

• A logic for reasoning with inconsistency
• A logic-based calculus of events
• Computable queries for relational data bases
• First-order dynamic logic
• scientific article; zbMATH DE number 4181307 (Why is no real title available?)
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 140392 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1536548 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 970717 (Why is no real title available?)
• Hypothetical datalog: Complexity and expressibility
• Language in action. Categories, lambdas and dynamic logic
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Paraconsistent logic programming
• Process logic: Expressiveness, decidability, completeness
• STRIPS: A new approach to the application of theorem proving to problem solving
• The concurrency control problem for database systems
• Towards a general theory of action and time
• Updates and subjunctive queries

Cited in

(16)

• Planning with regression analysis in transaction logic
• Principles of transaction processing
• Formalizing Goal Serializability for Evaluation of Planning Features
• Transaction logic with defaults and argumentation theories
• Transaction logic with external actions
• Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
• A Logical Approach to Dynamic Role-Based Access Control
• Transition Logic Revisited
• scientific article; zbMATH DE number 4062654 (Why is no real title available?)
• scientific article; zbMATH DE number 1302016 (Why is no real title available?)
• scientific article; zbMATH DE number 1182730 (Why is no real title available?)
• scientific article; zbMATH DE number 1536548 (Why is no real title available?)
• Combining transactions and automatic repairs
• scientific article; zbMATH DE number 2241924 (Why is no real title available?)
• Regular database update logics
• Specification and verification of data-driven Web applications

This page was built for publication: An overview of transaction logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1341707)