Papaskink man apie CAP teoremą.

CAP teorema teigia, kad paskirstyta sistema vienu metu negali garantuoti trijų savybių:

• Nuoseklumas (Consistency) — visi mazgai mato tuos pačius duomenis tuo pačiu metu.
• Prieinamumas (Availability) — kiekvienas užklausimas gauna atsakymą (sėkmingą ar su klaida), be ilgų vėlavimų.
• Tinklo padalijimo tolerancija (Partition tolerance) — sistema toliau veikia nepaisant tinklo padalijimo (prarastos ryšys tarp mazgų).

Tinklo padalijimo sąlygomis, sistema gali užtikrinti arba nuoseklumą, arba prieinamumą, bet ne abu vienu metu. Tai verčia projektuotojus rinktis tarp CP (Nuoseklumas + Padalijimo tolerancija) ir AP (Prieinamumas + Padalijimo tolerancija) sistemų.

Pavyzdys:

• CP sistema: tinklo padalijimo metu blokuoja kai kuriuos mazgus, kad išlaikytų nuoseklumą, bet gali tapti neprieinama.
• AP sistema: toliau atsako į užklausas, bet duomenys gali būti laikinai nesuderinti.

CAP teorema padeda suprasti kompromisus projektuojant paskirstytas duomenų bazes ir paslaugas.