]> matita.cs.unibo.it Git - helm.git/commitdiff
added hits table
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 May 2005 11:19:14 +0000 (11:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 May 2005 11:19:14 +0000 (11:19 +0000)
helm/metadata/sql/create_mowgli_tables.mysql.sql

index d0846ec7ca8df44729c9a6c8695e4c9a9d111682..228e787b861819471e7ed83b5f5f8ae02b66df93 100644 (file)
@@ -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);