LIP6 2001/029
- Thèse
Contraintes d'intégrité et transactions imbriquées - C. P. Leon Luna
- 72 pages - 19/07/2001- document en - http://www.lip6.fr/lip6/reports/2001/lip6.2001.029.pdf - 521 Ko
- Contact : cleon (at) nullstrix.ciens.ucv.ve
- Ancien Thème : OASIS
- Mots clés : transactions imbriquées, contraintes d'intégrité, base de données orientées objet, systèmes distribués
- Directeur de la publication : Stephane.Gancarski (at) nulllip6.fr
Cette thèse de doctorat propose de nouveaux développements dans le contexte des transactions imbriquées. Parmi les modèles de transactions avancées, les transactions imbriquées constituent sans doute le modèle le plus connu et le plus souvent utilisé. Ce modèle permet de décomposer une transaction en une hiérarchie de sous-transactions pouvant s'exécuter en parallèle, chacune constituant une unité de reprise après défaillance.
La première partie consiste en l'évaluation d'un système qui supporte des transactions imbriquées, dans le but d'étudier son comportement dans les systèmes répartis.
La seconde partie étudie le problème de la vérification de contraintes pour des transactions imbriquées. Cette étude est faite dans un premier temps en considérant une base de données centralisée. Dans ce cadre, l'idée principale est d'associer le contrôle d'une contrainte au plus petit ancêtre commun des transactions feuilles qui touchent la contrainte. Cette solution intègre le contrôle d'exécution des transactions imbriquées avec la capacité de vérifier des contraintes d'intégrité aussitôt que possible pendant l'exécution d'une transaction. Cette solution a été mise en oeuvre dans un prototype. Dans un second temps nous avons adapté cette approche à un environnement multibase : à l'aide d'une typologie, nous avons établi des stratégies différentes de vérification en fonction de la nature des contraintes et de la structure des transactions. La solution proposée dans cette thèse ne perturbe pas le contrôle d'exécution des transactions imbriquées, ce qui la rend très flexible.
La transparence est fournie puisque les utilisateurs n'ont pas besoin d'ajouter de code de contrôle dans les définitions des contraintes ou des transactions.
La première partie consiste en l'évaluation d'un système qui supporte des transactions imbriquées, dans le but d'étudier son comportement dans les systèmes répartis.
La seconde partie étudie le problème de la vérification de contraintes pour des transactions imbriquées. Cette étude est faite dans un premier temps en considérant une base de données centralisée. Dans ce cadre, l'idée principale est d'associer le contrôle d'une contrainte au plus petit ancêtre commun des transactions feuilles qui touchent la contrainte. Cette solution intègre le contrôle d'exécution des transactions imbriquées avec la capacité de vérifier des contraintes d'intégrité aussitôt que possible pendant l'exécution d'une transaction. Cette solution a été mise en oeuvre dans un prototype. Dans un second temps nous avons adapté cette approche à un environnement multibase : à l'aide d'une typologie, nous avons établi des stratégies différentes de vérification en fonction de la nature des contraintes et de la structure des transactions. La solution proposée dans cette thèse ne perturbe pas le contrôle d'exécution des transactions imbriquées, ce qui la rend très flexible.
La transparence est fournie puisque les utilisateurs n'ont pas besoin d'ajouter de code de contrôle dans les définitions des contraintes ou des transactions.