X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fsql%2Fcreate_mowgli_tables.mysql.sql;h=228e787b861819471e7ed83b5f5f8ae02b66df93;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=bc2e2846004955089f0a71b3e22e689d5b303c26;hpb=3feb47fdb6a5060b3b68f9fe435a17a2b9920f52;p=helm.git

diff --git a/helm/metadata/sql/create_mowgli_tables.mysql.sql b/helm/metadata/sql/create_mowgli_tables.mysql.sql
index bc2e28460..228e787b8 100644
--- a/helm/metadata/sql/create_mowgli_tables.mysql.sql
+++ b/helm/metadata/sql/create_mowgli_tables.mysql.sql
@@ -21,20 +21,26 @@ CREATE TABLE objectName (
     value varchar(255) binary not null
 );
 CREATE TABLE no_inconcl_aux (
-    source varchar(255) binary not null,
+    source varchar(255) binary unique not null,
     no smallint(6) not null
 );
 CREATE TABLE no_concl_hyp (
-    source varchar(255) binary not null,
+    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 owners (
+CREATE TABLE hits (
     source varchar(255) binary not null,
-    owner 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);
@@ -50,4 +56,6 @@ 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);