Abstract FR:

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