Re: UPDATE of partition key
Amit Kapila <amit.kapila16@gmail.com>
On Thu, May 11, 2017 at 5:41 PM, Amit Khandekar <amitdkhan.pg@gmail.com> wrote: > On 11 May 2017 at 17:23, Amit Kapila <amit.kapila16@gmail.com> wrote: >> On Fri, Mar 17, 2017 at 4:07 PM, Amit Khandekar <amitdkhan.pg@gmail.com> wrote: >>> On 4 March 2017 at 12:49, Robert Haas <robertmhaas@gmail.com> wrote: >>>> On Thu, Mar 2, 2017 at 11:53 AM, Amit Khandekar <amitdkhan.pg@gmail.com> wrote: >>>>> I think it does not make sense running after row triggers in case of >>>>> row-movement. There is no update happened on that leaf partition. This >>>>> reasoning can also apply to BR update triggers. But the reasons for >>>>> having a BR trigger and AR triggers are quite different. Generally, a >>>>> user needs to do some modifications to the row before getting the >>>>> final NEW row into the database, and hence [s]he defines a BR trigger >>>>> for that. And we can't just silently skip this step only because the >>>>> final row went into some other partition; in fact the row-movement >>>>> itself might depend on what the BR trigger did with the row. Whereas, >>>>> AR triggers are typically written for doing some other operation once >>>>> it is made sure the row is actually updated. In case of row-movement, >>>>> it is not actually updated. >>>> >>>> How about running the BR update triggers for the old partition and the >>>> AR update triggers for the new partition? It seems weird to run BR >>>> update triggers but not AR update triggers. Another option would be >>>> to run BR and AR delete triggers and then BR and AR insert triggers, >>>> emphasizing the choice to treat this update as a delete + insert, but >>>> (as Amit Kh. pointed out to me when we were in a room together this >>>> week) that precludes using the BEFORE trigger to modify the row. >>>> >> >> I also find the current behavior with respect to triggers quite odd. >> The two points that appears odd are (a) Executing both before row >> update and delete triggers on original partition sounds quite odd. > Note that *before* trigger gets fired *before* the update happens. The > actual update may not even happen, depending upon what the trigger > does. And then in our case, the update does not happen; not just that, > it is transformed into delete-insert. So then we should fire > before-delete trigger. > Sure, I am aware of that point, but it doesn't seem obvious that both update and delete BR triggers get fired for original partition. As a developer, it might be obvious to you that as you have used delete and insert interface, it is okay that corresponding BR/AR triggers get fired, however, it is not so obvious for others, rather it appears quite odd. If we try to compare it with the non-partitioned update, there also it is internally a delete and insert operation, but we don't fire triggers for those. >> (b) It seems inconsistent to consider behavior for row and statement >> triggers differently > > I am not sure whether we should compare row and statement triggers. > Statement triggers are anyway fired only per-statement, depending upon > whether it is update or insert or delete. It has nothing to do with > how the rows are modified. > Okay. The broader point I was trying to convey was that the way this patch defines the behavior of triggers doesn't sound good to me. It appears to me that in this thread multiple people have raised points around trigger behavior and you should try to consider those. Apart from the options, Robert has suggested, another option could be that we allow firing BR-AR update triggers for original partition and BR-AR insert triggers for the new partition. In this case, one can argue that we have not actually updated the row in the original partition, so there is no need to fire AR update triggers, but I feel that is what we do for non-partitioned table update and it should be okay here as well. -- With Regards, Amit Kapila. EnterpriseDB: http://www.enterprisedb.com
Commits
-
Avoid referencing off the end of subplan_partition_offsets.
- 945f71db8452 11.0 landed
-
Allow UPDATE to move rows between partitions.
- 2f178441044b 11.0 landed
-
Remove useless lookup of root partitioned rel in ExecInitModifyTable().
- dca48d145e0e 11.0 cited
-
Factor error generation out of ExecPartitionCheck.
- 19c47e7c8202 11.0 landed
-
Minor preparatory refactoring for UPDATE row movement.
- ef6087ee5fa8 11.0 landed
-
Simplify and encapsulate tuple routing support code.
- cc6337d2fed5 11.0 landed
-
Avoid coercing a whole-row variable that is already coerced.
- 1c497fa72df7 11.0 landed
-
Use ResultRelInfo ** rather than ResultRelInfo * for tuple routing.
- 60f7c0abef03 11.0 landed
-
Make RelationGetPartitionDispatchInfo expand depth-first.
- 77b6b5e9ceca 11.0 cited
-
Expand partitioned tables in PartDesc order.
- 30833ba154e0 11.0 cited
-
Use a real RT index when setting up partition tuple routing.
- f81a91db4d1c 10.0 cited
-
Fix transition tables for partition/inheritance.
- 501ed02cf6f4 10.0 cited
-
Fix confusion about number of subplans in partitioned INSERT setup.
- 78a030a44196 10.0 cited
-
Prevent BEFORE triggers from violating partitioning constraints.
- 15ce775faa42 10.0 cited
-
Fire per-statement triggers on partitioned tables.
- e180c8aa8caf 10.0 cited
-
Fix reporting of violations in ExecConstraints, again.
- c0a8ae7be392 10.0 cited
-
Don't scan partitioned tables.
- d3cc37f1d801 10.0 cited
-
Allow FDWs to push down quals without breaking EvalPlanQual rechecks.
- 5fc4c26db512 9.6.0 cited