]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/sql/create_mowgli_tables.mysql.sql
ocaml 3.09 transition
[helm.git] / helm / metadata / sql / create_mowgli_tables.mysql.sql
index e2195891accf7bbd0ddb274b65f5b1ab3811fb75..228e787b861819471e7ed83b5f5f8ae02b66df93 100644 (file)
@@ -21,12 +21,26 @@ CREATE TABLE objectName (
     value varchar(255) binary not null
 );
 CREATE TABLE no_inconcl_aux (
-    source varchar(255) binary not null,
-    no tinyint(4) not null
+    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 tinyint(4) 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);
@@ -38,4 +52,10 @@ 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);