An axiom system for database transactions

DOI10.1016/0020-0190(90)90070-EzbMath0704.68035WikidataQ114685336 ScholiaQ114685336MaRDI QIDQ917282

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) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Verifiable properties of database transactions

Cites Work

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

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