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 … Continue reading «Condición de horarios a Ver-equivalente – Part 1»