Gestión de Transacciones y Concurrencia en Bases de Datos

V y F:

Transacciones Simples y Complejas:

Las transacciones simples son una por una, lineales. Las complejas pueden ser varias en paralelo.

Propiedades ACID:

Atomicidad: o todos los efectos o ninguno.

Consistencia: la base de datos es consistente antes y después de cada transacción (puede que no durante).

Aislamiento: el resultado de la ejecución concurrente es el mismo que si fuera secuencialmente.

Persistencia: los cambios son permanentes.

Control de Concurrencia:

Evitar que transacciones simultáneas puedan interferir.

TP Monitor:

Componente clave de la arquitectura de un DBMS tradicional, responsable de la coordinación entre recursos distribuidos.

Responsabilidades del Monitor:

• Delimitación de transacciones.
• Planificación equitativa de su ejecución.
• Registro de sus actividades.
• Detección de conflictos.
• Ejecución de tareas de recuperación.

Control de Concurrencia:

• Evitar que transacciones simultáneas puedan interferir.
• Factor clave en el rendimiento del sistema (niveles de aislamiento ajustables).

Logs de Transacciones:

Sirven para mantener un seguimiento de la ejecución de las transacciones (crucial para su recuperación).

Undo y Redo:

Undo: Las escrituras se hacen pronto (antes del commit). No se puede actualizar una copia de seguridad de la base de datos.

Redo: Las escrituras se hacen tarde (después del commit).

Virtual Log File:

Oracle Redo Log:

Logs multiplexados (múltiples copias).

Versioning:

Los datos nunca se modifican, sino que se crean distintas versiones de los mismos.

Completación de Transacciones:

Commit de 2 Fases:

El objetivo del protocolo es que todos los nodos realicen commit de la transacción o la aborten.

Commit de 3 Fases:

Lo mismo que 2 fases pero añade una fase en la que el coordinador envía un mensaje preparado para commit a todos los nodos con la decisión de si hay que hacer commit o no. Si todos los nodos responden, pasa a la fase de commit. Al contrario de 2 fases, no es bloqueante.

Teorema CAP:

• Consistencia
• Disponibilidad
• Tolerancia a Particiones

Teorema BASE:

• Básicamente Disponible
• Estado Suave
• Eventualmente Consistente