]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/metadataDb.ml
ANALYZE TABLE ==> OPTIMIZE TABLE
[helm.git] / helm / ocaml / metadata / metadataDb.ml
index f18787e83a0f3e71b7c9536cc662aae42ba5eef2..84e8fad7147e6331b6683081c1f9a3ce4a4a2f8a 100644 (file)
@@ -169,7 +169,7 @@ let eventually_analyze dbd =
   incr analyze_index;
   if !analyze_index > 30 then
     begin
-      let analyze t = "ANALYZE TABLE " ^ t ^ ";" in
+      let analyze t = "OPTIMIZE TABLE " ^ t ^ ";" in
       List.iter 
         (fun table -> ignore (Mysql.exec dbd (analyze table)))
         [name_tbl (); rel_tbl (); sort_tbl (); obj_tbl(); count_tbl()]