Si vous cherchez simplement à convertir un nombre donné de secondes au format HH:MI:SS, cela devrait le faire
SELECT
TO_CHAR(TRUNC(x/3600),'FM9900') || ':' ||
TO_CHAR(TRUNC(MOD(x,3600)/60),'FM00') || ':' ||
TO_CHAR(MOD(x,60),'FM00')
FROM DUAL
où x
est le nombre de secondes.