Разкажи ми за теоремата CAP.

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

• Консистентност (Consistency) — всички възли виждат едни и същи данни по едно и също време.
• Достъпност (Availability) — всеки заявка получава отговор (успешен или с грешка), без дълги забавяния.
• Толерантност към разделяне на мрежата (Partition tolerance) — системата продължава да работи въпреки разделянето на мрежата (загуба на връзка между възлите).

При условия на разделяне на мрежата системата може да осигури или консистентност, или достъпност, но не и двете едновременно. Това принуждава проектантите да избират между CP (Консистентност + Толерантност към разделяне) и AP (Достъпност + Толерантност към разделяне) системи.

Пример:

• CP система: при разделяне на мрежата блокира някои възли, за да запази консистентността, но може да стане недостъпна.
• AP система: продължава да отговаря на заявки, но данните могат да бъдат временно несъвместими.

Теоремата CAP помага да се разберат компромисите при проектирането на разпределени бази данни и услуги.