Wie konvertiert man in Postgres ganzzahlige Minuten in Intervalle?

Am schnellsten geht das mit 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)

Es sieht also so aus (wie von @Teddy vorgeschlagen)

SELECT make_interval(mins => 20);

oder,

SELECT make_interval(0,0,0,0,0,20);

Um nicht zu sagen, dass es am saubersten ist, wenn Geschwindigkeit keine Rolle spielt, bevorzuge ich * Methode @a_horse_with_no_name erwähnt

SELECT 20 * '1 minute'::interval;