Что такое CAP-теорема и зачем она нужна?

CAP-теорема гласит, что распределённая система не может одновременно обеспечить Consistency (согласованность данных), Availability (доступность) и Partition tolerance (устойчивость к разделению сети). При проектировании БД или распределённых сервисов обычно выбирают либо отказоустойчивость с eventual consistency (AP), либо строгую консистентность с жертвами доступности (CP).