]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/sql/create_mowgli_tables.sql
ocaml 3.09 transition
[helm.git] / helm / metadata / sql / create_mowgli_tables.sql
index 046e21fc47791d2f9136d807e9bc098f45f29322..2719f43a992e6a704260e310d730afa6c15106ba 100644 (file)
@@ -23,6 +23,7 @@ CREATE TABLE objectName (
 
 CREATE INDEX refObj_source ON refObj (source);
 CREATE INDEX refObj_target ON refObj (h_occurrence);
+CREATE INDEX refObj_position ON refObj (h_position);
 CREATE INDEX refSort_source ON refSort (source);
 CREATE INDEX objectName_value ON objectName (value);