Db connection initialization

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index ba7d0713a592a3fd7b7a034d44ff833e45d465be..f0fd0a7c059172f0c99fb4004e03fe8e7a4a6a57 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -33,8 +33,9 @@
 open MathQL;;
 open Eval;;
 open Utility;;
-open Dbconn;;
+
 open Pattern;;*)
+open Dbconn;;
 open Union;;
 open Intersect;;
 open Meet;;
@@ -256,9 +257,29 @@ let close () = Dbconn.close ();;
 
 *****************************************************************************)
 
-let init () = () (* FG: implementare l'apertura del database *)
+let prop_pool = ref None;;
+
+(*
+ * inizializzazione della connessione al database
+  *)
+  
 
-let close () = () (* FG: implementare la chiusura del database *)
+let init () =
+ let _ = Dbconn.init () in
+  let c = pgc () in
+   let res =
+    c#exec "select name,id from property where ns_id in (select id from namespace where url='http://www.cs.unibo.it/helm/schemas/mattone.rdf#')"
+   in
+   prop_pool := Some
+   (
+    List.map
+    (function
+      a::b::_ -> (a, b)
+      | _       -> print_endline "no"; assert false
+    )
+     res#get_list
+   )
+                                                                         
 
 
 
@@ -350,3 +371,11 @@ and exec_val_exp c = function
 and execute x =
    exec_set_exp {svars = []; rvars = []; groups = []; vvars = []} x 
 
+
+
+
+(*
+ * chiusura della connessione al database
+  *)
+  let close () = Dbconn.close ();;
+