From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 9 Nov 2004 08:14:31 +0000 (+0000)
Subject: added query to fill no_concl_hyp table
X-Git-Tag: v_0_6_4_1~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=966e61f81843b8d6a1696e5d4b27127bc3ae5063;p=helm.git

added query to fill no_concl_hyp table
---

diff --git a/helm/metadata/sql/fill_no_concl_hyp.sql b/helm/metadata/sql/fill_no_concl_hyp.sql
new file mode 100644
index 000000000..3294fe121
--- /dev/null
+++ b/helm/metadata/sql/fill_no_concl_hyp.sql
@@ -0,0 +1,7 @@
+
+INSERT INTO no_concl_hyp
+SELECT source, COUNT(DISTINCT h_occurrence)
+FROM refObj
+WHERE NOT (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InBody")
+GROUP BY source;
+