X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FsqlStatements.ml;h=ddc494c4abfaf89ed93ce0e61487c0dacd26b2df;hb=36809208fa25a494e50004b321fa9a90108ae262;hp=5469aebb8ab1387bc5f1a672bcc793f682864db8;hpb=39a3a05b745309703a5010d3da3e2a12c7228064;p=helm.git

diff --git a/helm/software/components/metadata/sqlStatements.ml b/helm/software/components/metadata/sqlStatements.ml
index 5469aebb8..ddc494c4a 100644
--- a/helm/software/components/metadata/sqlStatements.ml
+++ b/helm/software/components/metadata/sqlStatements.ml
@@ -32,42 +32,42 @@ type tbl = [ `RefObj| `RefSort| `RefRel| `ObjectName| `Hits| `Count]
 
 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(62) binary not null,
+    source varchar(255) not null,
+    h_occurrence varchar(255) not null,
+    h_position varchar(62) not null,
     h_depth integer
 );" name]
 
 let sprintf_refSort_format name = [
 sprintf "CREATE TABLE %s (
-    source varchar(255) binary not null,
-    h_position varchar(62) binary not null,
+    source varchar(255) not null,
+    h_position varchar(62) not null,
     h_depth integer not null,
-    h_sort varchar(5) binary not null
+    h_sort varchar(5) not null
 );" name]
 
 let sprintf_refRel_format name = [
 sprintf "CREATE TABLE %s (
-    source varchar(255) binary not null,
-    h_position varchar(62) binary not null,
+    source varchar(255) not null,
+    h_position varchar(62) not null,
     h_depth integer not null
 );" name]
 
 let sprintf_objectName_format name = [
 sprintf "CREATE TABLE %s (
-    source varchar(255) binary not null,
-    value varchar(255) binary not null
+    source varchar(255) not null,
+    value varchar(255) not null
 );" name]
 
 let sprintf_hits_format name = [
 sprintf "CREATE TABLE %s (
-    source varchar(255) binary not null,
+    source varchar(255) not null,
     no integer not null
 );" name]
 
 let sprintf_count_format name = [
 sprintf "CREATE TABLE %s (
-    source varchar(255) binary unique not null,
+    source varchar(255) unique not null,
     conclusion smallint(6) not null,
     hypothesis smallint(6) not null,
     statement smallint(6) not null
@@ -88,7 +88,8 @@ let sprintf_count_drop name = [sprintf "DROP TABLE %s;" name]
 (* INDEXES *)
 
 let sprintf_refObj_index name = [
-sprintf "CREATE INDEX %s_index ON %s (source(219),h_occurrence(219),h_position);" name name;
+sprintf "CREATE INDEX %s_index ON %s (source,h_occurrence,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 = [
@@ -109,27 +110,29 @@ 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 format_drop name sufix =
+  if HSql.isMysql then
+	(sprintf "DROP INDEX %s_%s ON %s;" name sufix name)
+     else
+	(sprintf "DROP INDEX %s_%s;" name sufix);;
 
-let sprintf_refSort_index_drop name = [
-sprintf "DROP INDEX %s_index ON %s;" name name ]
+let sprintf_refObj_index_drop name = [(format_drop name "index")]
 
-let sprintf_objectName_index_drop name = [
-sprintf "DROP INDEX %s_value ON %s;" name name]
+let sprintf_refSort_index_drop name = [(format_drop name "index")]
+
+let sprintf_objectName_index_drop name = [(format_drop name "value")]
 
 let sprintf_hits_index_drop name = [
-sprintf "DROP INDEX %s_source ON %s;" name name ;
-sprintf "DROP INDEX %s_no ON %s;" name name] 
+(format_drop name "source");
+(format_drop name "no")] 
 
 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]
+(format_drop name "source");
+(format_drop name "conclusion");
+(format_drop name "hypothesis");
+(format_drop name "statement")]
  
-let sprintf_refRel_index_drop name = [
-sprintf "DROP INDEX %s_index ON %s;" name name]
+let sprintf_refRel_index_drop name = [(format_drop name "index")]
 
 let sprintf_rename_table oldname newname = [
 sprintf "RENAME TABLE %s TO %s;" oldname newname 
@@ -202,13 +205,13 @@ let move_content (name1, tbl1) (name2, tbl2) buri =
   assert (tbl1 = tbl2);
   sprintf 
     "INSERT INTRO %s SELECT * FROM %s WHERE source LIKE \"%s%%\";"   
-    name2 name1 (HMysql.escape buri)
+    name2 name1 (HSql.escape buri)
 
 let direct_deps refObj uri =
-  sprintf "SELECT * FROM %s WHERE source = '%s';"
-    (HMysql.escape refObj) (UriManager.string_of_uri uri)
+  sprintf "SELECT * FROM %s WHERE source = \"%s\";"
+    (HSql.escape refObj) (UriManager.string_of_uri uri)
 
 let inverse_deps refObj uri =
-  sprintf "SELECT * FROM %s WHERE h_occurrence = '%s';"
-    (HMysql.escape refObj) (UriManager.string_of_uri uri)
+  sprintf "SELECT * FROM %s WHERE h_occurrence = \"%s\";"
+    (HSql.escape refObj) (UriManager.string_of_uri uri)