img

Notice détaillée

Préservation de la correction forte dans les multibases de données

Thèses / mémoires Ecrit par: Seba, Hamida ; Université des Sciences et de la Technologie Houari Boumediene Alger ; Atroun, M. A. ; Publié en: 1998

Résumé: Avec l’émergence des multi bases de données, plusieurs critères de correction ont été proposés dans la littérature durant ces derrières années.Parmi ces critères, la sérialisabilité globale s'est avérée très difficile à assurer et donc inadéquate pour des environnements aussi spécifiques. de ce fait, d'autres critères de correction basés sur la préservation de la correction forte( c'est à dire des contraintes d’intégrité) ont été définis, nous citons principalement la sérialisabilité local (LSR) et la sérialisabilité à deux niveaux (2LSR). Ces deux critères ont l'avantage d'être facilement implémentable. Toutefois, il a été prouvé que ces deux critères ne peuvent maintenir la correction forte qu'au prix de certaines restriction. Dans cette thése nous proposons un nouveau critère de correction préservant la correction forte indépendamment de toute contrainte, appelé Sérialisabilité par Conflits Composés (CCSR. Ce critère permet d'éviter certaines exécutions indésirables (parce que non fortement correctes) acceptées par la LSR et la 2LSR. De plus, il hérite de la simplicité de la LSR et la 2LSR. Pour l'illustrer, nous proposons trois protocoles de contrôle de concurrence pour le maintenir. Le premier protocole effectue un contrôle centralisé (au niveau du système multi base de donnée) des transactions globales. Il a l'avantage d'être simple mais l'inconvénient d'être trop restrictif en terme de concurrence. Le second protocole raffine la concurrence du premier en distribuant le contrôle des transactions globales au niveau des serveurs. Il est construit selon l'approche top-down avec ordre pré-spécifié. Le dernier protocole rallie la simplicité du premier et la concurrence du second. C'est une extension de la version conservatrice du SGT scheduler (Serialization Graph Testing Scheduler) présenté dans la littérature pour les systèmes de bases de données classiques.


Langue: Français
Collation: 105 p. ill. ;30 cm.
Diplôme: Magister
Etablissement de soutenance: Alger, Université des Sciences et de la Technologies Houari Boumediene. Institut d'Informatique
Spécialité: Informatique
Index décimal 005.743 .Architecture et conception des bases de données (modélisation des données, ouvrages généraux sur les modèles de données)
Thème Informatique

Mots clés:
Bases de données : Conception

Note: Bibliogr. pp.99-105

Préservation de la correction forte dans les multibases de données

Sommaire