Glossaire de Rel
Root : Marine's HomePage
Previous page : Rel's page
This page's last update : Feb 16, 1998
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
A
Arbre : c'est une forêt qui n'a qu'une racine.
Top
B
Top
C
Couple : Un couple est un ensemble de deux éléments ordonnés entre eux. Il est désigné par des parenthèses. (Toi, Moi) est un couple. Ses éléments "Toi" et "Moi" sont ordonnés de façon conventionnelle. Le pourquoi du comment de cet ordre n'est connu que de celui qui l'a décidé. Donc (Toi, Moi) et (Moi,Toi) sont deux couples différents.
Top
D
Top
E
Ensemble : La notion d'ensemble n'est pas compliquée si on se limite aux ensembles finis, et se rapporte à la même notion que le mot sous lequel elle est désignée : {Mon, Ma, Mes, Ton, Ta, Tes,...} est l'ensemble des adjectifs possessifs. (Un ensemble est dénoté par des crochets.) Ses éléments ne sont pas ordonnes : {Bonjour,Salut} et {Salut,Bonjour} dénotent le même ensemble. (Voir couple)
Top
F
Forêts. Ce sont des relations particulières qu'on rencontre souvent. On peut distinguer les forêts orientées et les forêts transitives.
Une forêt orientée est une relation primitive et dont l'inverse est fonctionnelle. La relation "est père de" dans un ensemble de personnes est une forêt orientée. (Voir un exemple de graphe de forêt)
Une forêt transitive est une relation R telle que sa clôture transitive R* est un ordre strict et RoR-1 est inclus dans R+R-1+clôture transitive)
Si P est une forêt transitive, alors P° est une forêt orientée. (Voir générateur)
Top
G
Top
H
Top
I
Identificateur de relation : Nom par lequel une relation est désignée. Il doit commencer par une lettre majuscule et ne contenir que des lettres, des chiffres, ou le blanc souligné. (A,B, Rel1, Rel2, Ma_relation sont des identificateur valides)
Top
J
Top
K
Top
L
Top
M
Top
N
Top
O
Top
P
Top
Q
Top
R
Racine :
Relation : Formellement, une relation est un ensemble de couples. Par exemple, {(1,2),(2,4), (3,6),...} est une relation. Ca pourrait être la relation qui a tout élément de N fait correspondre son double (ou n'importe quoi d'autre).
Top
S
Top
T
Top
U
Top
V
Top
W
Top
X
Top
Y
Top
Z
Top