helm/ocaml/metadata/sqlStatements.ml

   1 (* Copyright (C) 2004-2005, HELM Team.
   2  *
   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.
   6  *
   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.
  11  *
  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.
  16  *
  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,
  20  * MA  02111-1307, USA.
  21  *
  22  * For details, see the HELM World-Wide-Web page,
  23  * http://helm.cs.unibo.it/
  24  *)
  25
  26 open Printf;;
  27 type tbl = [ `RefObj| `RefSort| `RefRel| `ObjectName| `Hits| `Count]
  28
  29 (* TABLES *)
  30
  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,
  36     h_depth integer
  37 );" name]
  38
  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
  45 );" name]
  46
  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
  52 );" name]
  53
  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
  58 );" name]
  59
  60 let sprintf_hits_format name = [
  61 sprintf "CREATE TABLE %s (
  62     source varchar(255) binary not null,
  63     no integer not null
  64 );" name]
  65
  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
  72 );" name]
  73
  74 let sprintf_refObj_drop name = [sprintf "DROP TABLE %s;" name]
  75
  76 let sprintf_refSort_drop name = [sprintf "DROP TABLE %s;" name]
  77
  78 let sprintf_refRel_drop name = [sprintf "DROP TABLE %s;" name]
  79
  80 let sprintf_objectName_drop name = [sprintf "DROP TABLE %s;" name]
  81
  82 let sprintf_hits_drop name = [sprintf "DROP TABLE %s;" name]
  83
  84 let sprintf_count_drop name = [sprintf "DROP TABLE %s;" name]
  85
  86 (* INDEXES *)
  87
  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 ]
  91
  92 let sprintf_refSort_index name = [
  93 sprintf "CREATE INDEX %s_index ON %s (source,h_sort,h_position,h_depth);" name name]
  94
  95 let sprintf_objectName_index name = [
  96 sprintf "CREATE INDEX %s_value ON %s (value);" name name]
  97
  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]
 101
 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]
 106
 107 let sprintf_refRel_index name = [
 108 sprintf "CREATE INDEX %s_index ON %s (source,h_position,h_depth);" name name]
 109
 110 let sprintf_refObj_index_drop name = [
 111 sprintf "DROP INDEX %s_index ON %s;" name name ]
 112
 113 let sprintf_refSort_index_drop name = [
 114 sprintf "DROP INDEX %s_index ON %s;" name name ]
 115
 116 let sprintf_objectName_index_drop name = [
 117 sprintf "DROP INDEX %s_value ON %s;" name name]
 118
 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]
 122
 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]
 128
 129 let sprintf_refRel_index_drop name = [
 130 sprintf "DROP INDEX %s_index ON %s;" name name]
 131
 132 let sprintf_rename_table oldname newname = [
 133 sprintf "RENAME TABLE %s TO %s;" oldname newname
 134 ]
 135
 136
 137 (* FUNCTIONS *)
 138
 139 let get_table_format t named =
 140   match t with
 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
 147
 148 let get_index_format t named =
 149   match t with
 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
 156
 157 let get_table_drop t named =
 158   match t with
 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
 165
 166 let get_index_drop t named =
 167   match t with
 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
 174
 175 let create_tables l =
 176   List.fold_left (fun s (name,table) ->  s @ get_table_format table name) [] l
 177
 178 let create_indexes l =
 179   List.fold_left (fun s (name,table) ->  s @ get_index_format table name) [] l
 180
 181 let drop_tables l =
 182   List.fold_left (fun s (name,table) ->  s @ get_table_drop table name) [] l
 183
 184 let drop_indexes l =
 185   List.fold_left (fun s (name,table) ->  s @ get_index_drop table name) [] l
 186
 187 let rename_tables l =
 188   List.fold_left (fun s (o,n) ->  s @ sprintf_rename_table o n) [] l
 189
 190 let fill_hits refObj hits =
 191   [ sprintf
 192         "INSERT INTO %s
 193         SELECT h_occurrence, COUNT(source)
 194         FROM %s
 195         GROUP BY h_occurrence;"
 196       hits refObj ]
 197
 198