ملخص: L'objectif de cette thèse est la conception d'un système appelé VIBDOT destiné à la vérification de l’intégrité d'une base de données déductive optimisée par des techniques de transformations logiques. Comme la majorité des systèmes de vérification, VOBDOT suppose que la base de données initiale est intègre afin de ne vérifier que les instances de contraintes d'intégrité affectées suite à une opération de mise à jour Les composition de transformations élémentaires (dépliage, pliage et application de propriétés) sont appelée des tectiques. Ces dernières contribuent, dans de nombreux cas, à l'amélioration de l'efficacité de programmes ne contenant pas de négation, dits "définis" Ceci est réalisé en obtenant des définitions récursives. VIBDOT étant un nouveau système, repose principalement sur le couplage de base de données déductives et des techniques de transformations de programmes logiques.Il améliore ainsi la vérificatioon de l'intégrité d'une base de donnée déductive définie

Consatntine:
لغة: فرنسية
الوصف المادي: 121 p. ill. ;30 cm
الشهادة: Magister
مؤسسة مناقشة الرسالة: Constantine, Université de Constantine. Institut d'Informatique
تخصص: Informatique
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Programmation logique
Contraintes d'intégrité
Base de données déductives
Intégrité de la base

ملاحظة: Bibliogr.pp.[122-127]