Etude de la cohérence globale des contraintes dans les bases de données
Institution:
Paris 5Disciplines:
Directors:
Abstract EN:
The task of data modelling is always a delicate activity and requires a good experiment of designers. The aim of this task is a conceptual schema creation. A conceptual schema can result from database schemas integration process, database reverse engineering or simply from interested reality design. The conceptual schema is a set of data structures and constraints in order to represent, as well as possible, the real word. The current means to define constraint neither represent a great number of constraints nor ensure their total coherence. Thus the validity of data is not checked. In addition, total coherence study of these constraints (the detection of possible conflicts and their localization) is necessary. ‘vVe propose in this thesis an approach to study this coherence. To this end, we formalize constraints, defined in the conceptual schema, in mathematical inequalities form combined with expressions in first-order predicate logic. The result of this formalization is a logical program. To do this, we proposed a meta-schema to save the conceptual schema in its totality. Then, we apply reasoning on the logical program in order to detect and localize possible conflicts. If conflicts exist, the conceptual schema is considered invalid and must be corrected. If the conceptual schema is valid, it is translated in a target language according to the selected environment. Our translation is complete since it takes into account the totality of the defined constraints.
Abstract FR:
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.