事务等待图是一个有向图G=(T, U)，T为结点的集合，每个结点表示正在运行的事务；U为边的集合，每条边表示事务等待的情况。若事务T1等待事务T2，则T1，T2之间有一条有向边，从 T1 指向 T2。如果发现图中存在回路，则表示系统中出现了死锁。