reorganization continues ...

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

diff --git a/helm/metadata/sql/fill_no_hyp.sql b/helm/metadata/sql/fill_no_hyp.sql
deleted file mode 100644 (file)
index b920e1c..0000000
--- a/helm/metadata/sql/fill_no_hyp.sql
+++ /dev/null
@@ -1,15 +0,0 @@
-
--- 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;