Transacción Es una unidad de trabajo sobre la base de datos Formada por un conjunto de sentencias SQL El DBMS garantiza que el proceso de las transacciones cumple las propiedades conocidas como ACID

Propiedades de las transacciones (ACID) Atomicity: Indivisibilidad del conjunto de sentencias. Consistency: Integridad semántica. Isolation: Integridad operacional. Durability: Persistencia del resultado.

Comienzo de una transacción Cada transacción tiene un conjunto de sentencias SQL, comprendidas entre su comienzo y su final SQL es implícitamente transaccional Por tanto, la primera transacción comienza con la primera sentencia ejecutable y siempre que acaba una transacción comienza automáticamente la siguiente. Sin embargo, algunos DBMS pueden presentar sentencias explícitas de comienzo o caracterización de transacciones.

Final explícito de una transacción Una transacción termina explícitamente con una de las dos siguientes sentencias SQL: COMMIT (comprometer), indicando que la transacción entera ha terminado correctamente y que sus cambios se hacen persistentes. ROLLBACK (anular), indicando que se deshace la transacción entera y que desaparecen todos los cambios que había realizado.

Final implícito de una transacción COMMIT automático: Antes y después de una sentencia DDL. Terminación normal de una aplicación. ROLLBACK automático: Terminación anormal de una aplicación. Sin embargo, es una buena praxis evitar los COMMIT y ROLLBACK implícitos.

Ejercicio 0: Creación y carga de la base de datos SPJ en los esquemas de los alumnos. Estudio de la sintaxis DML de modificación. Atomicidad Las sentencias COMMIT y ROLLBACK permiten implementar adecuadamente la atomicidad de las transacciones. Ejercicio 1: Atomicidad de las transacciones Atomicidad de las sentencias: ROLLBACK implícito a nivel de sentencia.

Consistencia Por defecto, el control de la integridad semántica se realiza en cada sentencia Por lo tanto, esta garantizada al final de la transacción. Sin embargo, la validación de las restricciones semánticas puede diferirse al momento del compromiso de la transacción

Restricciones semánticas con validación diferida Para poder diferir una restricción Hay que declarar, al crearla, la posibilidad de diferir su validación. A partir de entonces, se podrá diferir su validación hasta el instante del COMMIT, siempre que sea necesario. Al iniciar una nueva transacción, la validación volverá a ser inmediata. Ejercicio 2: Actualización en propagación con control referencial.