]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/sql/create_mowgli_tables.mysql.sql
- bugfix: sequences like ".(" are now lexed, correctly, as
[helm.git] / helm / 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 not null,
25     no tinyint(4) not null
26 );
27 CREATE TABLE no_concl_hyp (
28     source varchar(255) binary not null,
29     no tinyint(4) not null
30 );
31
32 CREATE INDEX refObj_source ON refObj (source);
33 CREATE INDEX refObj_target ON refObj (h_occurrence);
34 CREATE INDEX refObj_position ON refObj (h_position);
35 CREATE INDEX refSort_source ON refSort (source);
36 CREATE INDEX objectName_value ON objectName (value);
37 CREATE INDEX no_inconcl_aux_source ON no_inconcl_aux (source);
38 CREATE INDEX no_inconcl_aux_no ON no_inconcl_aux (no);
39 CREATE INDEX no_concl_hyp_source ON no_concl_hyp (source);
40 CREATE INDEX no_concl_hyp_no ON no_concl_hyp (no);
41