]> matita.cs.unibo.it Git - helm.git/blob - metadata/sql/fill_no_hyp.sql
...
[helm.git] / 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;