X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIProperty.ml;h=357809a746e490ec4f669fb9f90cdb2fd54bf8bd;hb=381006cf8b418cfdeaf145ab7df9e8f2b19ae2e6;hp=b32b519a15df28a83cb7b8e741c34a8e9d491a84;hpb=efdc3184ccd0738fe48aa0056fc444fba23329e8;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIProperty.ml b/helm/ocaml/mathql_interpreter/mQIProperty.ml
index b32b519a1..357809a74 100644
--- a/helm/ocaml/mathql_interpreter/mQIProperty.ml
+++ b/helm/ocaml/mathql_interpreter/mQIProperty.ml
@@ -27,9 +27,10 @@
  *)
 
 module M = MathQL
+module I = M.I
+module U = AvsUtil
 module P = MQIPostgres
 module C = MQIConn
-module U = MQIUtil
 module A = MQIMap
 
 let not_supported s = 
@@ -65,15 +66,22 @@ let pg_query h table cols ct cfl =
       | [head]       -> f head 
       | head :: tail -> f head ^ sep ^ iter f sep tail
    in
+   let avs_iter f sep v =
+      let aux a s = function
+         | true  -> a ^ (f s) ^ sep
+	 | false -> a ^ (f s)
+      in
+      I.iter aux "" v
+   in
    let pg_cols = iter (fun x -> x) ", " cols in
-   let pg_msval v = iter (fun s, _ -> P.quote s) ", " v in
+   let pg_msval v = avs_iter P.quote ", " v in
    let pg_con (pat, col, v) = 
       if col <> "" then 
-         let f (s, _) = col ^ " ~ " ^ P.quote ("^" ^ s ^ "$") in
-         if pat then "(" ^ iter f " or " v ^ ")"
-	 else match v with 
-	    | [(s,_)] -> col ^ " = " ^ (P.quote s)     
-	    | v   -> col ^ " in (" ^ pg_msval v ^ ")"
+         let f s = col ^ " ~ " ^ P.quote ("^" ^ s ^ "$") in
+	 if pat then "(" ^ avs_iter f " or " v ^ ")"
+	 else match I.single v with 
+	    | Some s -> col ^ " = " ^ (P.quote s)     
+	    | None   -> col ^ " in (" ^ pg_msval v ^ ")"
       else "true"
    in
    let pg_cons l = iter pg_con " and " l in
@@ -101,15 +109,15 @@ let gx_query h table cols ct cfl = not_supported "Galax"
 (* Common functions  ********************************************************)
 
 let pg_result distinct subj el res =
-  let compose = if distinct then List.map else fun f -> U.mql_iter (fun x -> [f x]) in 
+  let res, compose =
+     if distinct then List.rev res, U.append_iter else res, U.iter 
+  in 
   let get_name = function (p, None) -> p | (_, Some p) -> p in
   let names = List.map get_name el in
-  let mk_grp l = 
-     let grp = U.mql_iter2 (fun p s -> [(p, [s])]) names l in 
-     if grp = [] then [] else [grp]
-  in
-  let mk_avs l =
-     if subj = "" then ("", mk_grp l) else (List.hd l, mk_grp (List.tl l))
+  let mk_grp l = U.grp_iter2 I.grp_make names l in
+  let mk_avs l = 
+     if subj = "" then I.make "" (mk_grp l) 
+     else I.make (List.hd l) (mk_grp (List.tl l))
   in
   compose mk_avs res
 
@@ -139,9 +147,9 @@ let exec h refine mc ct cfl el =
    if refine <> M.RefineExact then not_supported "exec";   
    let table = get_table h mc ct cfl el in
    let rec exec_aux ct = match ct with 
-      | (pat, p, v) :: tail when List.length v > deadline ->
-         let single s = exec_aux ((pat, p, [s]) :: tail) in
-	 U.mql_iter single v
+      | (pat, p, v) :: tail when U.count v > deadline ->
+         let single a s _ = I.union a (exec_aux ((pat, p, I.make s I.grp_empty) :: tail)) in
+	 I.iter single U.val_false v
       | _                                                 ->
          exec_single h mc ct cfl el table
    in exec_aux ct	 
@@ -155,3 +163,4 @@ let pg_name h s =
       | _      -> ""
 
 let get_id b = if b then ["B"] else ["F"] 
+