Find minimal cover/canonical cover in a set of given functional dependencies
A minimal cover of a set of FDs F is a minimal set of functional dependencies Fmin that is equivalent to F. There can be many such minimal covers for a set of functional dependencies F.
A set of FDs F is minimum if F has as few FDs as any equivalent set of FDs.
[What is extraneous attribute? Refer here].