Write Skew
El write skew es una anomalía del aislamiento de instantánea: dos transacciones hacen comprobaciones condicionales sobre una instantánea consistente y luego escriben filas distintas; combinadas, violan la restricción.
Propósito
Entender por qué el aislamiento de instantánea no garantiza la serializabilidad e identificar la anomalía que SSI debe detectar.
Mecanismo
Ejemplo clásico: la restricción de guardia exige al menos un médico de guardia. T1 lee a ambos de guardia y quita a A; T2 lee a ambos y quita a B. Cada instantánea cumple la restricción, pero combinadas no queda nadie de guardia. SSI detecta dependencias de lectura y hace rollback.
Casos de uso
- Detección de anomalías en SSI
- Límites del aislamiento de instantánea
- Análisis de restricciones concurrentes