An axiom system for database transactions

DOI10.1016/0020-0190(90)90070-EMaRDI QIDQ917282zbMATH OpenWikidataFDO

Authors Xiaolei Qian

Publication date 1990

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

formal semanticsprogram specificationprogram correctnessdata manipulation languagedatabase integritytransaction verification

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• On specifying database updates
• A transaction-based approach to relational database specification
• Equivalence and optimization of relational transactions
• scientific article; zbMATH DE number 1182730
• Specification and verification of database dynamics

Cites work

• A Formal System for Reasoning about Programs Accessing a Relational Database
• Equivalence and optimization of relational transactions

Cited in

(6)

• scientific article; zbMATH DE number 1182730 (Why is no real title available?)
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Verifiable properties of database transactions
• Equivalence and optimization of relational transactions
• scientific article; zbMATH DE number 4170065 (Why is no real title available?)
• Reasoning formally about database queries and updates

This page was built for publication: An axiom system for database transactions

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