[Haskell-cafe] Functional dependencies / monotonic boolean functions in Haskell

[Henning Thielemann]

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_verification )

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.