I know there are Haskell people who are busy with hardware verification and relational algebra. (as indicated by http://www.haskell.org/haskellwiki/Relational_algebra http://www.haskell.org/haskellwiki/Applications_and_libraries/Hardware_verif... ) Is there a Haskell library for working with functional dependencies, namely for computing minimal keys given a set of functional dependencies? Since this problem can also be posed in terms of monotonic boolean functions a library for processing monotonic boolean functions might also help.