From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id UAA10181 for caml-redistribution; Fri, 18 Oct 1996 20:10:43 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id TAA10015 for ; Fri, 18 Oct 1996 19:41:14 +0200 Received: from udc.es (unica.udc.es [193.144.48.50]) by nez-perce.inria.fr (8.7.6/8.7.1) with SMTP id TAA11305 for ; Fri, 18 Oct 1996 19:37:14 +0200 (MET DST) Received: from unica by udc.es (SMI-8.6/SMI-SVR4) id TAA12281; Fri, 18 Oct 1996 19:36:26 -0100 Date: Fri, 18 Oct 1996 19:36:26 -0100 (GMT) From: Xesus Maria Lopez Alvarez X-Sender: xesus@unica To: caml-list@inria.fr Subject: CaML and Databases (fwd) Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Content-Transfer-Encoding: QUOTED-PRINTABLE Sender: weis 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@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 > 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