]> matita.cs.unibo.it Git - helm.git/commitdiff
New index refObj_occurrence on refObj. It is required by rdfly and by the graph
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 Sep 2005 10:28:28 +0000 (10:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 Sep 2005 10:28:28 +0000 (10:28 +0000)
generator to efficiently produce backward dependencies graphs.

helm/ocaml/metadata/sqlStatements.ml

index 2e0e5e6a660ebaca8e18cd8dd9a16e7b4f2366b7..ecfade5177a62afad39c097d0091c2366c276527 100644 (file)
@@ -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]