Control de Concurrencia en Bases de Datos

Serializabilidad

Es una propiedad que garantiza que la ejecución concurrente de transacciones en una base de datos produzca los mismos resultados que si se ejecutaran en serie (una tras otra).

Plan Serializable

Es un conjunto de transacciones cuya ejecución concurrente garantiza los mismos resultados que una ejecución en serie. Se usa para asegurar la integridad de los datos en bases de datos concurrentes.

Planificadores

Son mecanismos que controlan la ejecución de transacciones en una base de datos para evitar inconsistencias y conflictos.

Marcas Temporales

Son valores únicos asignados a cada transacción para garantizar que se ejecuten en un orden cronológico correcto.

Control de Concurrencia en Bases de Datos

Garantiza que la ejecución concurrente de transacciones sea equivalente a una ejecución en serie.

Tipos de serializabilidad:

• Serializabilidad por conflicto (compara operaciones en conflicto).

• Serializabilidad por visión (equivalencia en el resultado final).

Un conjunto de transacciones que cumplen con la serializabilidad.

Es un conjunto de transacciones que, aunque se ejecuten concurrentemente, cumplen con la serializabilidad, asegurando la integridad de los datos.

Tipos de planificadores:

• Basado en bloqueo (usa bloqueos de lectura/escritura).
• Basado en marcas temporales (prioriza transacciones más antiguas).
• Basado en validación (ejecuta sin bloqueos y valida antes de escribir).

Son identificadores de tiempo asignados a cada transacción para garantizar que se ejecuten en un orden cronológico seguro

Tipos de protocolo de marcas temporales:

• Protocolo de ordenación por marcas (prioriza transacciones con menor timestamp).
• Protocolo de actualización temprana/tardía (permite reintentos o abortos).

Métodos para verificar si un plan es serializable:

• Grafo de precedencia (no debe haber ciclos).

• Matrices de equivalencia (analiza los resultados).