Options to rowwise persist result of stable/immutable function with RECORD result

Hi,

I have noticed a rather odd behaviour that is not strictly a bug, but is
unexpected.

It is when a immutable (or stable) PG function is returning results in a
record structure a select on these calls the function repeatedly for each
element in the output record.

See below for an example.

Sure I can work around this by returning in an array, or materialised as a
whole by e.g. a materialised CTE, but what I'm looking for is *materialising
of just the individual row *during processing, if the function is to be
called on many rows.

Obviously in theory the returned record could be very complex, so we might
not want it materialised in general, but an option to do so would be nice.
I would suggest that a WITH could be marked with a new "MATERIALIZED *ROW*"
option (reusing already reserved keywords).

Note how I below have set the cost extreme, in this test, the value does
not affect the behaviour..

The result set here have five elements, if i change the type to VOLATILE,
the execution time is reduced by a factor of five (see the difference
between the stamp of line one and two). It is directly proportional to the
number of elements requested from the record (here I requested all)

(The real life scenario is a function that by a list of reg_ex expessions,
splits up the input in numerous fields, And I noticed the behaviour as a
raise function added for debug, put out the same repeatedly.)

-----------------

DROP TYPE IF EXISTS septima.foo_type CASCADE;
CREATE TYPE septima.foo_type AS (a text, b text, c text, d text, e text);
DROP FUNCTION IF EXISTS septima.foo(text);
CREATE OR REPLACE FUNCTION septima.foo(inp text) RETURNS septima.foo_type
AS
$BODY$
DECLARE
result_record septima.foo_type;
i BIGINT :=12345678;
BEGIN
WHILE 0<i LOOP
i=i-1;
END LOOP;
RETURN result_record;
END
$BODY$
LANGUAGE plpgsql IMMUTABLE
COST 1234567890;
;
WITH x AS (
SELECT * FROM (
SELECT clock_timestamp() rowstart, (g).*, clock_timestamp() rowend FROM
(
SELECT septima.foo(inp) g FROM (
SELECT '1' inp UNION
SELECT '2')
y) x
) x
)
SELECT * FROM x;
DROP TYPE IF EXISTS septima.foo_type CASCADE;

Med venlig hilsen
*Eske Rahn*
Seniorkonsulent
+45 93 87 96 30
eske(at)septima(dot)dk
--------------------------
Septima P/S
Frederiksberggade 19, 2. sal
1459 København K
+45 72 30 06 72
https://septima.dk