Какво е CAP-теоремата?

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

• Съвместимост (Consistency): всички възли виждат едни и същи данни по едно и също време.
• Наличност (Availability): всеки заявка получава отговор (успешен или грешен).
• Устойчивост на разделяне (Partition tolerance): системата продължава да работи при разделяне на мрежата между възлите.

Поради мрежовите разделения системата трябва да избира между съвместимост и наличност. Например:

• CP системите жертват наличността за сметка на съвместимостта.
• AP системите жертват съвместимостта за сметка на наличността.

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