Date: Fri, 18 Oct 1996 19:36:26 -0100 (GMT)
From: Xesus Maria Lopez Alvarez <xesus@unica.udc.es>
To: caml-list@inria.fr
Subject: CaML and Databases (fwd)
Some months ago, I started to develop an interface between Caml Special Lig=
ht
(CSL) and Postgres 95 v1.00, although it couldn't be finished yet.=20
That interface intends to provide a usable tool to achieve persistence
from CSL. It's been designed following a layer-model.=20
In the first level, a map from the basic Postgres-to-C interface to Caml
is provided. It performs type transformation between both environments.=20
In the second, higher level functions are introduced, in order to simplify
some work of integration. =20
In the third level, some abstractions are built, to deal with typing, and=
=20
to represent query results as CSL lists of records.=20
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 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
>=20
>=20
>=20
> [ English translation follows ]
>=20
> Bonjour,
>=20
> Je voudrais savoir si quelque chose existe autour des base de donn=E9es
> en Ocaml. (Je connais la biblioth=E8que 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=E9es (avec ou sans requ=EAtes
> SQL). Ou quelque chose d'enti=E8rement =E9crit en Caml. (En particulier,
> j'ai besoin d'=E9ditions multiples, voire concurentes, de la base de
> donn=E9es, et d'une certaine s=E9curit=E9 dans le stockage des donn=E9es)=
.=20
>=20
> Merci,
> --Jean-Christophe.
>=20
>=20
> ---english-----------------------------------------------
>=20
> Hello,
>=20
> 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).
>=20
> Thanks,
> --Jean-Christophe.
>=20
>=20
> --=20
> /=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D\
> | 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: =
| =20
> | =09La hetraie, route de Charly | Residence des stagiaires de l'EN=
I |=20
> | 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 =
|
> \=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D/
>=20
>=20
>=20
>=20
> ----- End Included Message -----
>=20