faster database format implemented

[helm.git] / helm / ocaml / mathql_interpreter / mqint.ml

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 8aa07a36879bc5add524bff23822c9f9e2e38521..c78465aa7c5f315346f9ddfca51a9afde1790f8d 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -69,24 +69,23 @@ let init () = Dbconn.init ();;
  * output: string list list; risultato internto formato da uri + contesto.
  *)
 let rec execute_ex q =
-   match q with
-      MQSelect (apvar, alist, abool) ->
-       select_ex apvar (execute_ex alist) abool
-   |  MQUsedBy (alist, asvar) ->
-       use_ex (execute_ex alist) asvar "refObj"
-   |  MQUse (alist, asvar) ->
-       use_ex (execute_ex alist) asvar "backPointer"
-   |  MQPattern (apreamble, apattern, afragid) ->
-       (*let _ = print_endline ("*********" ^ apreamble ^ (fi_to_string afragid)); flush stdout in*)
-       pattern_ex apreamble apattern afragid
-   |  MQUnion (l1, l2) ->
-       union_ex (execute_ex l1) (execute_ex l2)
-   |  MQDiff (l1, l2) ->
-       diff_ex (execute_ex l1) (execute_ex l2)
-   |  MQSortedBy (l, o, f) ->
-       sortedby_ex (execute_ex l) o f
-   |  MQIntersect (l1, l2) ->
-       intersect_ex (execute_ex l1) (execute_ex l2)
+ match q with
+    MQSelect (apvar, alist, abool) ->
+     select_ex apvar (execute_ex alist) abool
+ |  MQUsedBy (alist, asvar) ->
+     use_ex (execute_ex alist) asvar "F" (*"refObj"*)
+ |  MQUse (alist, asvar) ->
+     use_ex (execute_ex alist) asvar "B" (*"backPointer"*)
+ |  MQPattern (apreamble, apattern, afragid) ->
+     pattern_ex apreamble apattern afragid
+ |  MQUnion (l1, l2) ->
+     union_ex (execute_ex l1) (execute_ex l2)
+ |  MQDiff (l1, l2) ->
+     diff_ex (execute_ex l1) (execute_ex l2)
+ |  MQSortedBy (l, o, f) ->
+     sortedby_ex (execute_ex l) o f
+ |  MQIntersect (l1, l2) ->
+     intersect_ex (execute_ex l1) (execute_ex l2)
 ;;
 
 (*