Conflict Equivalent Schedule

acid

Definition

Conflict Equivalent Schedule

Two schedules $S_1$ and $S_2$ are conflict equivalent if they meet they have the same set of transactions and the relative order of two conflicting operations is the same in both schedules.

Let $o_i$ and $o_j$ be two conflicting operations in $T_i$ and $T_j$ respectively. If $o_1$ comes before $o_j$ in schedule $S_1$, then $o_1$ must also come before $o_j$ in schedule $S_2$. If this holds for every pair of conflicting operations, $S_1$ and $S_2$ are called conflict equivalent.