Architecture formelle d'un système d'intégrité pour une base de données reparties
الأطروحات و الكتابات الأكاديمية من تأليف: Beaufils, R. ; Miranda, S. ; نشر في: 1980
ملخص: CETTE RECHERCHE PROPOSE UN CADRE FORMEL POUR L'ARCHITECTURE D'UN SYSTEME D'INTEGRITE D'UNE BASE DE DONNEES REPARTIES DANS LEQUEL LES MECANISMES PROPOSES ET CEUX QUI EXISTENT SONT SPECIFIES, VALIDES ET LEURS PROPRIETES INTRINSEQUES RIGOUREUSEMENT VERIFIEES
طبعة:
Toulouse:
Université Paul Sabatier de Toulouse
لغة:
فرنسية
الوصف المادي:
180 p. ill.
;21 cm
الشهادة:
Doctorat d'état
مؤسسة مناقشة الرسالة:
Université Paul Sabatier de Toulouse
تخصص:
Informatique
الفهرس العشري
621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع
الإعلام الآلي
الكلمات الدالة:
Sciences appliquées
:Informatique
ملاحظة: Bibliogr.pp.19-21; Annexe pp.I-VI