Thèse soutenue

Etude de la cohérence globale des contraintes dans les bases de données
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Djamel Berrabah
Direction : Charles-François DucateauFaouzi Boufares
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2006
Etablissement(s) : Paris 5

Mots clés

FR

Résumé

FR  |  
EN

Le travail de modélisation de données est toujours une activité délicate et nécessite une bonne expérience des concepteurs. Il a pour objectif la construction d’un schéma conceptuel. Ce dernier peut être soit issu du processus d’intégration de schémas de bases de données, soit le résultat d’une rétro-conception de celles-ci soit tout simplement le fruit de la modélisation du réel auquel on s’intéresse. Le schéma conceptuel est un ensemble de structures de données accompagné d’une liste de contraintes afin de représenter au mieux le réel perçu. Les moyens actuels de définition de ces dernières ne permettent pas d’une pan de représenter un grand nombre de contraintes et d’autre part n’assurent pas leur cohérence globale et ainsi la validité des données n’est pas vérifiée. Par conséquent, l’étude de la cohérence globale de ces contraintes, la détection d’éventuels conflits et leur localisation nous parait indispensable. Nous proposons dans cette thèse une approche permettant d’étudier cette cohérence. A cet effet, nous formalisons les contraintes définies au niveau du schéma conceptuel sous forme d’inégalités mathématiques combinées avec des expressions de la logique des prédicats du premier ordre pour générer un programme logique. Pour ce faire, nous avons proposé un méta-schéma permettant de sauvegarder le schéma conceptuel dans sa totalité. Nous appliquons ensuite un raisonnement sur le programme logique afin de détecter et localiser d’éventuels conflits. Dans le cas échéant, le schéma est considéré invalide. Une proposition de correction peut être faite. Dans le cas où le schéma conceptuel est valide, celui-ci est traduit dans un langage cible selon l’environnement choisi. Notre traduction est complète, elle prend en compte la totalité des contraintes définies.