mySQL: Index auf Spalten, die schon im Primary Index enthalten sind?

Wenn ich in den oben verlinkten Quellcode schaue, würde ich sagen, der Programmierer kennt den Unterschied zwischen Union und Union All. Trotzdem würde ich mal einen Request dazu aufmachen. Erstens, weil das eine der Optimierungen ist, die auch SQL-Spezialisten spät verinnerlichen und gerne vergessen, und zweitens, weil man es vielleicht konfigurierbar machen könnte, falls „all“ an dieser stelle nicht immer möglich sein sollte. Gerade bei Anwendungen, die auf geteilten Datenbanken laufen finde ich es höflich, so wenig IO/CPU wie nur irgendmöglich zu verschwenden. Das macht das Leben für alle Beteiligten leichter.