Transacciones. Carlos A. Olarte BDII

Transcripción

1 Carlos A. Olarte BDII

2 Outline 1 2 Ejecuciones Concurrentes 3 Secuencialidad en Cuanto a Conflictos 4 Secuencialidad en Cuanto a Vistas 5 Recuperabilidad 6 en SQL

3 Transacción Definición Una Transacción es un conjunto de operaciones que forman una única unidad lógica de trabajo. Aunque se realicen varias operaciones (actualizaciones, consultas, eliminaciones, etc) desde el punto de vista del usuario la operación es única. Ejemplos: Transferencia de fondos, Registrar un pago, matricularse, etc. La transacción consiste en todas las operaciones que se ejecutan entre las instrucciones Inicio de Transacción y Fin de Transacción

4 Propiedades ACID Las transacciones deben de cumplir con las siguientes propiedades (ACID) para garantizar la integridad de los datos: Atomicidad: Todas las operaciones se realizan o ninguna Consistencia: Los invariantes de la BD se conservan antes y después de la ejecución de la transacción Aislamiento: No importa que se ejecuten transacciones concurrentemente, desde el punto de vista del usuario lucen secuenciales (unas no afectan la ejecución de las otras) Durabilidad: Los cambios comprometidos perduran en el tiempo Por que es importante garantizar estas propiedades? Quien garantiza su cumplimiento?

5 Estados de una Transacción Es posible retroceder una transacción comprometida?

6 Ejecuciones Concurrentes Por qué no permitir solo ejecuciones secuenciales?: Se hace mejor uso de los recursos de computo Aumento de la productividad (transacciones / u.tiempo) Reducción de los tiempos de respuesta Por qué se deben controlar las ejecuciones concurrentes? Quién se encarga de esta tarea?

7 Conceptos Planificación: Representan el orden cronológico en el que se ejecutan las instrucciones de diferentes transacciones concurrentes. Ej: Leer(A) Escribir(B) Leer(C) Leer(B) Escribir(C)

8 Planificación Secuencial Una planificación es secuencial si las instrucciones de cada transacción están juntas y solo inician cuando terminan las de la transacción anterior. Ej Leer(A) Escribir(B) Leer(C) Leer(B) Escribir(C) Leer(A) Escribir(B) Leer(C) Leer(B) Escribir(C) Cuantas posibles planificaciones secuenciales se pueden generar a partir de P? Todas las P. secuenciales que se obtienen mantienen la consistencia?

9 Secuencialidad en Cuanto Conflictos Se dice que dos instrucción I i e I j están en conflicto si están asociadas al mismo recurso y alguna de ellas es escribir Si una planificación P se puede transformar en P por medio de cambios no conflictivos, se dice que P y P son Equivalentes en Cuanto Conflictos Ej, son P y P equivalente en C.C? P L(A) E(B) L(C) E(C) L(A) E(B) L(C) P E(C)

10 Secuencialidad en Cuanto Conflictos Se dice que la planificación P es Secuenciable en Cuanto Conflictos si existe una planificación secuencial P tal que P y P son equivalentes en cuanto conflictos Cuales de las siguientes Planificaciones son SECC? L(A) L(B) E(B) P 1 L(A) L(A) L(B) P 2 E(B) P 3 T k E(B) E(C) L(C)

11 Comprobación de la secuencialidad en Cuanto Conflictos Se puede verificar la secuencialidad en cuanto conflictos de una planificación por medio del siguiente algoritmo: Construir el grafo de precedencias (G = V, A ) de P, donde V lo conforman el conjunto de transacción y a i = t i, t j A si existe un par de instrucciones conflictivas entre t i y t j. Si existe un ciclo en el grafo, P no es secuenciable en cuanto conflictos Si no hay ciclos, el orden de las transacciones lo determina el orden topológico del grafo.

12 Equivalencia en Cuanto Vistas La siguiente planificación es equivalente en cuanto conflictos? P 1 En cuanto al resultado observable, aceptaría que P fuera equivalente a la planificación secuencial,

13 Continuación Se dice que P es Equivalente en Cuanto a Vistas a P si: 1 Para todo recurso Q si lee el valor inicial de Q en P lo debe hacer en P 2 Si lee el valor producido por en P, también lo debe hacer en P 3 Si es la última transacción en efectuar E(Q) para cualquier Q en P, en P también la última escritura de Q la debe efectuar

14 Secuencialidad en cuanto Vistas La planificación P es Secuenciable en Cuanto Vistas si existe una planificación secuencial P tal que P y P son equivalentes en cuanto a vistas Cuales de las siguientes planificaciones son equivalentes en cuanto a vistas? L(Q) E(Q) P 1 E(Q) E(Q) L(Q) E(B) P 2 L(B) E(Q) P 3 T k L(Q) L(M) E(M) E(Q) E(M) L(Q) E(M)

15 Recuperabilidad Definición Una planificación es Recuperable si para todo par de transacciones y tal que lee el valor producido por, la operación de compromiso de debe ser anterior al compromiso de. Por ejemplo P no es recuperable L(Q) E(Q) E(B) COMMIT P L(Q) COMMIT

16 Planificaciones sin Cascada Se define Retroceso en Cascada cuando el fallo de un transacción provoca retrocesos en otras transacciones Definición P es una Planificación sin Cascada si para toda, tal que lee el valor producido por, la lectura de es posterior al compromiso de Por ejemplo, P es recuperable pero no es una PSC: P T k L(A) E(B) COMMIT L(A) COMMIT COMMIT

17 en SQL Las transacciones se comprometen mediante la sentencia COMMIT Las transacciones se retroceden mediante la sentencia ROLLBACK