Re: Including Snapshot Info with Indexes

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