Объясните принципы теоремы CAP и её значение для распределённых систем

Теорема CAP утверждает, что в распределённой системе невозможно одновременно гарантировать три свойства:

• Consistency (Согласованность) — все узлы видят одинаковые данные в одно и то же время.
• Availability (Доступность) — каждый запрос получает ответ (успешный или ошибочный).
• Partition tolerance (Устойчивость к разделению сети) — система продолжает работать, несмотря на потерю связи между узлами.

В условиях сетевых разделений (partition) система должна выбирать между согласованностью и доступностью. Это важно для проектирования распределённых систем, так как помогает определить компромиссы: например, базы данных могут быть либо строго согласованными, но с возможными задержками (CP), либо всегда доступными, но с возможной временной рассогласованностью (AP).