We now present a simple and efficient method for determining conflict serializability
of a schedule. Consider a schedule S. We construct a directed graph,
called a precedence graph, fromS. This graph consists of a pair G = (V, E), where
V is a set of vertices and E is a set of edges. The set of vertices consists of all the
transactions participating in the schedule. The set of edges consists of all edges
Ti →Tj for which one of three conditions holds: