ANNEXE B1 : Journées AFCET, Bases de données réparties et parallèles, Lyon, Juillet 1996.
Evaluation d'un protocole d'exécution pour un SGBD réparti
Résumé : Le protocole que nous proposons fonctionne sur une architecture adaptée aux bases de données réparties. Dans cette architecture il y a trois types de sites : des sites d'accès, des sites de stockage et des sites d'échange. Les sites de stockage fonctionnent selon un modèle de prévention des accès conflictuels aux données. Ce protocole s'appuie sur les modèles de prévention des accès conflictuels utilisés sur les sites de stockage pour assurer une gestion cohérente des transactions. Ce protocole fonctionne selon une variante du principe de la validation à deux phases en tenant compte du contexte particulier des bases de données réparties.
Ce papier a pour objet de montrer la faisabilité d'un tel protocole d'exécution en évaluant sa cohérence par un réseau de Petri et son coût en nombre de messages nécessaires pour mener à bien une transaction de mise à jour. Chaque couche du système réparti est représentée par un réseau de Pétri qui décrit les différents états par lesquels peut passer cette couche. Ces différents réseaux de Pétri peuvent être reliés pour constituer un système réparti cohérent. Pour le nombre de messages, nous l'évaluons d'abord pour une requête de mise à jour, ensuite nous évaluons ce nombre pour une transaction de mise à jour qui peut être formée de plusieurs requêtes chacune pouvant avoir une issue différente.
Mots clés : Evaluation, transaction de mise à jour, protocole d'exécution, prévention des conflits, réseau de Petri.