Source: https://www.imo.universite-paris-saclay.fr/~benjamin.auder/teachings/bdd_old/seances/3/TP/lks/l2-bdd-exercices-corriges-dependances-fonctionnelles.pdf