ocaml 3.09 transition

[helm.git] / helm / metadata / sql / fill_inconcl_aux.sql

-- 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;