causal consistency

eventual consistency

after updates cease, sufficient time and messaging ensure every node reaches identical final values

history

a collection of operations performed by a system including process information and timing details

linearizability

operations appear to execute atomically in a total order consistent with real-time ordering on single objects

monotonic atomic view

strengthens read committed by requiring that once a transaction observes another's effects, it observes all of them

monotonic reads

each process observes a monotonically advancing system view; once a write is observed, it remains visible

monotonic writes

if a single process performs two writes, all other processes observe them in that same order