- changed metadata type so that positions contains depth

[helm.git] / helm / ocaml / metadata / metadataDb.ml

diff --git a/helm/ocaml/metadata/metadataDb.ml b/helm/ocaml/metadata/metadataDb.ml
index e7e60fafff64e823519d50bfba721fe51c91dc25..f4ce2dd395d9137eb1ab239b499f186af0ec6c6b 100644 (file)
--- a/helm/ocaml/metadata/metadataDb.ml
+++ b/helm/ocaml/metadata/metadataDb.ml
@@ -27,16 +27,6 @@ open MetadataTypes
 
 open Printf
 
-module DB = Dbi_mysql
-
-(* let baseuri = "http://www.cs.unibo.it/helm/schemas/schema-helm#" *)
-let baseuri = ""
-let inconcl_uri = baseuri ^ "InConclusion"
-let mainconcl_uri = baseuri ^ "MainConclusion"
-let mainhyp_uri = baseuri ^ "MainHypothesis"
-let inhyp_uri = baseuri ^ "InHypothesis"
-let inbody_uri = baseuri ^ "InBody"
-
 let prepare_insert (dbh: Dbi.connection) =
   let insert_owner =
     dbh#prepare (sprintf "INSERT INTO %s VALUES (\"?\",\"?\")" owners_tbl)
@@ -63,14 +53,14 @@ let execute_insert dbh (insert_owner, insert_sort, insert_rel, insert_obj)
 let insert_const_no dbh uri =
   let inconcl_no =
     sprintf "INSERT INTO %s SELECT \"%s\", COUNT(DISTINCT h_occurrence) FROM %s WHERE (h_position=\"%s\" OR h_position=\"%s\") AND source LIKE \"%s%%\""
-      conclno_tbl uri obj_tbl inconcl_uri mainconcl_uri uri
+      conclno_tbl uri obj_tbl inconcl_pos mainconcl_pos uri
   in
   let concl_hyp =
     sprintf "INSERT INTO %s
         SELECT \"%s\",COUNT(DISTINCT h_occurrence)
         FROM %s
         WHERE NOT (h_position=\"%s\") AND (source = \"%s\")"
-      conclno_hyp_tbl uri obj_tbl inbody_uri uri
+      conclno_hyp_tbl uri obj_tbl inbody_pos uri
   in
   (dbh#prepare inconcl_no)#execute [];
   (dbh#prepare concl_hyp)#execute []