Finding closure of FD given a set of FD

Finding closure of FD given a set of FD

Post by c24cha » Sun, 13 Jul 2003 10:00:33


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