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 IAA09438 for caml-redistribution; Wed, 16 Oct 1996 08:36:12 +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 NAA03521 for ; Tue, 15 Oct 1996 13:56:05 +0200 Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by nez-perce.inria.fr (8.7.6/8.7.1) with ESMTP id NAA05795 for ; Tue, 15 Oct 1996 13:56:03 +0200 (MET DST) Received: from lip.ens-lyon.fr (lip [140.77.11.11]) by cri.ens-lyon.fr (8.8.0/8.8.0) with ESMTP id NAA24122 for ; Tue, 15 Oct 1996 13:56:00 +0200 (MET DST) Received: from anjou.ens-lyon.fr (anjou [140.77.11.117]) by lip.ens-lyon.fr (8.8.0/8.8.0) with ESMTP id NAA05719 for ; Tue, 15 Oct 1996 13:55:54 +0200 (MET DST) Received: (from jcfillia@localhost) by anjou.ens-lyon.fr (8.8.0/8.8.0) id NAA08037 for caml-list@inria.fr; Tue, 15 Oct 1996 13:55:52 +0200 (MET DST) Date: Tue, 15 Oct 1996 13:55:52 +0200 (MET DST) Message-Id: <199610151155.NAA08037@anjou.ens-lyon.fr> From: Jean-Christophe Filliatre To: caml-list@inria.fr Subject: database Reply-to: Jean-Christophe.Filliatre@ens-lyon.fr (Jean-Christophe Filliatre) Content-Type: text Sender: weis [ 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 | \=========================================================================/