X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fsql%2Ffill_inconcl_aux.sql;h=50146e0fd5d42642f512894b7000ff8fd87fead6;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=55c388462f8e1db74d3a4d9d63d50b4c6b173641;hpb=b7c3d2c30326b54f8126b578503acc4a53440936;p=helm.git

diff --git a/helm/metadata/sql/fill_inconcl_aux.sql b/helm/metadata/sql/fill_inconcl_aux.sql
index 55c388462..50146e0fd 100644
--- a/helm/metadata/sql/fill_inconcl_aux.sql
+++ b/helm/metadata/sql/fill_inconcl_aux.sql
@@ -1,3 +1,10 @@
 
+-- table mapping sources to number of distinct constants occurring in conclusion
+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;