Expliquez ce que signifie ACID et ce que chaque propriété garantit réellement.

ACID décrit les garanties qu'une transaction vous offre. L'atomicité veut dire que toutes les écritures aboutissent ou aucune. La cohérence veut dire que la transaction fait passer la base d'un état valide à un autre, en respectant ses contraintes. L'isolation veut dire que les transactions concurrentes ne voient pas le travail partiel des autres, dans la mesure où le niveau d'isolation le promet. La durabilité veut dire qu'une fois le commit revenu, la donnée survit à un crash.

L'atomicité, c'est tout ou rien : si je débite un compte et en crédite un autre, soit les deux écritures sont validées, soit aucune. La cohérence veut dire que la transaction laisse la base en respectant ses contraintes, donc les clés étrangères et les contraintes de vérification tiennent de part et d'autre. L'isolation est la partie intéressante, parce que c'est un curseur plutôt qu'une promesse. La plupart des bases sont par défaut en read committed, ce qui autorise encore les lectures non répétables et les lignes fantômes, donc si vous supposez un comportement sérialisable vous finirez par livrer une course critique. La durabilité veut dire qu'une fois le commit revenu, l'écriture survit à une coupure de courant, en général parce qu'elle a atteint le journal d'écriture anticipée et a été vidée sur disque. L'endroit où ça m'a mordu, c'était un endpoint d'utilisation de coupon. On vérifiait les utilisations restantes puis on décrémentait dans deux instructions séparées en read committed, et deux requêtes concurrentes ont chacune vu une utilisation restante. Le correctif a été un seul update conditionnel avec une clause where sur le compteur restant, ce qui a rendu la vérification et l'écriture atomiques.