Algoritmo 2

[sh-Gabriel]

Algoritmo de visão equivalente Dois agendamentos S e S' são ditos visão equivalentes, se atenderem as seguintes condições:

O mesmo conjunto de transações e operações participam em S e S'
Para cada r(x) de Ti, se o valor de x lido for escrito por w(x) de Tj, o mesmo deve permanecer para r(x) de Ti em S'
Se o operador w(y) em Tk é a ultima escrita de y em S, então w(y) em Tk deve ser a última escrita em S'

[sh-Gabriel]

• Permutação
• Aplicar o esqueminha pra verificar equivalência
• salvar o resultado caso exista uma visão equivalente