AlgoPlus//structures / serializability
Read the theory

Schedules & Serializability

When is an interleaving of transactions as safe as running them one at a time?

Schedule
Interleaved
Edges
0
Result
Schedule
Legend
T1
T2
Cycle
AI Tutor Workspace
In a nutshell
When transactions run at once, their reads and writes interleave into a schedule. A schedule is safe only if it produces the same result as running the transactions one after another. To check, draw a precedence graph from the conflicting operations: if it has no cycle, the schedule is conflict-serializable and safe; a cycle means no equivalent serial order exists.
Ready
Press play to begin the cinematic walkthrough.
An interleaved schedule is safe if it is conflict-equivalent to running the transactions serially. Build a precedence graph from conflicting operations; if it is acyclic the schedule is conflict-serializable, otherwise it is not.
Key terms
Go deeper in the lesson
Read the full theory, intuition & complexity for Schedules & Serializability.