Une généralisation du théorème 94 de Hilbert
الأطروحات و الكتابات الأكاديمية من تأليف: Mahmoud-Bacha, Mohamed ; Université des Sciences et de la Technologie Houari Boumediene Alger ; Hassani, N. ; نشر في: 1992
ملخص: 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:
لغة:
فرنسية
الوصف المادي:
92 p. ill.
;30 cm.
الشهادة:
Magister
مؤسسة مناقشة الرسالة:
Alger, Université des Sciences et de la Technologies Houari Boumediene
تخصص:
Mathématiques
الفهرس العشري
510 .الرياضيات
الموضوع
الرياضيات
الكلمات الدالة:
Systéme répartis
ملاحظة: Bibliogr. pp.91-92