I Kiringa - International Workshop on Database Programming …, 2001 - Springer
We propose a logical framework for describing, reasoning about, and simulating transaction
models that relax some of the ACID (Atomicity-Consistency-Isolation-Durability) properties of …