Mark Hollomon <mhh@mindspring.com> writes:
> On Wednesday 29 November 2000 19:42, Tom Lane wrote:
>> Hm. Perhaps the "cannot update view" test is too strict --- it's not
>> bright enough to realize that the two rules together cover all cases,
>> so it complains that you *might* be trying to update the view. As the
>> code stands, you must provide an unconditional DO INSTEAD rule to
>> implement insertion or update of a view.
> It is in InitPlan, the same place we check to make sure that we are
> not changing a sequence or a toast table. (actually initResultRelInfo
> called from InitPlan). I gathered from the backend flowchart that this
> wasn't called until all rewriting was done. Was I wrong?
The rewriting is done, all right, but what's left afterward still has
references to the view, because each rule is conditional. Essentially,
the rewriter output looks like
-- rule 1if (rule1 condition holds) -- rule 2 applied to rule1 success case if (rule2 condition holds)
applyrule 2's query else apply rule 1's queryelse -- rule 2 applied to rule1 failure case if (rule2
conditionholds) apply rule 2's query else apply original query
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 ...
regards, tom lane
