1 (* Copyright (C) 2004-2005, HELM Team.
3 * This file is part of HELM, an Hypertextual, Electronic
4 * Library of Mathematics, developed at the Computer Science
5 * Department, University of Bologna, Italy.
7 * HELM is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation; either version 2
10 * of the License, or (at your option) any later version.
12 * HELM is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with HELM; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
22 * For details, see the HELM World-Wide-Web page,
23 * http://helm.cs.unibo.it/
27 type tbl = [ `RefObj| `RefSort| `RefRel| `ObjectName| `Hits| `Count]
31 let sprintf_refObj_format name = [
32 sprintf "CREATE TABLE %s (
33 source varchar(255) binary not null,
34 h_occurrence varchar(255) binary not null,
35 h_position varchar(62) binary not null,
39 let sprintf_refSort_format name = [
40 sprintf "CREATE TABLE %s (
41 source varchar(255) binary not null,
42 h_position varchar(62) binary not null,
43 h_depth integer not null,
44 h_sort varchar(5) binary not null
47 let sprintf_refRel_format name = [
48 sprintf "CREATE TABLE %s (
49 source varchar(255) binary not null,
50 h_position varchar(62) binary not null,
51 h_depth integer not null
54 let sprintf_objectName_format name = [
55 sprintf "CREATE TABLE %s (
56 source varchar(255) binary not null,
57 value varchar(255) binary not null
60 let sprintf_hits_format name = [
61 sprintf "CREATE TABLE %s (
62 source varchar(255) binary not null,
66 let sprintf_count_format name = [
67 sprintf "CREATE TABLE %s (
68 source varchar(255) binary unique not null,
69 conclusion smallint(6) not null,
70 hypothesis smallint(6) not null,
71 statement smallint(6) not null
74 let sprintf_refObj_drop name = [sprintf "DROP TABLE %s;" name]
76 let sprintf_refSort_drop name = [sprintf "DROP TABLE %s;" name]
78 let sprintf_refRel_drop name = [sprintf "DROP TABLE %s;" name]
80 let sprintf_objectName_drop name = [sprintf "DROP TABLE %s;" name]
82 let sprintf_hits_drop name = [sprintf "DROP TABLE %s;" name]
84 let sprintf_count_drop name = [sprintf "DROP TABLE %s;" name]
88 let sprintf_refObj_index name = [
89 sprintf "CREATE INDEX %s_index ON %s (source(219),h_occurrence(219),h_position);" name name;
90 sprintf "CREATE INDEX %s_occurrence ON %s (h_occurrence);" name name ]
92 let sprintf_refSort_index name = [
93 sprintf "CREATE INDEX %s_index ON %s (source,h_sort,h_position,h_depth);" name name]
95 let sprintf_objectName_index name = [
96 sprintf "CREATE INDEX %s_value ON %s (value);" name name]
98 let sprintf_hits_index name = [
99 sprintf "CREATE INDEX %s_source ON %s (source);" name name ;
100 sprintf "CREATE INDEX %s_no ON %s (no);" name name]
102 let sprintf_count_index name = [
103 sprintf "CREATE INDEX %s_conclusion ON %s (conclusion);" name name;
104 sprintf "CREATE INDEX %s_hypothesis ON %s (hypothesis);" name name;
105 sprintf "CREATE INDEX %s_statement ON %s (statement);" name name]
107 let sprintf_refRel_index name = [
108 sprintf "CREATE INDEX %s_index ON %s (source,h_position,h_depth);" name name]
110 let sprintf_refObj_index_drop name = [
111 sprintf "DROP INDEX %s_index ON %s;" name name ]
113 let sprintf_refSort_index_drop name = [
114 sprintf "DROP INDEX %s_index ON %s;" name name ]
116 let sprintf_objectName_index_drop name = [
117 sprintf "DROP INDEX %s_value ON %s;" name name]
119 let sprintf_hits_index_drop name = [
120 sprintf "DROP INDEX %s_source ON %s;" name name ;
121 sprintf "DROP INDEX %s_no ON %s;" name name]
123 let sprintf_count_index_drop name = [
124 sprintf "DROP INDEX %s_source ON %s;" name name;
125 sprintf "DROP INDEX %s_conclusion ON %s;" name name;
126 sprintf "DROP INDEX %s_hypothesis ON %s;" name name;
127 sprintf "DROP INDEX %s_statement ON %s;" name name]
129 let sprintf_refRel_index_drop name = [
130 sprintf "DROP INDEX %s_index ON %s;" name name]
132 let sprintf_rename_table oldname newname = [
133 sprintf "RENAME TABLE %s TO %s;" oldname newname
139 let get_table_format t named =
141 | `RefObj -> sprintf_refObj_format named
142 | `RefSort -> sprintf_refSort_format named
143 | `RefRel -> sprintf_refRel_format named
144 | `ObjectName -> sprintf_objectName_format named
145 | `Hits -> sprintf_hits_format named
146 | `Count -> sprintf_count_format named
148 let get_index_format t named =
150 | `RefObj -> sprintf_refObj_index named
151 | `RefSort -> sprintf_refSort_index named
152 | `RefRel -> sprintf_refRel_index named
153 | `ObjectName -> sprintf_objectName_index named
154 | `Hits -> sprintf_hits_index named
155 | `Count -> sprintf_count_index named
157 let get_table_drop t named =
159 | `RefObj -> sprintf_refObj_drop named
160 | `RefSort -> sprintf_refSort_drop named
161 | `RefRel -> sprintf_refRel_drop named
162 | `ObjectName -> sprintf_objectName_drop named
163 | `Hits -> sprintf_hits_drop named
164 | `Count -> sprintf_count_drop named
166 let get_index_drop t named =
168 | `RefObj -> sprintf_refObj_index_drop named
169 | `RefSort -> sprintf_refSort_index_drop named
170 | `RefRel -> sprintf_refRel_index_drop named
171 | `ObjectName -> sprintf_objectName_index_drop named
172 | `Hits -> sprintf_hits_index_drop named
173 | `Count -> sprintf_count_index_drop named
175 let create_tables l =
176 List.fold_left (fun s (name,table) -> s @ get_table_format table name) [] l
178 let create_indexes l =
179 List.fold_left (fun s (name,table) -> s @ get_index_format table name) [] l
182 List.fold_left (fun s (name,table) -> s @ get_table_drop table name) [] l
185 List.fold_left (fun s (name,table) -> s @ get_index_drop table name) [] l
187 let rename_tables l =
188 List.fold_left (fun s (o,n) -> s @ sprintf_rename_table o n) [] l
190 let fill_hits refObj hits =
193 SELECT h_occurrence, COUNT(source)
195 GROUP BY h_occurrence;"