helm/ocaml/mathql_interpreter/use.ml

   1 (* Copyright (C) 2000, HELM Team.
   2  *
   3  * This file is part of HELM, an Hypertextual, Electronic
   4  * Library of Mathematics, developed at the Computer Science
   5  * Department, University of Bologna, Italy.
   6  *
   7  * HELM is free software; you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation; either version 2
  10  * of the License, or (at your option) any later version.
  11  *
  12  * HELM is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with HELM; if not, write to the Free Software
  19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  20  * MA  02111-1307, USA.
  21  *
  22  * For details, see the HELM World-Wide-Web page,
  23  * http://www.cs.unibo.it/helm/.
  24  *)
  25
  26 (*
  27  * implementazione dei comandi USE/USED BY
  28  *)
  29
  30 open Utility;;
  31 open Dbconn;;
  32
  33 (*
  34  * implementazione dei comandi USE/USED BY
  35  *
  36  * parametri:
  37  * alist: string list list; lista su cui eseguire il comando USE/USED BY
  38  * asvar: string; nome della variabile del comando use
  39  * usek: string; nome della tabella in cui ricercare le occorrenze;
  40  *               la distinzione fra l'esecuzione del comando USE e USED BY
  41  *               sta nell'utilizzo della tabella 'backPointer' per USE
  42  *               e 'refObj' per USED BY
  43  *
  44  * output: string list list; lista su cui e' stato eseguito il
  45  *                           comando USE/USED BY
  46  *)
  47 let get_prop_id prop =
  48  if prop="refObj" then "F"
  49   else if prop="backPointer" then "B"
  50    else assert false
  51    ;;
  52
  53
  54 let relation_ex rop path rset attl =
  55  let usek = get_prop_id (List.hd path) in
  56
  57 let _ = print_string ("RELATION "^usek)
  58 and t = Sys.time () in
  59 let result =
  60  let c = pgc () in
  61   Sort.list
  62    (fun (uri1-> uri1 < uri2)
  63    (List.fold_left
  64     (fun parziale (uri,aset)->
  65      print_string uri ;
  66       let tv =
  67        pgresult_to_string
  68         (c#exec ("select id from registry where uri='" ^ uri ^ "'"))
  69       in
  70       let qq =
  71        "select uri, context from t" ^ tv ^ " where prop_id='" ^ usek ^
  72         "' order by uri asc"
  73       in
  74       let res = c#exec qq in
  75        (List.map
  76         (function
  77             [uri;context] -> {S.uri = uri ; S.attributes = [asvar, context] ; S.extra = ""}
  78           | _ -> assert false
  79         ) res#get_list
  80        ) @
  81        parziale
  82     ) [] rset
  83    )
  84 in
  85 print_string (" = " ^ string_of_int (List.length result) ^ ": ") ;
  86 print_endline (string_of_float (Sys.time () -. t) ^ "s") ;
  87 flush stdout ;
  88    result
  89 ;;
  90