CAP Theorem, Consistency Models, and PACELC | SudoMonks