CRDT (baza danych)
Conflict-free Replicated Data Type — typ danych zaprojektowany tak, by równoczesne zmiany na różnych replikach zawsze dało się automatycznie scalić do tego samego wyniku, niezależnie od kolejności. Umożliwia współpracę bez konfliktów i podejście offline-first bez centralnego serwera.
Idea: zamiast wykrywać i rozwiązywać konflikty po fakcie, konstruujemy typ danych tak, by operacja scalania była przemienna, łączna i idempotentna → wszystkie repliki zbiegają, co gwarantuje matematyka, do tego samego stanu. Przykłady: G-Counter (rosnący licznik), OR-Set (zbiór z dodawaniem i usuwaniem) i sekwencyjne CRDT dla tekstu. Stosowane w edytorach współpracy (Figma, Apple Notes, Yjs/Automerge napędzają edycję w stylu Google Docs bez centralnego rozwiązywania konfliktów), rozproszonych bazach danych (Riak, Redis Enterprise) i aplikacjach local-first. Kompromis: więcej pamięci i metadanych (trzeba śledzić historię), a nie każdy problem pasuje do CRDT. Gorący temat w ruchu „local-first software”. Powiązane z rozwiązywaniem konfliktów i zegarem wektorowym.