Is there an existing tool that can infer the functional dependencies implied by the keys in an existing database? Or just compute the canonical cover of a set of functional dependencies? Regards, Jeff Davis