Transactions as Transformers

Database transactions are traditionally modeled as a sequence of read/write operations on a set of keys, where each read operation returns some value and each write sets a key to some value. This is reflected in most of the formalisms that define various transactional isolation semantics ( Adya , Crooks , etc.). For many isolation levels used in practice in modern database systems, (e.g. snapshot…