From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 14 Oct 2004 09:32:53 +0000 (+0000)
Subject: no_inconcl_aux managed
X-Git-Tag: V_0_0_10~76
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c73f6a661af7adbf91370232b555f31d413ce6ac;p=helm.git

no_inconcl_aux managed
---

diff --git a/helm/metadata/sql/create_mowgli_tables.sql b/helm/metadata/sql/create_mowgli_tables.sql
index 046e21fc4..2719f43a9 100644
--- a/helm/metadata/sql/create_mowgli_tables.sql
+++ b/helm/metadata/sql/create_mowgli_tables.sql
@@ -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);
 
diff --git a/helm/metadata/sql/drop_mowgli_tables.sql b/helm/metadata/sql/drop_mowgli_tables.sql
index 273b4d2e6..070183db1 100644
--- a/helm/metadata/sql/drop_mowgli_tables.sql
+++ b/helm/metadata/sql/drop_mowgli_tables.sql
@@ -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;