]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/sql/drop_mowgli_tables.mysql.sql
Added sql/drop_mowgli_tables.mysql.sql
[helm.git] / helm / metadata / sql / drop_mowgli_tables.mysql.sql
diff --git a/helm/metadata/sql/drop_mowgli_tables.mysql.sql b/helm/metadata/sql/drop_mowgli_tables.mysql.sql
new file mode 100644 (file)
index 0000000..2cc87e5
--- /dev/null
@@ -0,0 +1,9 @@
+DROP TABLE refObj;
+DROP TABLE refSort;
+DROP TABLE refRel;
+DROP TABLE objectName;
+DROP TABLE no_inconcl_aux;
+DROP TABLE no_concl_hyp;
+DROP TABLE no_hyp;
+DROP TABLE owners;
+DROP TABLE count;