Deterministisk databas
En databas där samma uppsättning transaktioner, körda i samma ordning, garanterat ger exakt samma resultat på varje replika — inga slumpmässiga eller tidsberoende avvikelser. Egenskapen som gör att repliker kan hålla sig i synk utan att koordinera utfallet.
Idé: om körningen är helt deterministisk räcker det att alla repliker enas om ordningen på indata (transaktionerna); resultatet följer automatiskt och identiskt överallt. Det förenklar replikering dramatiskt (skicka bara transaktionsströmmen, inte resultaten), eliminerar behovet av distribuerad commit-koordinering, och gör återhämtning enkel (spela om strömmen). Krav: bort med icke-determinism — NOW(), RANDOM(), oordnad samtidighet måste hanteras/förbjudas eller göras deterministiska. Calvin är det kända exemplet; samma princip driver event sourcing, state machine replication (Raft applicerar en deterministisk logg) och blockkedjors konsensus. Ett kraftfullt sätt att byta koordinering mot förutbestämd ordning. Hör ihop med Calvin och event sourcing.