img

Notice détaillée

Une généralisation du théorème 94 de Hilbert

Thèses / mémoires Ecrit par: Mahmoud-Bacha, Mohamed ; Université des Sciences et de la Technologie Houari Boumediene Alger ; Hassani, N. ; Publié en: 1992

Résumé: Cette thèse entre dans le cadre de l'étude des méthodes et téchniques qui synchronisent les accès concurrents de plusieurs utilisateurs à une base de données répartie et qui assurent le maintien de sa cohérence. Elle s'articule autour de trois parties qui sont: -une synthèse des deux grands types classiques du contrôle de concurrence: le contrôle pessimiste qui suppose une fréquence élevée des conflits et qui s"exerce de façon continue sur chaque opération et le contrôle optimiste qui se base sur l'hypothèse de la rareté des conflits et qui ne s'effectue qu'au niveau d'une étape finale certification. -Une étude des méthodes multiversions quidiminuent le nombre de rejets et favorisent les transctions de lecture pure en leur offrant un choix de plusieurs versions pour un même objet. -Le développement d'une méthode nouvelle, dont les principes tiennent à la fois des méthodes mulitiversions et de celles basés sur les intervalles d'estampilles: le calcul dynamique de l'ordre de sérialisation induit par la technique des intervalles..................

Alger:
Langue: Français
Collation: 92 p. ill. ;30 cm.
Diplôme: Magister
Etablissement de soutenance: Alger, Université des Sciences et de la Technologies Houari Boumediene
Spécialité: Mathématiques
Index décimal 510 .Mathématiques
Thème Mathématiques

Mots clés:
Systéme répartis

Note: Bibliogr. pp.91-92