Kauzální závislost je fundamentální princip, který dává událostem v distribuovaném systému logický řád.


V reálném světě je to vztah Příčina → Následek.

Událost $B$ je kauzálně závislá na události $A$ (zapisujeme $A\toB$), pokud:

  1. Lokální historie: $A$ i $B$ jsou v jednom procesu a $A$ proběhla dříve.
  2. Přenos zprávy: $A$ je odeslání zprávy a $B$ je její přijetí.
  3. Tranzitivita: $A$ způsobilo $X$ a $X$ způsobilo $B$. (Tedy $A$ nepřímo způsobilo $B$).

Pokud A→B, pak B “ví” o A a mohlo být ovlivněno výsledkem A.