Condición de horarios a Ver-equivalente – Part 1

Se dice que dos programaciones S1 y S2 son equivalentes a la vista si se cumplen las siguientes condiciones: 

1) Lectura inicial 
Si una transacción T1 lee el elemento de datos A de la base de datos en S1, entonces en S2 también T1 debería leer A de la base de datos. 

  T1     T2     T3
-------------------
        R(A)
 W(A)          
               R(A)
        R(B)

La transacción T2 está leyendo A de la base de datos. 

2) Lectura actualizada 
Si Ti está leyendo A, que es actualizado por Tj en S1, entonces en S2 también Ti debería leer A, que es actualizado por Tj. 

  T1     T2     T3         T1    T2    T3                   
-------------------       ----------------
 W(A)                    W(A)       
         W(A)                               R(A)
                 R(A)               W(A)

Los dos horarios anteriores no son equivalentes a la vista, ya que en S1: T3 está leyendo A actualizado por T2, en S2 T3 está leyendo A actualizado por T1. 

3) Operación de escritura final 
Si una transacción T1 actualizó A por fin en S1, entonces en S2 también T1 debería realizar operaciones de escritura final. 

 T1       T2        T1     T2            
------------    ---------------
 R(A)              R(A)
         W(A)     W(A)
 W(A)                    W(A)

Los dos programas anteriores no son equivalentes a la vista, ya que la operación de escritura final en S1 la realiza T1, mientras que en S2 la realiza T2. 

Serializabilidad de vista: un cronograma se denomina serializable de vista si es igual a un cronograma en serie (sin transacciones superpuestas). 

A continuación, se encuentran las preguntas anteriores de Year Gate sobre este tema 
https://www.geeksforgeeks.org/dbms-gq/transactions-and-concurrency-control-gq/ 

Escriba comentarios si encuentra algo incorrecto o si desea compartir más información sobre el tema tratado anteriormente.