helm/metadata/sql/fill_no_concl_hyp.sql

   1
   2 -- table mapping sources to number of distinct constants occurring everywhere
   3 -- except body
   4 INSERT INTO no_concl_hyp
   5 SELECT source, COUNT(DISTINCT h_occurrence)
   6 FROM refObj
   7 WHERE NOT (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InBody")
   8 GROUP BY source;
   9