Transactions et services d’un SGBD

Un système de gestion de base de données organise le stockage et l'accès aux données. Il peut vérifier des contraintes, contrôler des droits, coordonner des accès concurrents et gérer des transactions. Ces services évitent de traiter un fichier partagé comme si chaque utilisateur était seul.

Une transaction regroupe des opérations qui doivent être validées ensemble ou annulées. COMMIT valide la transaction ; ROLLBACK abandonne les changements de la transaction non validée. Les garanties précises face à la concurrence dépendent notamment du niveau d'isolation et du système utilisé.

Deux comptes fictifs contiennent100 et40 unités. Un transfert de30 doit débiter le premier puis créditer le second : les soldes deviennent70 et70 après validation. Si une erreur survient après le débit mais avant le crédit, une annulation complète restaure100 et40. La somme140 est préservée dans les deux états finaux cohérents.

Écrivez deux colonnes de soldes et trois étapes : état initial, modifications provisoires, validation ou annulation. L'état intermédiaire70 et40 ne doit pas être présenté comme un transfert achevé.