CAP-теорема (теорема Брюера) утверждает, что в любой реализации распределённых вычислений возможно обеспечить не более двух из трёх свойств: согласованности данных, доступности и устойчивости к фрагментации. 4

Согласованность означает, что во всех вычислительных узлах в один момент времени данные не противоречат друг другу. 4 Доступность — любой запрос к распределённой системе завершается откликом, однако нет гарантии, что ответы всех узлов системы совпадают. 4 Устойчивость к фрагментации — расщепление распределённой системы на несколько изолированных секций не приводит к некорректности отклика от каждой из секций. 4

Компромиссы, которые предлагает CAP-теорема, заключаются в выборе одного из свойств в пользу двух других, исходя из приоритетов системы, вариантов использования и бизнес-требований. 3

Некоторые компромиссы и соответствующие им классы систем:

• CA. 4 Во всех узлах данные согласованы и обеспечена доступность, при этом система жертвует устойчивостью к распаду на секции. 4
• CP. 4 Система в каждый момент обеспечивает целостный результат и способна функционировать в условиях распада, но достигает этого в ущерб доступности: может не выдавать отклик на запрос. 4
• AP. 4 Обеспечена доступность и устойчивость к разделению, но в ущерб согласованности: когда происходит разделение, все узлы остаются доступными, но те, что находятся не на том конце раздела, могут возвращать более старую версию данных, чем другие. 1

При этом CAP-теорема подвержена критике, так как имеет определённые проблемы и ограничения. 5