CAP (twierdzenie)

CAP (consistency, availability, partition) - twierdzenie o CAP (twierdzenie Brewera); wynik informatyki teoretycznej z 2012 r., 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 maja jednoczesny dostęp do jednakowych danych;
• dostępności (availability) czyli, że każde żądanie doczeka się odpowiedzi;
• odporności na rozbicie (partition tolerance) system potrafi działać pomimo utraty części komunikatów lub uszkodzenia niektórych węzłów.

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