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


Reply via email to