From 9d9c379bff1e983b82c695d8fdd4dd50b3c37d86 Mon Sep 17 00:00:00 2001
From: Yorick Barbanneau <ephase@xieme-art.org>
Date: Thu, 24 Feb 2022 00:10:55 +0100
Subject: [PATCH] Finish functionnal dependencies course

---
 .../4-dependances_fonctionnelles/index.md     | 21 ++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/content/bdd_avancees/4-dependances_fonctionnelles/index.md b/content/bdd_avancees/4-dependances_fonctionnelles/index.md
index 46491f3..2a9c97e 100644
--- a/content/bdd_avancees/4-dependances_fonctionnelles/index.md
+++ b/content/bdd_avancees/4-dependances_fonctionnelles/index.md
@@ -299,4 +299,23 @@ attributs et \\(F\\) une couverture minimale) est une clé si et seulement si :
  1. \\( \\{X \to U\\} \in F^{+} \\)
  2. \\( \neg \exists X' \subset X / \\{ X' \to U \\} \in F^{+} \\) : minimalité
     de la clé
- 3. 
+ 3. \\( X_{F}^{+} = U \\)
+
+Exemple:
+
+\\(R(\underline{A,B},C,D,E,F,G)\\) alors \\(AB \to CDEFG\\) et chaque dépendance
+fonctionnelle simple est élémentaire. Une clé candidate est un minimum
+d'attributs qui détermine tous les autres.
+
+
+\\( F_{4} \left \\{ \begin{array}{c}
+A \to BC \\\
+C \to D\\\
+D \to EG\\\
+E \\to F\\\
+\end{array}
+\right \\}
+\\)
+
+\\(A_{4}^{+} \\{ABCDEFG\\}\\) donc \\(A\\) est une clé candidate de la relation 
+R.