From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 1 Sep 2005 10:28:28 +0000 (+0000)
Subject: New index refObj_occurrence on refObj. It is required by rdfly and by the graph
X-Git-Tag: V_0_1_2_1~129
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1fbd5af6e9d6c15a4708482767ccdc4214f80872;p=helm.git

New index refObj_occurrence on refObj. It is required by rdfly and by the graph
generator to efficiently produce backward dependencies graphs.
---

diff --git a/helm/ocaml/metadata/sqlStatements.ml b/helm/ocaml/metadata/sqlStatements.ml
index 2e0e5e6a6..ecfade517 100644
--- a/helm/ocaml/metadata/sqlStatements.ml
+++ b/helm/ocaml/metadata/sqlStatements.ml
@@ -86,7 +86,8 @@ let sprintf_count_drop name = [sprintf "DROP TABLE %s;" name]
 (* INDEXES *)
 
 let sprintf_refObj_index name = [
-sprintf "CREATE INDEX %s_index ON %s (source(219),h_occurrence(219),h_position);" name name ]
+sprintf "CREATE INDEX %s_index ON %s (source(219),h_occurrence(219),h_position);" name name;
+sprintf "CREATE INDEX %s_occurrence ON %s (h_occurrence);" name name ]
 
 let sprintf_refSort_index name = [
 sprintf "CREATE INDEX %s_index ON %s (source,h_sort,h_position,h_depth);" name name]