Finish functionnal dependencies course
This commit is contained in:
parent
2ac622ccea
commit
9d9c379bff
1 changed files with 20 additions and 1 deletions
|
@ -299,4 +299,23 @@ attributs et \\(F\\) une couverture minimale) est une clé si et seulement si :
|
||||||
1. \\( \\{X \to U\\} \in F^{+} \\)
|
1. \\( \\{X \to U\\} \in F^{+} \\)
|
||||||
2. \\( \neg \exists X' \subset X / \\{ X' \to U \\} \in F^{+} \\) : minimalité
|
2. \\( \neg \exists X' \subset X / \\{ X' \to U \\} \in F^{+} \\) : minimalité
|
||||||
de la clé
|
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.
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue