From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 14 Oct 2004 09:32:16 +0000 (+0000)
Subject: * create_mowgli_tables.mysql.sql added
X-Git-Tag: V_0_0_10~77
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b7c3d2c30326b54f8126b578503acc4a53440936;p=helm.git

* create_mowgli_tables.mysql.sql added
* fill_inconcl_aux.sql added (what does it do? Ask Andrea or Selmi)
---

diff --git a/helm/metadata/sql/create_mowgli_tables.mysql.sql b/helm/metadata/sql/create_mowgli_tables.mysql.sql
new file mode 100644
index 000000000..e2195891a
--- /dev/null
+++ b/helm/metadata/sql/create_mowgli_tables.mysql.sql
@@ -0,0 +1,41 @@
+
+CREATE TABLE refObj (
+    source varchar(255) binary not null,
+    h_occurrence varchar(255) binary not null,
+    h_position varchar(255) binary not null,
+    h_depth integer
+);
+CREATE TABLE refSort (
+    source varchar(255) binary not null,
+    h_position varchar(255) binary not null,
+    h_depth integer not null,
+    h_sort varchar(255) binary not null
+);
+CREATE TABLE refRel (
+    source varchar(255) binary not null,
+    h_position varchar(255) binary not null,
+    h_depth integer not null
+);
+CREATE TABLE objectName (
+    source varchar(255) binary not null,
+    value varchar(255) binary not null
+);
+CREATE TABLE no_inconcl_aux (
+    source varchar(255) binary not null,
+    no tinyint(4) not null
+);
+CREATE TABLE no_concl_hyp (
+    source varchar(255) binary not null,
+    no tinyint(4) not null
+);
+
+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);
+CREATE INDEX no_inconcl_aux_source ON no_inconcl_aux (source);
+CREATE INDEX no_inconcl_aux_no ON no_inconcl_aux (no);
+CREATE INDEX no_concl_hyp_source ON no_concl_hyp (source);
+CREATE INDEX no_concl_hyp_no ON no_concl_hyp (no);
+
diff --git a/helm/metadata/sql/fill_inconcl_aux.sql b/helm/metadata/sql/fill_inconcl_aux.sql
new file mode 100644
index 000000000..55c388462
--- /dev/null
+++ b/helm/metadata/sql/fill_inconcl_aux.sql
@@ -0,0 +1,3 @@
+
+
+ insert into no_inconcl_aux select source,count(h_occurrence) from refObj where h_position='http://www.cs.unibo.it/helm/schemas/schema-helm#InConclusion' or h_position='http://www.cs.unibo.it/helm/schemas/schema-helm#MainConclusion' group by source;