On a Three-Valued Logic with Blamey’s Interjunction for the Formal Description of Atomic Transactions
Mateusz M. Radzki · Axiomathes · 2019
The article demonstrates that to describe the property of atomicity (one of the ACID property) of transactions in database systems, we need a three-valued logic with propositional connective characterized in the same way as Blamey’s interjunction. However, the article explains that since Blamey’s partial logic with interjunction is a logic without tautologies, it does not satisfy some salient conditions of being a logic of atomic transactions. The article introduces a logic of the considered kind, and provides an example of the formal exposition of the case of an atomic transaction. Finally, the article explains the philosophical significance of the introduced logic.