Résumé: 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:
Langue: Français
Collation: 121 p. ill. ;30 cm
Diplôme: Magister
Etablissement de soutenance: Constantine, Université de Constantine. Institut d'Informatique
Spécialité: Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Programmation logique
Contraintes d'intégrité
Base de données déductives
Intégrité de la base

Note: Bibliogr.pp.[122-127]