In a snapshot isolated system, each transaction appears to operate on an| jepsen.io
Read committed is a consistency model which strengthens read uncommitted by preventing dirty reads: transactions are not| jepsen.io
Informally, serializability means that transactions appear to have occurred in| jepsen.io