Opowiedz mi o twierdzeniu CAP.

Twierdzenie CAP stwierdza, że rozproszony system nie może jednocześnie gwarantować 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), bez długich opóźnień.
• Tolerancja podziału sieci (Partition tolerance) — system kontynuuje działanie mimo podziału sieci (utrata połączenia między węzłami).

W warunkach podziału sieci system może zapewnić albo spójność, albo dostępność, ale nie obie jednocześnie. To zmusza projektantów do wyboru między systemami CP (Spójność + Tolerancja podziału) i AP (Dostępność + Tolerancja podziału).

Przykład:

• System CP: przy podziale sieci blokuje niektóre węzły, aby zachować spójność, ale może stać się niedostępny.
• System AP: nadal odpowiada na żądania, ale dane mogą być tymczasowo niespójne.

Twierdzenie CAP pomaga zrozumieć kompromisy przy projektowaniu rozproszonych baz danych i usług.