Eine
besteht aus folgenden elementaren Operationen:
Eine , auch genannt
, ist eine Festlegung der Reihenfolge
für sämtliche beteiligten Einzeloperationen.
Gegeben Transaktionen und
, beide mit Zugriff auf Datum A. Folgende
vier Fälle sind möglich:
Zwei Historien und
über der gleichen Menge von Transaktionen sind
äquivalent (in Zeichen
), wenn sie die Konfliktoperationen der
nicht abgebrochenen Transaktionen in derselben Reihenfolge ausführen. D. h.,
für die durch
und
induzierten Ordnungen auf den
Elementaroperationen
bzw.
wird verlangt: Wenn
und
Konfliktoperationen sind mit
, dann muß auch
gelten. Die Anordnung der nicht in Konflikt stehenden Operationen ist
irrelevant.