]> matita.cs.unibo.it Git - helm.git/commitdiff
Mathql_interpreter now using db helm_mowgli_new_schema.
authornatile <??>
Fri, 22 Nov 2002 17:59:20 +0000 (17:59 +0000)
committernatile <??>
Fri, 22 Nov 2002 17:59:20 +0000 (17:59 +0000)
helm/ocaml/mathql_interpreter/diff.ml
helm/ocaml/mathql_interpreter/relation.ml

index b4e09196ee5c42e097cbc2c250f2db317d0f491b..5cba32345fcaa7702e9e75e8afd0a18701d605c4 100644 (file)
@@ -81,7 +81,7 @@ let rec diff_ex rs1 rs2 =
 
 
 
-
+(*
 let diff_ex l1 l2 =
  let before = Sys.time () in
  let res = diff_ex l1 l2 in
@@ -95,4 +95,4 @@ let diff_ex l1 l2 =
   flush stdout ;
   res
 ;;
-
+*)
index 54f42a7e5b3f0d9350685412249e4970817bc366..e75fdd032d5ed2254520aa6f970b5c5439ed39bb 100644 (file)
@@ -55,7 +55,8 @@ let relation_ex inv rop path rset attl =
   let rset_list =  (* lista di singoletti:resource_set di un elemento *)
   (List.fold_left (fun acc (uri,l) ->
     let tv = pgresult_to_string (c#exec ("select id from registry where uri='" ^ uri ^ "'")) in
-    let qq = "select uri, context from t" ^ tv ^ " where prop_id='" ^ usek ^ "' order by uri asc" in
+    let qq = "select uri, position from t" ^ tv ^ " where prop_id='" ^ usek ^ "' order by uri asc" in
+    print_endline ("@@@@LA QUERY:" ^ qq); flush stdout;
     let res = c#exec qq in
     (List.map
     (function