Florian G. Pflug wrote:
I think you're overly pessimistic here ;-) This classification can be
done quite efficiently as long as your language is "static enough".
The trick is not to execute the function, but to scan the code to find
all other functions and SQL statements a given function may possibly
call. If your function calls no SQL statements, and only other
functions already marked IMMUTABLE, then it must be IMMUTABLE itself.
It does seem that only pl/pgsql is "static enough" for this to work,
though,
making this idea rather unappealing.
How would you propose to analyse C functions, for which you might not
have the C code?
cheers
andrew
---------------------------(end of broadcast)---------------------------
TIP 1: if posting/reading through Usenet, please send an appropriate
subscribe-nomail command to [EMAIL PROTECTED] so that your
message can get through to the mailing list cleanly