Mise à jour incrémentale des bases de données géographiques et maintien de leur cohérence

Incremental Updating of Geographical Databases : how to maintain consistency.

• Auteur / Autrice : Hakima Kadri-Dahmani
• Direction : Philippe Dague
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2005
• Etablissement(s) : Paris 13

Mots clés

Mots clés contrôlés

Géographie (discipline) -- Logiciels

Informatique

Résumé

Le travail présenté dans cette thèse concerne la problématique de l'évolution des bases de données géographiques (BDG). Nous donnons une solution pour le problème de maintien de la cohérence d'une BDG lors de sa mise à jour (m. à. J. ). Cette solution repose sur l'approche préventive à base de contraintes d'intégrités et l'approche de m. à. J incrémentale avec contrôle continu de la cohérence. Notre approche est composée de deux phases. La première a consisté à modéliser la BDG construite ou complétée, dans une optique de m. à. J. La seconde phase a consisté à s'appuyer sur cette modélisation pour mettre en place le mécanisme d'évolution composé d'algorithmes déterminant le déroulement du processus de m. à. J et aussi celui du maintien de la cohérence. Nous avons construit nos méthodes de propagation en travaillant sur des zones locales autour de l'objet ciblé par l'opération de m. à. J, puis nous avons établi une propriété qui prouve la cohérence globale d'une BDG à partir d'un traitement local de sa cohérence.