]> matita.cs.unibo.it Git - helm.git/commit
WARNING: this commit changes the DB representation; you need to alter the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 Aug 2005 11:50:18 +0000 (11:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 Aug 2005 11:50:18 +0000 (11:50 +0000)
commit99f483320bd7b88af4f7e3a885054acb43dc22f0
tree625c383dcf317627446cdf7eaffbe6451649872b
parenta911a4b33d3eaa19c1787be3c59143d159dcd8fe
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