Deterministische Datenbank
Eine Datenbank, bei der dieselbe Menge an Transaktionen, in derselben Reihenfolge ausgeführt, auf jeder Replik garantiert exakt dasselbe Ergebnis liefert — keine zufälligen oder zeitabhängigen Abweichungen. Die Eigenschaft, die es Repliken erlaubt, synchron zu bleiben, ohne das Ergebnis abzustimmen.
Idee: Ist die Ausführung vollständig deterministisch, reicht es, wenn sich alle Repliken auf die Reihenfolge der Eingabe (der Transaktionen) einigen — das Ergebnis folgt automatisch und überall identisch. Das vereinfacht Replikation drastisch (nur der Transaktionsstrom muss verschickt werden, nicht die Ergebnisse), macht verteilte Commit-Koordination überflüssig und die Wiederherstellung einfach (den Strom einfach erneut abspielen). Voraussetzung: Nichtdeterminismus muss weg — NOW(), RANDOM(), ungeordnete Nebenläufigkeit müssen behandelt, verboten oder deterministisch gemacht werden. Calvin ist das bekannte Beispiel; dasselbe Prinzip treibt Event Sourcing, State-Machine-Replikation (Raft wendet ein deterministisches Log an) und den Konsens von Blockchains an. Ein wirkungsvoller Weg, Koordination gegen eine vorab festgelegte Reihenfolge einzutauschen. Hängt mit Calvin und Event Sourcing zusammen.