reorganization continues ...

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

diff --git a/metadata/sql/fill_inconcl_aux.sql b/metadata/sql/fill_inconcl_aux.sql
new file mode 100644 (file)
index 0000000..50146e0
--- /dev/null
+++ b/metadata/sql/fill_inconcl_aux.sql
@@ -0,0 +1,10 @@
+
+-- table mapping sources to number of distinct constants occurring in conclusion
+INSERT INTO no_inconcl_aux
+SELECT source, COUNT(h_occurrence)
+FROM refObj
+WHERE
+  h_position='http://www.cs.unibo.it/helm/schemas/schema-helm#InConclusion'
+  OR h_position='http://www.cs.unibo.it/helm/schemas/schema-helm#MainConclusion'
+GROUP BY source;
+