strong snapshot isolation

writes follow reads

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

high availability

an inconsistently defined term meaning either majority availability or total availability depending on context

total availability

every non-faulty node executes any operation even in the presence of node or network failures

majority availability

operations execute when nodes comprise a majority and can communicate with one another

sticky availability

a client receives a response if executing against state that reflects its past transactions, even during failures

read skew

a transaction observes part but not all of another transaction's writes, producing an inconsistent view