]> matita.cs.unibo.it Git - helm.git/blob - metadata/sql/fill_no_concl_hyp.sql
Procedural: now patterns for rewrite are generated correctly
[helm.git] / 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