Pregunta

Hy, Estoy aprendiendo para mis exámenes y se acercó a la siguiente pregunta:

Historia (o Lista)

H = w1[x] w2[x] w2[y] c2 w1[y] w3[x] w3[y] c3 w1[z] c1

donde los medios w1[x]: La transacción 1 escrituras en datos a objetos X (medios r1[x] leen) y medios c1:. Transacción 1 commit

¿Por qué es esta transacción ver serializable ?

En vista Serializabilidad la Historia H debe ser vista equivalente a un secuencial de ejecución de la transacción 1,2,3. Así, futher, los últimos-escribe cada uno de los datos a objetos debe ser el mismo que en una ejecución secuencial de la transacción de la historia H. Así que los últimos-escribe de H son:

  • Transation 3 para x e y y
  • Transation 1 para z

Sin embargo, en ningún ejecución secuencial los últimos-escribe se distribuyen de esta manera, por lo que la historia H no puede ser vista serializable.

¿Dónde está mi error?

Gracias a todos.

¿Fue útil?

Solución

De acuerdo, encontrado a mí mismo: La última frase, si es de mal curso:

De hecho la ejecución secuencial 1,2,3 conduce a esta historia:

w1[x] w1[y] w1[z] c1   w2[x] w2[y] c2    w3[x] w3[y] c3

y el follogint últimos-escribe:

  • Transacción 3 para x e y y
  • Transacción 1 para z

que es lo mismo que los últimos-escribe la historia de H

Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow
scroll top