> When choosing a distributed database you are in a way already by definition giving up a chunk of of the C, Consistency. Er, I don't think that's right. Distr

> When choosing a distributed database you are in a way already by definition giving up a chunk of of the C, Consistency. Er, I don't think that's right. Distributed systems (even those running in asynchronous networks) can and often do satisfy linearizability. Gilbert & Lynch's proof of the CAP theorem just says that if you do choose linearizability (C) in an asynchronous network (P), you can't also guarantee total availabilility (A)--under some network faults, some operations may not complete. https://users.ece.cmu.edu/~adrian/731-sp04/readings/GL-cap.pdf https://users.ece.cmu.edu/~adrian/731-sp04/readings/GL-cap.p...