An overview of transaction logic

DOI10.1016/0304-3975(94)90190-2zbMath0938.03051OpenAlexW1995080554MaRDI QIDQ1341707

Michael Kifer, Anthony J. Bonner

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

surveynondeterminismstate changesstate transitionstransaction logic

Mathematics Subject Classification ID

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

Related Items (6)

Planning with regression analysis in transaction logic ⋮ Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic ⋮ Specification and verification of data-driven Web applications ⋮ A Logical Approach to Dynamic Role-Based Access Control ⋮ Regular database update logics ⋮ Formalizing Goal Serializability for Evaluation of Planning Features

Cites Work

• A logic-based calculus of events
• A logic for reasoning with inconsistency
• The concurrency control problem for database systems
• Hypothetical datalog: Complexity and expressibility
• Towards a general theory of action and time
• Computable queries for relational data bases
• Process logic: Expressiveness, decidability, completeness
• Language in action. Categories, lambdas and dynamic logic
• First-order dynamic logic
• Paraconsistent logic programming
• Updates and subjunctive queries
• STRIPS: A new approach to the application of theorem proving to problem solving
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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