X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Ffunc.ml;h=7e1f22367d3ee88f669564ef92174ca0481f084e;hb=39b9497090ee5cc501de1e3d9044d71fdc5cf1fb;hp=bd262762952c47b229a6a1c332b078446f039494;hpb=a7720af3d9a8e97ab9e5179150350025da58d97f;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/func.ml b/helm/ocaml/mathql_interpreter/func.ml
index bd2627629..7e1f22367 100644
--- a/helm/ocaml/mathql_interpreter/func.ml
+++ b/helm/ocaml/mathql_interpreter/func.ml
@@ -27,21 +27,19 @@
  *
  *)
 
-open Dbconn;;
 open Utility;;
 open Intersect;;
 
 (*
  * implementazione delle funzioni dublin core
  *)
-let rec fun_ex tab = function
+let rec fun_ex handle tab = function
     [] -> []
   | s::tl -> let res =
-             let c = pgc () in
-	     let q = ("select objectName.uri from objectName where objectName.value = '" ^ s ^ "'") in
-	     print_endline ("@@@@LA QUERY E': " ^ q);
-	     pgresult_to_string_list (c#exec q)
+             let c = MQIConn.pgc handle in
+	     let q = ("select " ^ tab ^ ".uri from " ^ tab ^ " where " ^ tab ^ ".value = '" ^ s ^ "'") in
+		     pgresult_to_string_list (c#exec q)
              in
-             append (res,(fun_ex tab tl))
+             append (res,(fun_ex handle tab tl))
 ;;