Wat is de CAP-stelling?

Question

Accepted Answer

De **CAP-stelling** stelt dat een gedistribueerd systeem maximaal **twee van drie** eigenschappen kan garanderen — **Consistency**, **Availability** en **Partition tolerance** — tegelijk. Omdat netwerkpartities onvermijdelijk zijn, betreft de echte keuze het kiezen tussen consistentie en beschikbaarheid tijdens een partitie.

## De drie eigenschappen

```text
CONSISTENCY (C) → every read sees the latest write (all nodes agree on the data)
AVAILABILITY (A) → every request gets a response (the system stays responsive)
PARTITION TOLERANCE (P) → the system keeps working despite network partitions
  (communication breaks between nodes)
→ CAP: you can only fully guarantee TWO of these three simultaneously.
```

## De echte afweging: C versus A (P is verplicht)

```text
In distributed systems, network PARTITIONS WILL happen → P is NOT optional (you must
tolerate partitions) → so the real choice during a partition is C vs A:
  CP (consistency over availability) → during a partition, refuse requests that can't be
    consistent (sacrifice availability to keep data correct) — e.g. financial systems
  AP (availability over consistency) → during a partition, stay available but may return
    stale/inconsistent data (eventual consistency) — e.g. social feeds, many NoSQL stores
→ choose based on whether CONSISTENCY or AVAILABILITY matters more for the use case.
```

## Nuance en praktijk

```text
→ CAP is about behavior DURING a partition (normally you can have both C and A)
→ It's not strictly binary → many systems offer TUNABLE consistency (per-operation choices)
→ Related: EVENTUAL CONSISTENCY (AP systems converge to consistency over time)
→ Understand the trade-off to choose databases/designs appropriately
```

## Waarom het belangrijk is

Begrip van de CAP-stelling is waardevol omdat het een **fundamenteel concept voor gedistribueerde systemen** is dat een belangrijke afweging markeert, dus het is belangrijke kennisgebied voor systeemontwerp.

De CAP-stelling — dat een gedistribueerd systeem maximaal twee van Consistency, Availability en Partition tolerance tegelijk kan garanderen — legt een fundamentele beperking in gedistribueerde systemen vast.

Begrip van de **drie eigenschappen** (consistency: lezen zien de meest recente schrijfbewerking; availability: elk verzoek krijgt een antwoord; partition tolerance: werken ondanks netwerkpartities) is de basis.

Het belangrijkste is begrip van **de echte afweging**: omdat **netwerkpartities onvermijdelijk zijn** in gedistribueerde systemen (P is verplicht), is de werkelijke keuze tijdens een partitie tussen **consistentie en beschikbaarheid** — **CP-systemen** offeren beschikbaarheid op om gegevens correct te houden tijdens partities (geschikt voor financiële systemen waar juistheid van groot belang is), terwijl **AP-systemen** beschikbaar blijven maar mogelijk verouderde gegevens retourneren (uiteindelijke consistentie, geschikt voor social feeds en veel NoSQL-winkels waar beschikbaarheid meer uitmaakt).

Begrip van deze C-versus-A-afweging en keuze gebaseerd op of consistentie of beschikbaarheid belangrijker is voor het use case is essentieel voor het ontwerpen van gedistribueerde systemen en het kiezen van databases op passende wijze.

Begrip van de **nuance** — dat CAP gaat over gedrag tijdens een partitie (u kunt normaal gesproken zowel C als A hebben), dat het niet strikt binair is (veel systemen bieden instelbare consistentie), en het gerelateerde concept van uiteindelijke consistentie — weerspiegelt geavanceerd begrip voorbij de vereenvoudigde versie.

CAP is een fundamenteel concept dat vaak wordt aangehaald bij ontwerp van gedistribueerde systemen en databaseselectie.

Omdat de CAP-stelling een fundamentele afweging in gedistribueerde systemen (consistentie versus beschikbaarheid tijdens partities) markeert die systeemontwerp en databasekeuzes informeert, en omdat begrip van de eigenschappen, de echte C-versus-A-afweging en de nuances belangrijk is voor het ontwerpen van gedistribueerde systemen, is begrip van de CAP-stelling waardevol, praktisch relevant kennisgebied voor systeemontwerp — een fundamenteel concept voor gedistribueerde systemen dat de consistentie-beschikbaarheidsafweging markeert, belangrijk voor het ontwerpen van gedistribueerde systemen en het kiezen van databases, en een veel aangehaald concept in systeemontwerp dat begrip van beperkingen in gedistribueerde systemen weerspiegelt.