A program for finding the Minimum coverage of functional dependencies, closures of all sets of attributes, determining the minimum keys, non-trivial FDs, precomposition to any normal forms (in deve…