]> matita.cs.unibo.it Git - helm.git/commitdiff
added index on refRel and the rename table statements
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 10:20:20 +0000 (10:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 10:20:20 +0000 (10:20 +0000)
helm/ocaml/metadata/sqlStatements.ml
helm/ocaml/metadata/sqlStatements.mli

index 897e154891ca0c98321f8838350469aa597ee3f3..2c654bd46b4caf028fdcd470201113d6f15f4785 100644 (file)
@@ -83,16 +83,18 @@ 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 = []
+let sprintf_refRel_index name = [
+sprintf "CREATE INDEX %s_source ON %s (source);" name name
+]
 
 let sprintf_refObj_index_drop name = [
 sprintf "DROP INDEX %s_source ON %s;" name name ;
 sprintf "DROP INDEX %s_target ON %s;" name name ;
 sprintf "DROP INDEX %s_position ON %s;" name name ]
 
-let sprintf_refSort_index_drop name = [sprintf "
-DROP INDEX %s_source ON %s;
-" name name]
+let sprintf_refSort_index_drop name = [
+sprintf "DROP INDEX %s_source ON %s;" name name
+]
 
 let sprintf_objectName_index_drop name = [
 sprintf " DROP INDEX %s_value ON %s;" name name]
@@ -109,6 +111,11 @@ sprintf "DROP INDEX %s_statement ON %s;" name name]
  
 let sprintf_refRel_index_drop name = []
 
+let sprintf_rename_table oldname newname = [
+sprintf "RENAME TABLE %s TO %s;" oldname newname 
+]
+          
+
 (* FUNCTIONS *)
 
 let get_table_format t named =
@@ -146,7 +153,7 @@ let get_index_drop t named =
   | `ObjectName -> sprintf_objectName_index_drop named
   | `Owners -> sprintf_owners_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
 
@@ -159,4 +166,6 @@ let drop_tables 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
+
index 05fec142ca0a65c03e7ad3feac076065ffeee578..18e50e209c16bc6d66af00a8723a5ac7de0e169d 100644 (file)
@@ -9,3 +9,4 @@ val drop_tables: (string * tbl) list -> string list
 
 val drop_indexes: (string * tbl) list -> string list
 
+val rename_tables: (string * string) list -> string list