]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/sql/create_mowgli_tables.mysql.sql
* create_mowgli_tables.mysql.sql added
[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
new file mode 100644 (file)
index 0000000..e219589
--- /dev/null
@@ -0,0 +1,41 @@
+
+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 not null,
+    no tinyint(4) not null
+);
+CREATE TABLE no_concl_hyp (
+    source varchar(255) binary not null,
+    no tinyint(4) 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);
+