]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/sql/create_mowgli_tables.sql
ocaml 3.09 transition
[helm.git] / helm / metadata / sql / create_mowgli_tables.sql
1
2 CREATE TABLE refObj (
3     source varchar(255),
4     h_occurrence varchar(255),
5     h_position varchar(255),
6     h_depth integer
7 );
8 CREATE TABLE refSort (
9     source varchar(255),
10     h_position varchar(255),
11     h_depth integer,
12     h_sort varchar(255)
13 );
14 CREATE TABLE refRel (
15     source varchar(255),
16     h_position varchar(255),
17     h_depth integer
18 );
19 CREATE TABLE objectName (
20     source varchar(255),
21     value varchar(255)
22 );
23
24 CREATE INDEX refObj_source ON refObj (source);
25 CREATE INDEX refObj_target ON refObj (h_occurrence);
26 CREATE INDEX refObj_position ON refObj (h_position);
27 CREATE INDEX refSort_source ON refSort (source);
28 CREATE INDEX objectName_value ON objectName (value);
29