]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/sql/fill_inconcl_aux.sql
formatted
[helm.git] / helm / metadata / sql / fill_inconcl_aux.sql
1
2 INSERT INTO no_inconcl_aux
3 SELECT source, COUNT(h_occurrence)
4 FROM refObj
5 WHERE
6   h_position='http://www.cs.unibo.it/helm/schemas/schema-helm#InConclusion'
7   OR h_position='http://www.cs.unibo.it/helm/schemas/schema-helm#MainConclusion'
8 GROUP BY source;
9