An algorithm to find minimal cover of a set of functional dependencies
Prateek Saxena, R.C. Tripathi · 1988
L'algorithme presente est base sur l'analogie entre les dependances fonctionnelles et le systeme formel de derivation, ou la notion de pseudotransitivite est utilisee dans la recherche de la fermeture d'un ensemble de dependances fonctionnelles