Como formatar segundos em hora minutos e segundos no MySQL

No mysql para transformar segundos em hora formatada, basta utilizar a função SEC_TO_TIME(), veja o exemplo:

Tenho 1200 segundos e gostaria de formatado em 00:20:00


SELECT SEC_TO_TIME(1200) //00:20:00

Para fazer ao contrario, transformar hora formatada em segundos, utilize a função TIME_TO_SEC()

TIME_TO_SEC(00:20:00) //1200