Re: [HACKERS] Allow use of stable functions with constraint exclusion

2007-05-08 Thread ITAGAKI Takahiro

Tom Lane [EMAIL PROTECTED] wrote:

 Marshall, Steve [EMAIL PROTECTED] writes:
  I have developed a small patch to optimizer/util/plancat.c that 
  eliminates one of hte caveats associated with constraint exclusions, 
  namely the inability to avoid searching tables based on the results of 
  stable functions.
 
 Do you not understand why this is completely unsafe?

I think the proposal itself is very useful, because time-based
partitioning is commonly used and functions like now() or
CURRENT_TIMESTAMP are marked as stable.

I'm not clear why the optimization is unsafe. I'm confused to read the
definition of stable functions in our documentation. Which is required
for stable functions 'stable in a single table scan' or 'stable in a
SQL statements' ? If the latter definition is true, can we use them
in constraint exclusions?

| STABLE indicates that the function cannot modify the database, and
| that within a single table scan it will consistently return the same
| result for the same argument values, but that its result could change
| across SQL statements.

Regards,
---
ITAGAKI Takahiro
NTT Open Source Software Center



---(end of broadcast)---
TIP 4: Have you searched our list archives?

   http://archives.postgresql.org


Re: [HACKERS] Allow use of stable functions with constraint exclusion

2007-04-30 Thread Tom Lane
Marshall, Steve [EMAIL PROTECTED] writes:
 I have developed a small patch to optimizer/util/plancat.c that 
 eliminates one of hte caveats associated with constraint exclusions, 
 namely the inability to avoid searching tables based on the results of 
 stable functions.

Do you not understand why this is completely unsafe?

regards, tom lane

---(end of broadcast)---
TIP 2: Don't 'kill -9' the postmaster