Twierdzenie CAP mówi, że w systemie rozproszonym nie da się jednocześnie w pełni zagwarantować Consistency, Availability i Partition tolerance. Gdy wystąpi podział sieci, system musi wybrać między spójnością a dostępnością.