De snelste manier is met make_interval
make_interval(years int DEFAULT 0, months int DEFAULT 0, weeks int DEFAULT 0, days int DEFAULT 0, hours int DEFAULT 0, mins int DEFAULT 0, secs double precision DEFAULT 0.0)
Dus het ziet er zo uit (zoals voorgesteld door @Teddy)
SELECT make_interval(mins => 20);
of,
SELECT make_interval(0,0,0,0,0,20);
Om niet te zeggen dat dat de schoonste is, als snelheid geen probleem is, geef ik de voorkeur aan de *
methode @a_horse_with_no_name vermeld
SELECT 20 * '1 minute'::interval;