]> matita.cs.unibo.it Git - helm.git/commitdiff
no_inconcl_aux managed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Oct 2004 09:32:53 +0000 (09:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Oct 2004 09:32:53 +0000 (09:32 +0000)
helm/metadata/sql/create_mowgli_tables.sql
helm/metadata/sql/drop_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);
 
index 273b4d2e65b81a2b1c538edc786e086741bf50fb..070183db1d25ba7a1ba8e63368c790c38ea4c63f 100644 (file)
@@ -2,3 +2,5 @@ DROP TABLE refObj;
 DROP TABLE refSort;
 DROP TABLE refRel;
 DROP TABLE objectName;
+DROP TABLE no_inconcl_aux;
+DROP TABLE no_concl_hyp;