From 99f483320bd7b88af4f7e3a885054acb43dc22f0 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 29 Aug 2005 11:50:18 +0000 Subject: [PATCH] WARNING: this commit changes the DB representation; you need to alter the DB by hand after this commit - h_position: varchar(255) -> varchar(62) - h_sort: varchar(255) -> varchar(6) - several indexes have been redesigned from scratch. Motivation: MySql is not able to exploit two indexes (on columns c1 and c2) in a query of type "select ... from table where c1 = x and c2 = y". Only one of the two indexes is exploited; the other test is done on each line. My commit introduces a single index on c1 AND c2 in place of two indexes. WARNING: it is sure that a few queries (e.g. match) are greatly optimized by this commit. On the contrary I ignore if the performance of other queries drops.Moreover, I have not optimized yet the indexes over the hits and count tables. --- helm/matita/matita.txt | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index 5ccfb2b95..a8f18ea32 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -47,9 +47,6 @@ TODO GUI GRAFICA - - library/nat/primes.ma: ex_prime ci mette un secolo il db (binding) a fare - la Mysql.exec che ritorna una lista vuota di risultati. Investigare. - Anche peggio in library/nat/minimization/f_max_true. - keybinding globali: CTRL-{su,giu,...} devono fungere anche quando altre finestre hanno il focus (e.g. cicBrowser). C'e' gia' da qualche parte il codice che aggiunge i keybinding a tutte le eventBox, e' da ripristinare @@ -73,6 +70,9 @@ TODO - riattaccare hbugs (brrr...) -> Zack GUI LOGICA + - verificare se tutte le query sono ora ottimizzate (usando il comando + explain) e usano gli indici in maniera ottimale; inoltre migliorare gli + indici sulle tabelle hits and count - ???????????? Perche'? mowgli:~# du -s /var/lib/mysql/mowgli/ 250696 /var/lib/mysql/mowgli/ @@ -107,6 +107,9 @@ TODO - non chiudere transitivamente i moo ?? DONE +- library/nat/primes.ma: ex_prime ci mette un secolo il db (binding) a fare + la Mysql.exec che ritorna una lista vuota di risultati. Investigare. + Anche peggio in library/nat/minimization/f_max_true. -> CSC - integrare il famoso logo mancante (anche nell'About dialog) -> CSC - invertibilita' dell'inserimento automatico di alias: quando si torna su bisognerebbe tornare su di un passo e non fare undo degli alias -- 2.39.2