reorganization continues ...

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

diff --git a/metadata/sql/fill_no_concl_hyp.sql b/metadata/sql/fill_no_concl_hyp.sql
new file mode 100644 (file)
index 0000000..3c82358
--- /dev/null
+++ b/metadata/sql/fill_no_concl_hyp.sql
@@ -0,0 +1,9 @@
+
+-- table mapping sources to number of distinct constants occurring everywhere
+-- except body
+INSERT INTO no_concl_hyp
+SELECT source, COUNT(DISTINCT h_occurrence)
+FROM refObj
+WHERE NOT (h_position="http://www.cs.unibo.it/helm/schemas/schema-helm#InBody")
+GROUP BY source;
+