Explique o que ACID significa e o que cada propriedade realmente garante.

ACID descreve as garantias que uma transação te dá. Atomicidade significa que todas as escritas entram ou nenhuma entra. Consistência significa que a transação move o banco de um estado válido para outro, respeitando as restrições dele. Isolamento significa que transações concorrentes não veem o trabalho parcial umas das outras, no grau que o nível de isolamento promete. Durabilidade significa que, uma vez que o commit retorna, o dado sobrevive a uma queda.

Atomicidade é tudo ou nada: se eu debito de uma conta e credito em outra, ou as duas escritas dão commit ou nenhuma dá. Consistência significa que a transação deixa o banco satisfazendo as restrições dele, então chaves estrangeiras e check constraints valem dos dois lados. Isolamento é o interessante, porque é um botão e não uma promessa. A maioria dos bancos usa read committed por padrão, que ainda permite leituras não repetíveis e linhas fantasma, então se você assume comportamento serializable você vai acabar subindo uma corrida. Durabilidade significa que, uma vez que o commit retorna, a escrita sobrevive a uma queda de energia, geralmente porque bateu no write ahead log e foi sincronizada. O lugar onde isso me mordeu foi um endpoint de resgate de cupom. A gente checava os usos restantes e depois decrementava em dois comandos separados sob read committed, e dois requests concorrentes viram um uso sobrando. A correção foi um único update condicional com um where na contagem restante, o que tornou a checagem e a escrita atômicas.