reorganization continues ...

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

diff --git a/metadata/sql/fill_no_hyp.sql b/metadata/sql/fill_no_hyp.sql
new file mode 100644 (file)
index 0000000..b920e1c
--- /dev/null
+++ b/metadata/sql/fill_no_hyp.sql
@@ -0,0 +1,15 @@
+
+-- table mapping sources to number of distinct constants occurring in hypothesis
+INSERT INTO no_hyp
+SELECT source, COUNT(DISTINCT h_occurrence)
+FROM refObj
+WHERE (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis"
+    OR h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InHypothesis")
+GROUP BY source;
+
+INSERT IGNORE INTO no_hyp
+SELECT source, 0
+FROM refObj
+WHERE NOT (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis"
+    OR h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InHypothesis")
+GROUP BY source;