X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fsql%2Fcreate_mowgli_tables.mysql.sql;h=bc2e2846004955089f0a71b3e22e689d5b303c26;hb=e5050c8f2f36a4d697e3a7c5b24ecc1d5dc73f48;hp=e2195891accf7bbd0ddb274b65f5b1ab3811fb75;hpb=b7c3d2c30326b54f8126b578503acc4a53440936;p=helm.git

diff --git a/helm/metadata/sql/create_mowgli_tables.mysql.sql b/helm/metadata/sql/create_mowgli_tables.mysql.sql
index e2195891a..bc2e28460 100644
--- a/helm/metadata/sql/create_mowgli_tables.mysql.sql
+++ b/helm/metadata/sql/create_mowgli_tables.mysql.sql
@@ -22,11 +22,19 @@ CREATE TABLE objectName (
 );
 CREATE TABLE no_inconcl_aux (
     source varchar(255) binary not null,
-    no tinyint(4) not null
+    no smallint(6) not null
 );
 CREATE TABLE no_concl_hyp (
     source varchar(255) binary not null,
-    no tinyint(4) 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 owners (
+    source varchar(255) binary not null,
+    owner varchar(255) binary not null
 );
 
 CREATE INDEX refObj_source ON refObj (source);
@@ -38,4 +46,8 @@ 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);