Finding closure of FD given a set of FD

Hi:

I know the basic theory behine find F+ given a set of FD, but using armstrong's axioms on a set of FD can take quite a long time with 6 attributes, is there any program out there that can do this kind of stuff for us? ie: find F+ given a set of predefined FD over a schema?

Thanks
Herman Received on Fri Jul 11 2003 - 20:00:33 CDT