Vertel me over de CAP-theorema.

De CAP-theorema stelt dat een gedistribueerd systeem niet gelijktijdig drie eigenschappen kan garanderen:

• Consistentie (Consistency) — alle knooppunten zien dezelfde gegevens op hetzelfde moment.
• Beschikbaarheid (Availability) — elke aanvraag krijgt een antwoord (succesvol of met fout), zonder lange vertragingen.
• Partitiontolerantie (Partition tolerance) — het systeem blijft werken ondanks netwerkpartitionering (verlies van verbinding tussen knooppunten).

Onder netwerkpartitionering kan het systeem of consistentie of beschikbaarheid garanderen, maar niet beide tegelijk. Dit dwingt ontwerpers om te kiezen tussen CP-systemen (Consistentie + Partitiontolerantie) en AP-systemen (Beschikbaarheid + Partitiontolerantie).

Voorbeeld:

• CP-systeem: bij netwerkpartitionering blokkeert het sommige knooppunten om consistentie te behouden, maar kan onbereikbaar worden.
• AP-systeem: blijft reageren op verzoeken, maar gegevens kunnen tijdelijk inconsistent zijn.

De CAP-theorema helpt om de compromissen te begrijpen bij het ontwerpen van gedistribueerde databases en diensten.