Algèbre relationnelle

Dans le cadre d'une définition d'un modèle de données, les langages d'interrogation pour la recherche de données peuvent être scindés en deux classes :

  • les langages algébriques
  • les langages prédicatifs

Le principe d'un langage algébrique est de considérer que l'information à sélectionner peut s'exprimer sous forme d'une relation obtenue par applications successives d'opérateurs dont les opérandes sont les relations de base.
Ces opérateurs sont décrits dans la suite de ce paragraphe. Les langages prédicatifs ne sont pas abordés dans ce document.

Par convention, les premières lettres de l'alphabet sont utilisées pour désigner les attributs et les dernières lettres pour désigner les ensembles d'attributs.

Algèbre des ensembles: rappels

Produit cartésien

Dans la théorie des ensembles, le produit cartésien de X par Y est l'ensemble des couples (a,b) où a appartient à X et b appartient à Y.

 

Relation

En algèbre des ensembles, une relation de X dans Y est une partie du produit cartésien de X par Y.

 

Fonction

En algèbre des ensembles, une fonction de X sur Y est une relation de X dans Y où tout élément de X est l'origine d'un couple au plus.

NB : Dans ce cas, tous les couples ont des origines différentes.

 

Application

En algèbre des ensembles, une application de X sur Y est une fonction de X sur Y où tout élément de X est l'origine d'un et d'un seul couple.

NB : Dans ce cas, nous pouvons dire que le domaine de la fonction (ensemble des origines des couples) est X.

 

Surjection

Une surjection de X sur Y est une application de X sur Y où tout élément de Y est l'extrémité d'un couple au moins.

NB : Dans ce cas, nous pouvons dire que l'image de la fonction (ensemble des extrémités des couples) est Y.

 

Injection

Une injection de X dans Y est une application de X sur Y où tout élément de Y est l'extrémité d'un couple au plus.

NB : Dans ce cas, tous les couples ont des extrémités différentes.

 

Bijection

Une bijection de X dans Y est une application de X sur Y qui est à la fois injective et surjective.

 

Document créé le 19/03/02 02:05, dernière modification le 12/07/17 10:08
Source du document imprimé : https://www.gaudry.be/algebre-ensembles.html

L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.