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=d0846ec7ca8df44729c9a6c8695e4c9a9d111682;hpb=88a07a009adcd5c2320900ea342d7682ada587ce;p=helm.git diff --git a/helm/metadata/sql/create_mowgli_tables.mysql.sql b/helm/metadata/sql/create_mowgli_tables.mysql.sql index d0846ec7c..228e787b8 100644 --- a/helm/metadata/sql/create_mowgli_tables.mysql.sql +++ b/helm/metadata/sql/create_mowgli_tables.mysql.sql @@ -32,11 +32,10 @@ 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, @@ -57,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);