]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/func.ml
Initial revision
[helm.git] / helm / ocaml / mathql_interpreter / func.ml
index 1338af00899bdfd7332cdf2e047d20e23503b0f4..8bc0c8d10d273cc8eb6d2908758406b348cd2c74 100644 (file)
@@ -34,23 +34,13 @@ open Intersect;;
 (*
  * implementazione delle funzioni dublin core
  *)
-let rec func_dc tab outv inv = function
+let rec fun_ex tab = function
     [] -> []
   | s::tl -> let res =
              let c = pgc () in
-            let q = ("select " ^ tab ^ "." ^ outv ^ " from " ^ tab ^ " where " ^ tab ^ "." ^ inv ^ " = '" ^ s ^ "'") in
-             pgresult_to_string_list (c#exec q)
+            let q = ("select " ^ tab ^ ".uri from " ^ tab ^ " where " ^ tab ^ ".value = '" ^ s ^ "'") in
+                    pgresult_to_string_list (c#exec q)
              in
-             append (res,(func_dc tab outv inv tl))
-;;
-
-(*
- *
- *)
-let fun_ex f value =
- match f with
-   "name" -> func_dc "names" "name" "uri" value
- | "reference" -> func_dc "names" "uri" "name" value
- | _ -> []
+             append (res,(fun_ex tab tl))
 ;;