Conception de bases de données

Une transaction doit respecter quatre propriétés fondamentales :

• L'atomicité

  Les transactions constituent l'unité logique de travail, toute la transaction est exécutée ou bien rien du tout, mais jamais une partie seulement de la transaction.

• La cohérence

  Les transactions préservent la cohérence de la BD^[1], c'est à dire qu'elle transforme la BD d'un état cohérent à un autre (sans nécessairement que les états intermédiaires internes de la BD au cours de l'exécution de la transaction respectent cette cohérence)

• L'isolation

  Les transactions sont isolées les unes des autres, c'est à dire que leur exécution est indépendante des autres transactions en cours. Elles accèdent donc à la BD comme si elles étaient seules à s'exécuter, avec comme corollaire que les résultats intermédiaires d'une transaction ne sont jamais accessibles aux autres transactions.

• La durabilité

  Les transactions assurent que les modifications qu'elles induisent perdurent, même en cas de défaillance du système.