Explica qué significa ACID y qué garantiza realmente cada propiedad.

ACID describe las garantías que te da una transacción. Atomicidad significa que todas las escrituras se aplican o ninguna. Consistencia significa que la transacción lleva la base de datos de un estado válido a otro, respetando sus restricciones. Aislamiento significa que las transacciones concurrentes no ven el trabajo parcial de las demás, en la medida en que lo prometa el nivel de aislamiento. Durabilidad significa que una vez que el commit responde, los datos sobreviven a una caída.

La atomicidad es todo o nada: si cargo una cuenta y abono otra, o las dos escrituras hacen commit o ninguna. La consistencia significa que la transacción deja la base de datos cumpliendo sus restricciones, así que las claves foráneas y los check constraints se sostienen a ambos lados. El aislamiento es el interesante, porque es un dial y no una promesa. La mayoría de las bases de datos tienen read committed por defecto, que todavía permite lecturas no repetibles y filas fantasma, así que si asumes comportamiento serializable tarde o temprano vas a publicar una condición de carrera. La durabilidad significa que una vez que el commit responde, la escritura sobrevive a un corte de luz, normalmente porque llegó al write ahead log y se hizo flush. Donde esto me mordió fue en un endpoint de canje de cupones. Comprobábamos los usos restantes y luego decrementábamos en dos sentencias separadas bajo read committed, y dos peticiones concurrentes vieron las dos que quedaba un uso. El arreglo fue un único update condicional con un where sobre el contador restante, que hizo que la comprobación y la escritura fueran atómicas.