CRDT (DB)
Conflict-free Replicated Data Type — ein Datentyp, der so konstruiert ist, dass gleichzeitige Änderungen auf verschiedenen Replikaten sich automatisch und unabhängig von der Reihenfolge zum selben Ergebnis zusammenführen lassen. Ermöglicht konfliktfreie Zusammenarbeit und Offline-First ohne zentralen Server.
Idee: Statt Konflikte im Nachhinein zu erkennen und aufzulösen, konstruiert man den Datentyp so, dass die Merge-Operation kommutativ, assoziativ und idempotent ist → alle Replikate konvergieren mathematisch garantiert zum gleichen Zustand. Beispiele: G-Counter (wachsender Zähler), OR-Set (Menge mit Add/Remove) und Sequenz-CRDTs für Text. Eingesetzt in Kollaborationseditoren (Figma, Apple Notes; Yjs/Automerge treiben Google-Docs-ähnliches Editieren ohne zentrale Konfliktlösung an), verteilten Datenbanken (Riak, Redis Enterprise) und Local-first-Apps. Trade-off: mehr Speicher und Metadaten, da Historie mitgeführt werden muss, und nicht jedes Problem passt zu einer CRDT. Zentrales Thema der „Local-first Software"-Bewegung. Verwandt mit Konfliktlösung und Vector Clock.