How it works
Why does it behave this way?
- 1
A promise about histories
What kind of thing is a consistency model, and why can a guarantee not be observed from inside the system?
3 pages - 2
Transactional isolation
Why is one edge type different from the others?
6 pages - 3
Distributed consistency
Why does a reader's choice of copy, not the writes, produce the anomaly once there are many copies?
5 pages - 4
Sessions, convergence and quorums
What does a single client need in order not to see nonsense, and why do infrastructure changes break it?
4 pages - 5
The unification and its price
What does CAP really say and not say, and why does the 'else' branch of PACELC carry most of the cost?
4 pages - 6
What consistency forbids
What can no consistency design give, and what does each escape cost?
2 pages