Skip site navigation (1) Skip section navigation (2)

AW: Re: [SQL] Rules with Conditions: Bug, or Misunderstanding

From: Zeugswetter Andreas SB <ZeugswetterA(at)wien(dot)spardat(dot)at>
To: "'Tom Lane'" <tgl(at)sss(dot)pgh(dot)pa(dot)us>
Cc: pgsql-hackers(at)postgresql(dot)org
Subject: AW: Re: [SQL] Rules with Conditions: Bug, or Misunderstanding
Date: 2000-12-01 09:13:40
Message-ID: (view raw, whole thread or download thread mbox)
Lists: pgsql-hackers
> If the system were capable of determining that either rule1 or rule2
> condition will always hold, perhaps it could deduce that the original
> query on the view will never be applied.  However, I doubt that we
> really want to let loose an automated theorem prover on the results
> of every rewrite ...

Yes, a theorem prover is way too complex, and can not cover 
the case where the application guards against the "apply original query" case.

Would it be possible to push the elog down to the heap access,
and only throw the elog if a heap access is actually about to be performed
on a view ?


pgsql-hackers by date

Next:From: Philip WarnerDate: 2000-12-01 10:13:28
Subject: Re: beta testing version
Previous:From: Zeugswetter Andreas SBDate: 2000-12-01 09:01:15
Subject: AW: beta testing version

Privacy Policy | About PostgreSQL
Copyright © 1996-2018 The PostgreSQL Global Development Group