Finns det ett bättre sätt att extrahera tiden på dygnet?

Om du behöver den exakta tiden från en tidsstämpel, cast bara till tid:

SELECT
    CAST(colname AS time)
FROM
    tablename;

Om du behöver formatering är to_char() ditt bästa alternativ.