"Leif B. Kristensen" <leif(at)solumslekt(dot)org> writes:
> Would it be reasonable to suggest that later versions of PostgreSQL
> could examine if a function changes data, and quietly marks a function
> as 'stable' if it doesn't?
My instinctive CS-major reply to that is "only if you've found a
solution to the halting problem". However, it's possible that we could
detect this case for a useful subset of real-world functions ... not
sure offhand what could be covered.
regards, tom lane