eventual consistency

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

read atomic

ensures atomic visibility of transaction updates; either all or none of a transaction's writes are observed