]> matita.cs.unibo.it Git - helm.git/blob - helm/software/metadata/sql/create_mowgli_tables.mysql.sql
severe bug found in parallel zeta
[helm.git] / helm / software / metadata / sql / create_mowgli_tables.mysql.sql
1
2 CREATE TABLE refObj (
3     source varchar(255) binary not null,
4     h_occurrence varchar(255) binary not null,
5     h_position varchar(255) binary not null,
6     h_depth integer
7 );
8 CREATE TABLE refSort (
9     source varchar(255) binary not null,
10     h_position varchar(255) binary not null,
11     h_depth integer not null,
12     h_sort varchar(255) binary not null
13 );
14 CREATE TABLE refRel (
15     source varchar(255) binary not null,
16     h_position varchar(255) binary not null,
17     h_depth integer not null
18 );
19 CREATE TABLE objectName (
20     source varchar(255) binary not null,
21     value varchar(255) binary not null
22 );
23 CREATE TABLE no_inconcl_aux (
24     source varchar(255) binary unique not null,
25     no smallint(6) not null
26 );
27 CREATE TABLE no_concl_hyp (
28     source varchar(255) binary unique not null,
29     no smallint(6) not null
30 );
31 CREATE TABLE no_hyp (
32     source varchar(255) binary unique not null,
33     no smallint(6) not null
34 );
35 CREATE TABLE hits (
36     source varchar(255) binary not null,
37     no integer not null
38 );
39 CREATE TABLE count (
40     source varchar(255) binary unique not null,
41     conclusion smallint(6) not null,
42     hypothesis smallint(6) not null,
43     statement smallint(6) not null
44 );
45
46 CREATE INDEX refObj_source ON refObj (source);
47 CREATE INDEX refObj_target ON refObj (h_occurrence);
48 CREATE INDEX refObj_position ON refObj (h_position);
49 CREATE INDEX refSort_source ON refSort (source);
50 CREATE INDEX objectName_value ON objectName (value);
51 CREATE INDEX no_inconcl_aux_source ON no_inconcl_aux (source);
52 CREATE INDEX no_inconcl_aux_no ON no_inconcl_aux (no);
53 CREATE INDEX no_concl_hyp_source ON no_concl_hyp (source);
54 CREATE INDEX no_concl_hyp_no ON no_concl_hyp (no);
55 CREATE INDEX no_hyp_no ON no_hyp (no);
56 CREATE INDEX no_hyp_source ON no_hyp (source);
57 CREATE INDEX owners_owner ON owners (owner);
58 CREATE INDEX owners_source ON owners (source);
59 CREATE INDEX hits_source ON hits (source);
60 CREATE INDEX hits_no ON hits (source);
61