]> matita.cs.unibo.it Git - helm.git/blob - metadata/sql/fill_inconcl_aux.sql
added the geniric
[helm.git] / metadata / sql / fill_inconcl_aux.sql
1
2 -- table mapping sources to number of distinct constants occurring in conclusion
3 INSERT INTO no_inconcl_aux
4 SELECT source, COUNT(h_occurrence)
5 FROM refObj
6 WHERE
7   h_position='http://www.cs.unibo.it/helm/schemas/schema-helm#InConclusion'
8   OR h_position='http://www.cs.unibo.it/helm/schemas/schema-helm#MainConclusion'
9 GROUP BY source;
10