Algoritmo de teste de seriabilidade quanto ao conflito:
Crie um nó para cada T do escalonamento S
Aresta Ti -> Tj para cada r(x) em Tj depois de w(x) em Ti
Aresta Ti -> Tj para cada w(x) em Tj depois de r(x) em Ti
Aresta Ti -> Tj para cada w(x) em Tj depois de w(x) em Ti
S é serial se não existe ciclo no grafo
Algoritmo de teste de seriabilidade quanto ao conflito: