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.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
