helm/metadata/sql/fill_no_hyp.sql

   1
   2 -- table mapping sources to number of distinct constants occurring in hypothesis
   3 INSERT INTO no_hyp
   4 SELECT source, COUNT(DISTINCT h_occurrence)
   5 FROM refObj
   6 WHERE (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis"
   7     OR h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InHypothesis")
   8 GROUP BY source;
   9
  10 INSERT IGNORE INTO no_hyp
  11 SELECT source, 0
  12 FROM refObj
  13 WHERE NOT (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis"
  14     OR h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InHypothesis")
  15 GROUP BY source;