Bonjour,
Je butte sur un exercice
Soit l'ensemble de dépendances fonctionnelles
F = { A-> BC ; AC->D ; D->B ; AB->D }.
Et le but est de démontrer que AB->D est déductible des 3 autres.
J'ai beau essayer je dois passer à coter de quelques chose de simple.
Merci d'avance
Cordialement SimPlop
Partager