CAP (twierdzenie)

CAP (consistency, availability, partition) - twierdzenie Brewera o CAP (postawione w 2000 r. jako hipoteza przez Erica Brewera z Uniwersytetu Berkeley); wynik informatyki teoretycznej (udowodniony w 2012 r. przez Setha Gilberta oraz Nancy Lynch), ustalający iż w rozproszonych systemach przetwarzania danych nie jest możliwe jednoczesne utrzymanie trzech właściwości:

• spójności (consistency) oznaczającej że wszystkie węzły mają jednoczesny dostęp do jednakowych danych;
• osiągalności (availability) czyli, że każde żądanie doczeka się odpowiedzi;
• odporności na partycjonowane, rozbicia (partition tolerance) system potrafi działać pomimo utraty części komunikatów lub uszkodzenia niektórych węzłów.

Twierdzenie CAP stanowi w pewnym sensie negację postulatów ACID.