It's pronounced Diane. I do data architecture, operations, and backend development. In my spare time I maintain Massive.js, a data mapper for Node.js and PostgreSQL.
CA is trivially satisfied by not being distributed or by tolerating divergence, although the latter case might show how calling it a "theorem" is overselling it: consistency qua "reads receive the most recent writes" can be read as implying partition-tolerance magic. And there are other instances where the simple three-options-pick-two formulation conceals more ambiguities than may be good for it.
CA is trivially satisfied by not being distributed or by tolerating divergence, although the latter case might show how calling it a "theorem" is overselling it: consistency qua "reads receive the most recent writes" can be read as implying partition-tolerance magic. And there are other instances where the simple three-options-pick-two formulation conceals more ambiguities than may be good for it.
You may find Mark Burgess' thoughts on the matter useful.