From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 9 Nov 2004 08:14:20 +0000 (+0000)
Subject: formatted
X-Git-Tag: v_0_6_4_1~16
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d056a2f44cfe0ba1c517221fa87e965583188c6c;p=helm.git

formatted
---

diff --git a/helm/metadata/sql/fill_inconcl_aux.sql b/helm/metadata/sql/fill_inconcl_aux.sql
index 55c388462..2e7140e18 100644
--- a/helm/metadata/sql/fill_inconcl_aux.sql
+++ b/helm/metadata/sql/fill_inconcl_aux.sql
@@ -1,3 +1,9 @@
 
+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;
 
- 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;