« Algèbre relationnelle/Introduction » : différence entre les versions

Contenu supprimé Contenu ajouté
Keynote (discussion | contributions)
Nouvelle page : ==Rappel sur les relations== {{Définition|contenu= Soient n ensembles, <math>D_1, D_2, ..., D_n \,</math>. Une relation <math>R \,</math> sur ces ensembles est un sous-ensemble du p...
 
Keynote (discussion | contributions)
Aucun résumé des modifications
Ligne 8 :
 
<math>d_i \in D_i</math> (avec <math>i \in \mathbb{N}^\times_n </math>)
 
 
Si <math>(x,y)\in R</math>, on écrit <math>x R y \,</math>, et on dit que <math>x \,</math> et <math>y \,</math> sont en relation par <math>R \,</math>.
Une relation est :
*''réflexive'' si <math>\forall x \in E, xRx</math>
*''symétrique'' si <math>(\forall x,y \in E, xRy)\Rightarrow( yRx ),</math>
*''transitive'' si <math>(\forall x,y,z\in E, (xRy\, \wedge \, yRz))\Rightarrow (xRz).</math>
*''antisymétrique'' si <math>(\forall x,y\in E, (xRy\, \wedge\, yRx))\Rightarrow (x=y).</math>
}}