X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FsqlStatements.ml;h=262188e13699b214c31e9b332dda9bf84382b37e;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=0c51feba6faef4fd405282566e4c6fd9e1f1fa3d;hpb=30e88ee56b57607a22e9c668dd96a0972329f074;p=helm.git diff --git a/helm/ocaml/metadata/sqlStatements.ml b/helm/ocaml/metadata/sqlStatements.ml index 0c51feba6..262188e13 100644 --- a/helm/ocaml/metadata/sqlStatements.ml +++ b/helm/ocaml/metadata/sqlStatements.ml @@ -1,78 +1,138 @@ +(* Copyright (C) 2004-2005, HELM Team. + * + * This file is part of HELM, an Hypertextual, Electronic + * Library of Mathematics, developed at the Computer Science + * Department, University of Bologna, Italy. + * + * HELM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * HELM is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with HELM; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, + * MA 02111-1307, USA. + * + * For details, see the HELM World-Wide-Web page, + * http://helm.cs.unibo.it/ + *) open Printf;; -type tbl = [ `RefObj| `RefSort| `RefRel| `ObjectName| `Owners| `Count] +type tbl = [ `RefObj| `RefSort| `RefRel| `ObjectName| `Hits| `Count] (* TABLES *) -let sprintf_refObj_format name = [sprintf " -CREATE TABLE %s ( +let sprintf_refObj_format name = [ +sprintf "CREATE TABLE %s ( source varchar(255) binary not null, h_occurrence varchar(255) binary not null, - h_position varchar(255) binary not null, + h_position varchar(62) binary not null, h_depth integer );" name] -let sprintf_refSort_format name = [sprintf " -CREATE TABLE %s ( +let sprintf_refSort_format name = [ +sprintf "CREATE TABLE %s ( source varchar(255) binary not null, - h_position varchar(255) binary not null, + h_position varchar(62) binary not null, h_depth integer not null, - h_sort varchar(255) binary not null + h_sort varchar(5) binary not null );" name] -let sprintf_refRel_format name = [sprintf " -CREATE TABLE %s ( +let sprintf_refRel_format name = [ +sprintf "CREATE TABLE %s ( source varchar(255) binary not null, - h_position varchar(255) binary not null, + h_position varchar(62) binary not null, h_depth integer not null );" name] -let sprintf_objectName_format name = [sprintf " -CREATE TABLE %s ( +let sprintf_objectName_format name = [ +sprintf "CREATE TABLE %s ( source varchar(255) binary not null, value varchar(255) binary not null );" name] -let sprintf_owners_format name = [sprintf " -CREATE TABLE %s ( +let sprintf_hits_format name = [ +sprintf "CREATE TABLE %s ( source varchar(255) binary not null, - owner varchar(255) binary not null + no integer not null );" name] -let sprintf_count_format name = [sprintf " -CREATE TABLE %s ( +let sprintf_count_format name = [ +sprintf "CREATE TABLE %s ( source varchar(255) binary unique not null, conclusion smallint(6) not null, hypothesis smallint(6) not null, statement smallint(6) not null );" name] +let sprintf_refObj_drop name = [sprintf "DROP TABLE %s;" name] + +let sprintf_refSort_drop name = [sprintf "DROP TABLE %s;" name] + +let sprintf_refRel_drop name = [sprintf "DROP TABLE %s;" name] + +let sprintf_objectName_drop name = [sprintf "DROP TABLE %s;" name] + +let sprintf_hits_drop name = [sprintf "DROP TABLE %s;" name] + +let sprintf_count_drop name = [sprintf "DROP TABLE %s;" name] + (* INDEXES *) let sprintf_refObj_index name = [ -sprintf "CREATE INDEX %s_source ON %s (source);" name name ; -sprintf "CREATE INDEX %s_target ON %s (h_occurrence);" name name ; -sprintf "CREATE INDEX %s_position ON %s (h_position);" name name ] +sprintf "CREATE INDEX %s_index ON %s (source(219),h_occurrence(219),h_position);" name name; +sprintf "CREATE INDEX %s_occurrence ON %s (h_occurrence);" name name ] -let sprintf_refSort_index name = [sprintf " -CREATE INDEX %s_source ON %s (source); -" name name] +let sprintf_refSort_index name = [ +sprintf "CREATE INDEX %s_index ON %s (source,h_sort,h_position,h_depth);" name name] let sprintf_objectName_index name = [ -sprintf " CREATE INDEX %s_value ON %s (value);" name name] +sprintf "CREATE INDEX %s_value ON %s (value);" name name] -let sprintf_owners_index name = [ -sprintf "CREATE INDEX %s_owner ON %s (owner);" name name ; -sprintf "CREATE INDEX %s_source ON %s (source);" name name] +let sprintf_hits_index name = [ +sprintf "CREATE INDEX %s_source ON %s (source);" name name ; +sprintf "CREATE INDEX %s_no ON %s (no);" name name] let sprintf_count_index name = [ -sprintf "CREATE INDEX %s_source ON %s (source);" name name; sprintf "CREATE INDEX %s_conclusion ON %s (conclusion);" name name; sprintf "CREATE INDEX %s_hypothesis ON %s (hypothesis);" name name; sprintf "CREATE INDEX %s_statement ON %s (statement);" name name] +let sprintf_refRel_index name = [ +sprintf "CREATE INDEX %s_index ON %s (source,h_position,h_depth);" name name] + +let sprintf_refObj_index_drop name = [ +sprintf "DROP INDEX %s_index ON %s;" name name ] + +let sprintf_refSort_index_drop name = [ +sprintf "DROP INDEX %s_index ON %s;" name name ] + +let sprintf_objectName_index_drop name = [ +sprintf "DROP INDEX %s_value ON %s;" name name] + +let sprintf_hits_index_drop name = [ +sprintf "DROP INDEX %s_source ON %s;" name name ; +sprintf "DROP INDEX %s_no ON %s;" name name] + +let sprintf_count_index_drop name = [ +sprintf "DROP INDEX %s_source ON %s;" name name; +sprintf "DROP INDEX %s_conclusion ON %s;" name name; +sprintf "DROP INDEX %s_hypothesis ON %s;" name name; +sprintf "DROP INDEX %s_statement ON %s;" name name] + +let sprintf_refRel_index_drop name = [ +sprintf "DROP INDEX %s_index ON %s;" name name] -let sprintf_refRel_index name = [] +let sprintf_rename_table oldname newname = [ +sprintf "RENAME TABLE %s TO %s;" oldname newname +] + (* FUNCTIONS *) @@ -82,7 +142,7 @@ let get_table_format t named = | `RefSort -> sprintf_refSort_format named | `RefRel -> sprintf_refRel_format named | `ObjectName -> sprintf_objectName_format named - | `Owners -> sprintf_owners_format named + | `Hits -> sprintf_hits_format named | `Count -> sprintf_count_format named let get_index_format t named = @@ -91,12 +151,48 @@ let get_index_format t named = | `RefSort -> sprintf_refSort_index named | `RefRel -> sprintf_refRel_index named | `ObjectName -> sprintf_objectName_index named - | `Owners -> sprintf_owners_index named + | `Hits -> sprintf_hits_index named | `Count -> sprintf_count_index named - + +let get_table_drop t named = + match t with + | `RefObj -> sprintf_refObj_drop named + | `RefSort -> sprintf_refSort_drop named + | `RefRel -> sprintf_refRel_drop named + | `ObjectName -> sprintf_objectName_drop named + | `Hits -> sprintf_hits_drop named + | `Count -> sprintf_count_drop named + +let get_index_drop t named = + match t with + | `RefObj -> sprintf_refObj_index_drop named + | `RefSort -> sprintf_refSort_index_drop named + | `RefRel -> sprintf_refRel_index_drop named + | `ObjectName -> sprintf_objectName_index_drop named + | `Hits -> sprintf_hits_index_drop named + | `Count -> sprintf_count_index_drop named + let create_tables l = List.fold_left (fun s (name,table) -> s @ get_table_format table name) [] l let create_indexes l = List.fold_left (fun s (name,table) -> s @ get_index_format table name) [] l + +let drop_tables l = + List.fold_left (fun s (name,table) -> s @ get_table_drop table name) [] l +let drop_indexes l = + List.fold_left (fun s (name,table) -> s @ get_index_drop table name) [] l + +let rename_tables l = + List.fold_left (fun s (o,n) -> s @ sprintf_rename_table o n) [] l + +let fill_hits refObj hits = + [ sprintf + "INSERT INTO %s + SELECT h_occurrence, COUNT(source) + FROM %s + GROUP BY h_occurrence;" + hits refObj ] + +