[Haskell-cafe] Functional dependencies / monotonic boolean
functions in Haskell
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
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