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 injection et surjection.
Nederlandse vertaling
U hebt gevraagd om deze site in het Nederlands te bezoeken. Voor nu wordt alleen de interface vertaald, maar nog niet alle inhoud.Als je me wilt helpen met vertalingen, is je bijdrage welkom. Het enige dat u hoeft te doen, is u op de site registreren en mij een bericht sturen waarin u wordt gevraagd om u toe te voegen aan de groep vertalers, zodat u de gewenste pagina's kunt vertalen. Een link onderaan elke vertaalde pagina geeft aan dat u de vertaler bent en heeft een link naar uw profiel.
Bij voorbaat dank.
Document heeft de 19/03/2002 gemaakt, de laatste keer de 26/10/2018 gewijzigd
Bron van het afgedrukte document:https://www.gaudry.be/nl/algebre-ensembles.html
De infobrol is een persoonlijke site waarvan de inhoud uitsluitend mijn verantwoordelijkheid is. De tekst is beschikbaar onder CreativeCommons-licentie (BY-NC-SA). Meer info op de gebruiksvoorwaarden en de auteur.
