On 14-Dec-1998, Patrick Logan <[EMAIL PROTECTED]> wrote:
>
> The open software Erlang system comes with a distributed database
> implemented in Erlang where the "query language" is based on list
> (table) comprehensions. That may serve as an example for what a
> Haskell database may be like.
>
You may also be interested to look at:
Database transactions in a purely declarative logic programming language.
David B. Kemp, Thomas Conway, Evan Harris, Fergus Henderson,
Kotagiri Ramamohanarao and Zoltan Somogyi.
Technical Report 96/45 Department of Computer Science,
University of Melbourne, December 1996
It is available from:
http://www.cs.mu.oz.au/mercury/information/papers.html
under the "related papers" heading.
It describes the Mercury/ODBC interface. I haven't read it properly myself,
but I know that it does use Mercury's nondeterminism as a fairly central
feature. This might mean that the scheme isn't relevant, but it might be
interesting to model this use of nondeterminism in Haskell using a (list or
set) monad. Perhaps Fergus could comment more, as I see he is one of the
authors.
HTH.
dgj
--
David Jeffery ([EMAIL PROTECTED]) | Arithmetic is being able to count
PhD student, | up to twenty without taking off
Dept. of Comp. Sci. & Soft. Eng. | your shoes.
University of Melbourne, Australia | -- Mickey Mouse