Un formalisme algébrique pour le modèle relationnel. Application : couverture minimale d'un sous-ensemble d'attributs

An algebraic formalism for the relational model. Application : minimal cover for a subset of attributes

• Auteur / Autrice : Saïd Benaïchou
• Direction : Michel Schneider
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1990
• Etablissement(s) : Clermont-Ferrand 2

Résumé

Une approche du modele relationnel basee sur une formalisation algebrique est proposee dans ce travail. Nous commencons d'abord par la construction d'un ensemble note p+(c?u) et appele l'espace de l'information dont les elements sont les tuples. Les contraintes du modele relationnel peuvent alors etre vues comme des lois de composition interne sur p+(c?u). Comme consequence, l'espace de l'information muni des contraintes devient un espace fonctionnel. A travers cette approche nous etudions deux applications. D'une part, les proprietes fondamentales du modele relationnel sont demontrees. D'autre part, nous introduisons la notion de couverture minimale d'un sous-ensemble d'attributs qui sera de meme traitee a l'aide de ce formalisme (l'etude est effectuee dans le cadre d'un ensemble de dependances multievaluees); celle-ci constitue une extension de la definition classique de la couverture minimale d'un ensemble de contraintes