An overview of transaction logic
From MaRDI portal
Publication:1341707
DOI10.1016/0304-3975(94)90190-2zbMATH Open0938.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
Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Paraconsistent logic programming
- Towards a general theory of action and time
- Computable queries for relational data bases
- STRIPS: A new approach to the application of theorem proving to problem solving
- A logic-based calculus of events
- First-order dynamic logic
- Language in action. Categories, lambdas and dynamic logic
- N-Prolog: An extension of Prolog with hypothetical implications. I.
- A logic for reasoning with inconsistency
- Updates and subjunctive queries
- The concurrency control problem for database systems
- Process logic: Expressiveness, decidability, completeness
- Hypothetical datalog: Complexity and expressibility
Cited In (8)
- Title not available (Why is that?)
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
- A Logical Approach to Dynamic Role-Based Access Control
- Specification and verification of data-driven Web applications
- Planning with regression analysis in transaction logic
- Formalizing Goal Serializability for Evaluation of Planning Features
- Regular database update logics
- Principles of transaction processing
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)
