Calculates things to do with database functional dependencies like the canonical cover