sequential consistency

snapshot isolation

each transaction receives an isolated snapshot of the database; it commits only if no concurrent writes exist to the same keys

strong consistency

a broad term covering models including sequential, linearizable, and serializable consistency

strong serializability

strengthens serializability by requiring the apparent transaction order to match real-time order

strong session serializability

strengthens serializability by additionally prohibiting session phenomena within each process

strong snapshot isolation

strengthens snapshot isolation by additionally prohibiting real-time phenomena

writes follow reads

reading a value seals the past; later writes must take effect after the writes that were observed