Um escalonamento é considerado correto quando se pode encontrar um escalonamento serial que seja equivalente a ele. Dado
um conjunto de transações T1, ... ,Tn, dois escalonamentos S1 e S2 são equivalentes se existe sincronização read-write e
sincronização write-write.
