Résumé: L’avènement des modèles de transactions a donnée naissance à de nombreux travaux en vue de repenser les concepts développés pour la gestion des transactions classiques, en égard aux particularités de ces modèles. Cette thèse entre dans le cadre de l'étude du contrôle de concurrence pour des systèmes dont les transaction obéissent au modèle imbriqué. Après une étude des modèles de transactions les plus répandus dans la littérature, nous dégageons une classification de ces modèles et proposons une méthode d'aide à la conception de nouveaux modèles de transactions, tenant compte des modèles existants. Nous présentons ensuite un état de l'art sur le contrôle de concurrence dans les systèmes de transaction imbriquées. Au terme de cette étude, nous développons une nouvelle approche de la sérialisabilité qui grâce à sa distinction entre la concurrence intra-transactionnelle inhérente au modèle imbriqué et la concurrence inter-transactionnelle, permet une flexibilité des critères de correction adoptés. Enfin, nous proposons trois approches de construction du graphe de sérialisation pour les systèmes de transactions imbriquées. La première approche est basée sur un nouveau type de graphes, appelés graphes mixtes, et donne une condition nécessaire et suffisante pour la préservation de la sérialisabilité de conflit. La seconde approche, extension de la première, exploite des propriétés sémantiques des transactions dans les environnements orientés objet. La troisième approche permet une construction nodulaire du graphe de sérialisation en introduisant les notions de graphe local et global.

Alger:
Langue: Français
Collation: 99 p. ill. ;30 cm.
Diplôme: Magister
Etablissement de soutenance: Alger, Université des Sciences et de la Technologie Houari Boumediene. Faculté d'Electronique et d'Informatique
Spécialité: Informatique
Thème Informatique

Mots clés:
modéles de transactions
transactions imbriquées
contrôle de concurrence
sérialisabilité

Note: Bibliogr. pp.93-99