Transaction processing
Data management
Consistency model
Eventual consistency
Consistency
Causal consistency
Atomicity
ACE
Axiom
Formalism
Scalability
Database