Czym jest twierdzenie CAP?

Twierdzenie CAP stwierdza, że rozproszony system nie może jednocześnie gwarantować wszystkich trzech właściwości:

• Spójność (Consistency): wszystkie węzły widzą te same dane w tym samym czasie.
• Dostępność (Availability): każde żądanie otrzymuje odpowiedź (sukces lub błąd).
• Tolerancja podziału (Partition tolerance): system nadal działa podczas rozdzielenia sieci między węzłami.

Z powodu podziałów sieciowych system musi wybierać między spójnością a dostępnością. Na przykład:

• Systemy CP poświęcają dostępność na rzecz spójności.
• Systemy AP poświęcają spójność na rzecz dostępności.

To jest podstawowe ograniczenie przy projektowaniu rozproszonych baz danych i usług.