]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/sql/create_mowgli_tables.mysql.sql
reorganization continues ...
[helm.git] / helm / metadata / sql / create_mowgli_tables.mysql.sql
diff --git a/helm/metadata/sql/create_mowgli_tables.mysql.sql b/helm/metadata/sql/create_mowgli_tables.mysql.sql
deleted file mode 100644 (file)
index 228e787..0000000
+++ /dev/null
@@ -1,61 +0,0 @@
-
-CREATE TABLE refObj (
-    source varchar(255) binary not null,
-    h_occurrence varchar(255) binary not null,
-    h_position varchar(255) binary not null,
-    h_depth integer
-);
-CREATE TABLE refSort (
-    source varchar(255) binary not null,
-    h_position varchar(255) binary not null,
-    h_depth integer not null,
-    h_sort varchar(255) binary not null
-);
-CREATE TABLE refRel (
-    source varchar(255) binary not null,
-    h_position varchar(255) binary not null,
-    h_depth integer not null
-);
-CREATE TABLE objectName (
-    source varchar(255) binary not null,
-    value varchar(255) binary not null
-);
-CREATE TABLE no_inconcl_aux (
-    source varchar(255) binary unique not null,
-    no smallint(6) not null
-);
-CREATE TABLE no_concl_hyp (
-    source varchar(255) binary unique not null,
-    no smallint(6) not null
-);
-CREATE TABLE no_hyp (
-    source varchar(255) binary unique not null,
-    no smallint(6) not null
-);
-CREATE TABLE hits (
-    source varchar(255) binary not null,
-    no integer not null
-);
-CREATE TABLE count (
-    source varchar(255) binary unique not null,
-    conclusion smallint(6) not null,
-    hypothesis smallint(6) not null,
-    statement smallint(6) not null
-);
-
-CREATE INDEX refObj_source ON refObj (source);
-CREATE INDEX refObj_target ON refObj (h_occurrence);
-CREATE INDEX refObj_position ON refObj (h_position);
-CREATE INDEX refSort_source ON refSort (source);
-CREATE INDEX objectName_value ON objectName (value);
-CREATE INDEX no_inconcl_aux_source ON no_inconcl_aux (source);
-CREATE INDEX no_inconcl_aux_no ON no_inconcl_aux (no);
-CREATE INDEX no_concl_hyp_source ON no_concl_hyp (source);
-CREATE INDEX no_concl_hyp_no ON no_concl_hyp (no);
-CREATE INDEX no_hyp_no ON no_hyp (no);
-CREATE INDEX no_hyp_source ON no_hyp (source);
-CREATE INDEX owners_owner ON owners (owner);
-CREATE INDEX owners_source ON owners (source);
-CREATE INDEX hits_source ON hits (source);
-CREATE INDEX hits_no ON hits (source);
-