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

Henning Thielemann lemming at henning-thielemann.de
Fri Nov 30 08:32:21 EST 2007

I know there are Haskell people who are busy with hardware verification
and relational algebra.
  (as indicated by
     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

More information about the Haskell-Cafe mailing list