Theorem - CAP-Theorem

• Typen:
  • PACELC-Theorem
• Involvierte Definitionen:
  • Verteiltes System
• Veranstaltung: DEDS
• Referenz: @storl2024 (KE6, NoSQL: Datenmodelle und Techniken; Teil 2.1)

⠀

Theorem: CAP-Theorem

Das CAP-Theorem (auch Brewers Theorem) besagt, dass in einem verteilten System höchstens zwei der folgenden Eigenschaften vollständig gewährleistet werden können:

1. Consistency (Konsistenz): Alle Knoten eines verteilten Systems haben zu jedem Zeitpunkt denselben Datenstand.
2. Availability (Verfügbarkeit): Jede Anfrage (request) an das System erhält eine Antwort (auch bpsw. in Fehlersituationen).
3. Partition Tolerance (Partitionstoleranz): Das System funktioniert auch dann weiter, wenn es in kleinere Partitionen zerbricht - bspw. durch Kommunikationsunterbrechung zwischen Gruppen von Knoten.

Anmerkung

Kritik am CAP-Theorem

Bekannt ist insbesondere die Kritik des Informatikers Daniel Abadi.

Abadi merkt an, dass die Partitionstoleranz eine Eigenschaft ist, die nur in einem Fehlerfall Relevanz hat. Das CAP-Theorem ist demnach nur beschränkt hilfreich, da es für die Beschreibung von System außerhalb dieses Fehlerfalls nicht ausreicht.

Als Antwort hat Abadi das PACELC-Theorem entwickelt.