From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 13 May 2005 11:19:14 +0000 (+0000)
Subject: added hits table
X-Git-Tag: single_binding~68
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=72d451f039c8118ab76e17546bc41426477757b9;p=helm.git

added hits table
---

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);