CaML and Databases (fwd)

[Xesus Maria Lopez Alvarez <xesus@unica.udc.es>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: TEXT/PLAIN; charset=US-ASCII, Size: 4002 bytes --]




Some months ago, I started to develop an interface between Caml Special Light
(CSL) and Postgres 95 v1.00, although it couldn't be finished yet. 

That interface intends to provide a usable tool to achieve persistence
from CSL. It's been designed following a layer-model. 

In the first level, a map from the basic Postgres-to-C interface to Caml
is provided. It performs type transformation between both environments. 

In the second, higher level functions are introduced, in order to simplify
some work of integration.  

In the third level, some abstractions are built, to deal with typing, and 
to represent query results as CSL lists of records. 

In the last level, a preproccesor is provided. Such preproccessor provides
a special syntax, that let us to represent queries in a way that resembles
set comprehensions, such as that used by mathematicians.

Despite this work is still in a very first stage of developement, I could
send you a copy if you feel very interested. Of course it can't be gua-
ranteed that it be very useful for you, and the code is not yet intended
to be clean and stilistic.  So, if you want a copy, please e-mail me at:

  xesus@udc.es

  Xesus M. Lopez
  Ph.D. Student
  Universidad de La Coruna.
  Spain

-------------------------------------------------------------

Jean-Christophe Filliatre wrote:

> >From Pierre.Weis@inria.fr  Wed Oct 16 07:36:27 1996
> Date: Tue, 15 Oct 1996 13:55:52 +0200 (MET DST)
> From: Jean-Christophe Filliatre <jcfillia@anjou.ens-lyon.fr>
> To: caml-list@inria.fr
> Subject: database
> 
> 
> 
> [ English translation follows ]
> 
> Bonjour,
> 
> Je voudrais savoir si quelque chose existe autour des base de données
> en Ocaml. (Je connais la bibliothèque dbm, mais elle est trop
> restrictive pour ce que je veux faire). Ce que je recherche, c'est
> quelque chose comme une interface d'Ocaml avec Postgres, Oracle, ...
> ou n'importe quel serveur de base de données (avec ou sans requêtes
> SQL). Ou quelque chose d'entièrement écrit en Caml. (En particulier,
> j'ai besoin d'éditions multiples, voire concurentes, de la base de
> données, et d'une certaine sécurité dans le stockage des données). 
> 
> Merci,
> --Jean-Christophe.
> 
> 
> ---english-----------------------------------------------
> 
> Hello,
> 
> I would like to known if something has already been done around
> databases. (I know the dbm library, but it's too restrictive for what
> I want to do). I mean something like an interface with Postgres,
> Oracle, ... or any SQL (or other) database system. Or if somebody has
> written a database manager. (In particular, I need multiple/concurrent
> editing of the database, reliabilty in storage operations, etc).
> 
> Thanks,
> --Jean-Christophe.
> 
> 
> -- 
> /=========================================================================\
> | Jean-Christophe FILLIATRE (Jean-Christophe.Filliatre@ens-lyon.fr)       |
> |   WWW: http://www.eleves.ens.fr:8080/home/filliatr/                     |
> |                                                                         |
> | Office: LIP, LR5/5, Ecole Normale Superieure de Lyon                    |
> |         46, allee d'Italie 69364 LYON Cedex 07, France                  |
> |         Tel. : 04 72 72 86 83                                           |
> |                                                                         |
> | Home:           week:                            week-end:              |   
> |      	La hetraie, route de Charly  | Residence des stagiaires de l'ENI  | 
> |       69390 VERNAISON, France      | appt.D523 / 30, rue de la Pradelle |
> |       Tel. : 04 78 46 36 91        | 63000 CLERMONT-FERRAND, France     |
> |                                    | Tel. : 04 73 92 66 17              |
> \=========================================================================/
> 
> 
> 
> 
> ----- End Included Message -----
>