X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIProperty.ml;h=acb5df43a84c48a0ec163eaaf42725822e9728fb;hb=04cc990d9452b85535c5dc93655078d9fb19b14c;hp=56a9d64212d44ea9bd0e4de0472b54da0957402f;hpb=99bd3d38d021bb5c618883e8a484891f227082c3;p=helm.git diff --git a/helm/ocaml/mathql_interpreter/mQIProperty.ml b/helm/ocaml/mathql_interpreter/mQIProperty.ml index 56a9d6421..acb5df43a 100644 --- a/helm/ocaml/mathql_interpreter/mQIProperty.ml +++ b/helm/ocaml/mathql_interpreter/mQIProperty.ml @@ -1,4 +1,3 @@ - (* Copyright (C) 2000, HELM Team. * * This file is part of HELM, an Hypertextual, Electronic @@ -24,9 +23,14 @@ * http://cs.unibo.it/helm/. *) +(* AUTOR: Ferruccio Guidi + *) + module M = MathQL -module P = MQIPostgres -module U = MQIUtil +module I = M.I +module U = AvsUtil +module C = MQIConn +module A = MQIMap let not_supported s = raise (Failure ("MQIProperty: feature not supported: " ^ s)) @@ -49,121 +53,47 @@ let cl_print l = in List.iter c_print l -(* PostgreSQL backend ******************************************************) +(* Common functions ********************************************************) -let pg_query table cols ct cfl = - let rec iter f sep = function - | [] -> "" - | [head] -> f head - | head :: tail -> f head ^ sep ^ iter f sep tail - in - let pg_cols = iter (fun x -> x) ", " cols in - let pg_msval v = 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 ^ ")" - else "true" - in - let pg_cons l = iter pg_con " and " l in - let pg_cons_not l = "not (" ^ pg_cons l ^ ")" in - let pg_cons_not_l ll = iter pg_cons_not " and " ll in - let pg_where = match ct, cfl with - | [], [] -> "" - | lt, [] -> " where " ^ pg_cons lt - | [], llf -> " where " ^ pg_cons_not_l llf - | lt, llf -> " where " ^ pg_cons lt ^ " and " ^ pg_cons_not_l llf - in - if cols = [] then [] else begin - let q = "select " ^ pg_cols ^ " from " ^ table ^ pg_where ^ - " order by " ^ List.hd cols ^ " asc" in - prerr_endline q; - P.exec q end - -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 pg_result subj el res = 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 - -let get_table mc ct cfl el = - let fst = function - | [] -> None - | head :: tail -> Some head - in - let comp n1 n2 = match n1, n2 with - | None, _ -> n2 - | Some h, Some k when h = k -> n2 - | _, None -> n1 - | _ -> not_supported "comp" - in - let rec get_c prev = function - | [] -> prev - | (_, p, _) :: tail -> get_c (comp prev (fst p)) tail - in - let rec get_e prev = function - | [] -> prev - | (p, _) :: tail -> get_e (comp prev (fst p)) tail - in - get_e (get_c (get_c (fst mc) ct) (List.concat cfl)) el - -let rec decolon s = - let l = String.length s in - try - let i = String.index s ':' in - String.sub s 0 i ^ "_" ^ decolon (String.sub s (succ i) (l - succ i)) - with Not_found -> s - -let conv = function - | [] -> "source" - | ["objectName"] -> "value" - | [t] -> "" - | [_; t] -> decolon t - | _ -> not_supported "conv" - -let postgres_single mc ct cfl el t = - let table = match t with Some t -> decolon t | None -> "objectName" in + U.iter mk_avs res + +let get_table h mc ct cfl el = + let aux_c ts (_, p, _) = A.refine_tables ts (C.tables h p) in + let aux_e ts (p, _) = A.refine_tables ts (C.tables h p) in + let fst = C.tables h mc in + let snd = List.fold_left aux_c fst (ct @ (List.concat cfl)) in + let trd = List.fold_left aux_e snd el in + A.default_table trd + +let exec_single h mc ct cfl el table = + let conv p = C.field h p table in let first = conv mc in let mk_con l = List.map (fun (pat, p, v) -> (pat, conv p, v)) l in let cons_true = mk_con ct in let cons_false = List.map mk_con cfl in let other_cols = List.map (fun (p, _) -> conv p) el in - let cols = if first = "" then other_cols else first :: other_cols in - pg_result false first el (pg_query table cols cons_true cons_false) + let cols = if first = "" then other_cols else first :: other_cols in + let out q = if C.set h C.Queries then C.log h (q ^ "\n") in + let r = C.exec h out (C.resolve h table) cols cons_true cons_false in + pg_result first el r let deadline = 100 -let postgres refine mc ct cfl el = - if refine <> M.RefineExact then not_supported "postgres"; - let table = get_table mc ct cfl el in - let rec postgres_aux ct = match ct with - | (pat, p, v) :: tail when List.length v > deadline -> - let single s = postgres_aux ((pat, p, [s]) :: tail) in - U.mql_iter single v +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 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 | _ -> - postgres_single mc ct cfl el table - in postgres_aux ct - -(* Galax backend ***********************************************************) - -let galax refine mc ct cfl el = not_supported "Galax" - -(* funzioni vecchie ********************************************************) - -let pg_name s = - let q = "select id from registry where uri = " ^ P.quote s in - match P.exec q with - | [[id]] -> "t" ^ id - | _ -> "" - -let get_id b = if b then ["B"] else ["F"] + exec_single h mc ct cfl el table + in exec_aux ct