scientific article; zbMATH DE number 1182730
From MaRDI portal
Publication:4400802
Recommendations
- An axiom system for database transactions
- A transaction-based approach to relational database specification
- An overview of transaction logic
- On the efficiency of transforming database logic programs
- scientific article; zbMATH DE number 2089452
- scientific article; zbMATH DE number 1971513
- Implementation of logical query languages for databases
Cited in
(16)- An overview of transaction logic
- A procedural semantics for stratified database updates
- On the efficiency of transforming database logic programs
- HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems
- Planning with regression analysis in transaction logic
- Formalizing Goal Serializability for Evaluation of Planning Features
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
- scientific article; zbMATH DE number 4170065 (Why is no real title available?)
- A Formal Coding Structure for Database Record Processing
- scientific article; zbMATH DE number 1302016 (Why is no real title available?)
- Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
- scientific article; zbMATH DE number 1107525 (Why is no real title available?)
- scientific article; zbMATH DE number 1536548 (Why is no real title available?)
- A linear logic approach to consistency preserving updates
- scientific article; zbMATH DE number 5593270 (Why is no real title available?)
- An axiom system for database transactions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4400802)
