Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Commitfbec6fa

Browse files
committed
Fix DEFAULT-handling in multi-row VALUES lists for updatable views.
INSERT ... VALUES for a single VALUES row is implemented differentlyfrom a multi-row VALUES list, which causes inconsistent behaviour inthe way that DEFAULT items are handled. In particular, when insertinginto an auto-updatable view on top of a table with a column default, aDEFAULT item in a single VALUES row gets correctly replaced with thetable column's default, but for a multi-row VALUES list it is replacedwith NULL.Fix this by allowing rewriteValuesRTE() to leave DEFAULT items in theVALUES list untouched if the target relation is an auto-updatable viewand has no column default, deferring DEFAULT-expansion until the queryagainst the base relation is rewritten. For all other types of targetrelation, including tables and trigger- and rule-updatable views, wemust continue to replace DEFAULT items with NULL in the absence of acolumn default.This is somewhat complicated by the fact that if an auto-updatableview has DO ALSO rules attached, the VALUES lists for the productqueries need to be handled differently from the original query, sincethe product queries need to act like rule-updatable views whereas theoriginal query has auto-updatable view semantics.Back-patch to all supported versions.Reported by Roger Curley (bug #15623). Patch by Amit Langote and me.Discussion:https://postgr.es/m/15623-5d67a46788ec8b7f@postgresql.org
1 parent7ed9285 commitfbec6fa

File tree

3 files changed

+369
-11
lines changed

3 files changed

+369
-11
lines changed

‎src/backend/rewrite/rewriteHandler.c

Lines changed: 128 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -71,8 +71,8 @@ static TargetEntry *process_matched_tle(TargetEntry *src_tle,
7171
TargetEntry*prior_tle,
7272
constchar*attrName);
7373
staticNode*get_assignment_input(Node*node);
74-
staticvoidrewriteValuesRTE(RangeTblEntry*rte,Relationtarget_relation,
75-
List*attrnos);
74+
staticboolrewriteValuesRTE(Query*parsetree,RangeTblEntry*rte,
75+
Relationtarget_relation,List*attrnos,boolforce_nulls);
7676
staticvoidmarkQueryForLocking(Query*qry,Node*jtnode,
7777
LockClauseStrengthstrength,LockWaitPolicywaitPolicy,
7878
boolpushedDown);
@@ -1213,29 +1213,102 @@ searchForDefault(RangeTblEntry *rte)
12131213
* the appropriate default expressions. The other aspects of targetlist
12141214
* rewriting need be applied only to the query's targetlist proper.
12151215
*
1216+
* For an auto-updatable view, each DEFAULT item in the VALUES list is
1217+
* replaced with the default from the view, if it has one. Otherwise it is
1218+
* left untouched so that the underlying base relation's default can be
1219+
* applied instead (when we later recurse to here after rewriting the query
1220+
* to refer to the base relation instead of the view).
1221+
*
1222+
* For other types of relation, including rule- and trigger-updatable views,
1223+
* all DEFAULT items are replaced, and if the target relation doesn't have a
1224+
* default, the value is explicitly set to NULL.
1225+
*
1226+
* Additionally, if force_nulls is true, the target relation's defaults are
1227+
* ignored and all DEFAULT items in the VALUES list are explicitly set to
1228+
* NULL, regardless of the target relation's type. This is used for the
1229+
* product queries generated by DO ALSO rules attached to an auto-updatable
1230+
* view, for which we will have already called this function with force_nulls
1231+
* false. For these product queries, we must then force any remaining DEFAULT
1232+
* items to NULL to provide concrete values for the rule actions.
1233+
* Essentially, this is a mix of the 2 cases above --- the original query is
1234+
* an insert into an auto-updatable view, and the product queries are inserts
1235+
* into a rule-updatable view.
1236+
*
12161237
* Note that we currently can't support subscripted or field assignment
12171238
* in the multi-VALUES case. The targetlist will contain simple Vars
12181239
* referencing the VALUES RTE, and therefore process_matched_tle() will
12191240
* reject any such attempt with "multiple assignments to same column".
1241+
*
1242+
* Returns true if all DEFAULT items were replaced, and false if some were
1243+
* left untouched.
12201244
*/
1221-
staticvoid
1222-
rewriteValuesRTE(RangeTblEntry*rte,Relationtarget_relation,List*attrnos)
1245+
staticbool
1246+
rewriteValuesRTE(Query*parsetree,RangeTblEntry*rte,
1247+
Relationtarget_relation,List*attrnos,boolforce_nulls)
12231248
{
12241249
List*newValues;
12251250
ListCell*lc;
1251+
boolisAutoUpdatableView;
1252+
boolallReplaced;
12261253

12271254
/*
12281255
* Rebuilding all the lists is a pretty expensive proposition in a big
12291256
* VALUES list, and it's a waste of time if there aren't any DEFAULT
12301257
* placeholders. So first scan to see if there are any.
1258+
*
1259+
* We skip this check if force_nulls is true, because we know that there
1260+
* are DEFAULT items present in that case.
12311261
*/
1232-
if (!searchForDefault(rte))
1233-
return;/* nothing to do */
1262+
if (!force_nulls&& !searchForDefault(rte))
1263+
return true;/* nothing to do */
12341264

12351265
/* Check list lengths (we can assume all the VALUES sublists are alike) */
12361266
Assert(list_length(attrnos)==list_length(linitial(rte->values_lists)));
12371267

1268+
/*
1269+
* Check if the target relation is an auto-updatable view, in which case
1270+
* unresolved defaults will be left untouched rather than being set to
1271+
* NULL. If force_nulls is true, we always set DEFAULT items to NULL, so
1272+
* skip this check in that case --- it isn't an auto-updatable view.
1273+
*/
1274+
isAutoUpdatableView= false;
1275+
if (!force_nulls&&
1276+
target_relation->rd_rel->relkind==RELKIND_VIEW&&
1277+
!view_has_instead_trigger(target_relation,CMD_INSERT))
1278+
{
1279+
List*locks;
1280+
boolhasUpdate;
1281+
boolfound;
1282+
ListCell*l;
1283+
1284+
/* Look for an unconditional DO INSTEAD rule */
1285+
locks=matchLocks(CMD_INSERT,target_relation->rd_rules,
1286+
parsetree->resultRelation,parsetree,&hasUpdate);
1287+
1288+
found= false;
1289+
foreach(l,locks)
1290+
{
1291+
RewriteRule*rule_lock= (RewriteRule*)lfirst(l);
1292+
1293+
if (rule_lock->isInstead&&
1294+
rule_lock->qual==NULL)
1295+
{
1296+
found= true;
1297+
break;
1298+
}
1299+
}
1300+
1301+
/*
1302+
* If we didn't find an unconditional DO INSTEAD rule, assume that the
1303+
* view is auto-updatable. If it isn't, rewriteTargetView() will
1304+
* throw an error.
1305+
*/
1306+
if (!found)
1307+
isAutoUpdatableView= true;
1308+
}
1309+
12381310
newValues=NIL;
1311+
allReplaced= true;
12391312
foreach(lc,rte->values_lists)
12401313
{
12411314
List*sublist= (List*)lfirst(lc);
@@ -1255,17 +1328,26 @@ rewriteValuesRTE(RangeTblEntry *rte, Relation target_relation, List *attrnos)
12551328

12561329
att_tup=TupleDescAttr(target_relation->rd_att,attrno-1);
12571330

1258-
if (!att_tup->attisdropped)
1331+
if (!force_nulls&& !att_tup->attisdropped)
12591332
new_expr=build_column_default(target_relation,attrno);
12601333
else
12611334
new_expr=NULL;/* force a NULL if dropped */
12621335

12631336
/*
12641337
* If there is no default (ie, default is effectively NULL),
1265-
* we've got to explicitly set the column to NULL.
1338+
* we've got to explicitly set the column to NULL, unless the
1339+
* target relation is an auto-updatable view.
12661340
*/
12671341
if (!new_expr)
12681342
{
1343+
if (isAutoUpdatableView)
1344+
{
1345+
/* Leave the value untouched */
1346+
newList=lappend(newList,col);
1347+
allReplaced= false;
1348+
continue;
1349+
}
1350+
12691351
new_expr= (Node*)makeConst(att_tup->atttypid,
12701352
-1,
12711353
att_tup->attcollation,
@@ -1290,6 +1372,8 @@ rewriteValuesRTE(RangeTblEntry *rte, Relation target_relation, List *attrnos)
12901372
newValues=lappend(newValues,newList);
12911373
}
12921374
rte->values_lists=newValues;
1375+
1376+
returnallReplaced;
12931377
}
12941378

12951379

@@ -3367,6 +3451,9 @@ RewriteQuery(Query *parsetree, List *rewrite_events)
33673451
List*locks;
33683452
List*product_queries;
33693453
boolhasUpdate= false;
3454+
List*attrnos=NIL;
3455+
intvalues_rte_index=0;
3456+
booldefaults_remaining= false;
33703457

33713458
result_relation=parsetree->resultRelation;
33723459
Assert(result_relation!=0);
@@ -3400,14 +3487,15 @@ RewriteQuery(Query *parsetree, List *rewrite_events)
34003487
parsetree->rtable);
34013488

34023489
if (rte->rtekind==RTE_VALUES)
3490+
{
34033491
values_rte=rte;
3492+
values_rte_index=rtr->rtindex;
3493+
}
34043494
}
34053495
}
34063496

34073497
if (values_rte)
34083498
{
3409-
List*attrnos;
3410-
34113499
/* Process the main targetlist ... */
34123500
parsetree->targetList=rewriteTargetListIU(parsetree->targetList,
34133501
parsetree->commandType,
@@ -3416,7 +3504,9 @@ RewriteQuery(Query *parsetree, List *rewrite_events)
34163504
parsetree->resultRelation,
34173505
&attrnos);
34183506
/* ... and the VALUES expression lists */
3419-
rewriteValuesRTE(values_rte,rt_entry_relation,attrnos);
3507+
if (!rewriteValuesRTE(parsetree,values_rte,
3508+
rt_entry_relation,attrnos, false))
3509+
defaults_remaining= true;
34203510
}
34213511
else
34223512
{
@@ -3471,6 +3561,33 @@ RewriteQuery(Query *parsetree, List *rewrite_events)
34713561
&returning,
34723562
&qual_product);
34733563

3564+
/*
3565+
* If we have a VALUES RTE with any remaining untouched DEFAULT items,
3566+
* and we got any product queries, finalize the VALUES RTE for each
3567+
* product query (replacing the remaining DEFAULT items with NULLs).
3568+
* We don't do this for the original query, because we know that it
3569+
* must be an auto-insert on a view, and so should use the base
3570+
* relation's defaults for any remaining DEFAULT items.
3571+
*/
3572+
if (defaults_remaining&&product_queries!=NIL)
3573+
{
3574+
ListCell*n;
3575+
3576+
/*
3577+
* Each product query has its own copy of the VALUES RTE at the
3578+
* same index in the rangetable, so we must finalize each one.
3579+
*/
3580+
foreach(n,product_queries)
3581+
{
3582+
Query*pt= (Query*)lfirst(n);
3583+
RangeTblEntry*values_rte=rt_fetch(values_rte_index,
3584+
pt->rtable);
3585+
3586+
rewriteValuesRTE(pt,values_rte,rt_entry_relation,attrnos,
3587+
true);/* Force remaining defaults to NULL */
3588+
}
3589+
}
3590+
34743591
/*
34753592
* If there were no INSTEAD rules, and the target relation is a view
34763593
* without any INSTEAD OF triggers, see if the view can be

‎src/test/regress/expected/updatable_views.out

Lines changed: 153 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2772,3 +2772,156 @@ drop view rw_view1;
27722772
drop table base_tbl;
27732773
drop user regress_view_user1;
27742774
drop user regress_view_user2;
2775+
-- Test single- and multi-row inserts with table and view defaults.
2776+
-- Table defaults should be used, unless overridden by view defaults.
2777+
create table base_tab_def (a int, b text default 'Table default',
2778+
c text default 'Table default', d text, e text);
2779+
create view base_tab_def_view as select * from base_tab_def;
2780+
alter view base_tab_def_view alter b set default 'View default';
2781+
alter view base_tab_def_view alter d set default 'View default';
2782+
insert into base_tab_def values (1);
2783+
insert into base_tab_def values (2), (3);
2784+
insert into base_tab_def values (4, default, default, default, default);
2785+
insert into base_tab_def values (5, default, default, default, default),
2786+
(6, default, default, default, default);
2787+
insert into base_tab_def_view values (11);
2788+
insert into base_tab_def_view values (12), (13);
2789+
insert into base_tab_def_view values (14, default, default, default, default);
2790+
insert into base_tab_def_view values (15, default, default, default, default),
2791+
(16, default, default, default, default);
2792+
select * from base_tab_def order by a;
2793+
a | b | c | d | e
2794+
----+---------------+---------------+--------------+---
2795+
1 | Table default | Table default | |
2796+
2 | Table default | Table default | |
2797+
3 | Table default | Table default | |
2798+
4 | Table default | Table default | |
2799+
5 | Table default | Table default | |
2800+
6 | Table default | Table default | |
2801+
11 | View default | Table default | View default |
2802+
12 | View default | Table default | View default |
2803+
13 | View default | Table default | View default |
2804+
14 | View default | Table default | View default |
2805+
15 | View default | Table default | View default |
2806+
16 | View default | Table default | View default |
2807+
(12 rows)
2808+
2809+
-- Adding an INSTEAD OF trigger should cause NULLs to be inserted instead of
2810+
-- table defaults, where there are no view defaults.
2811+
create function base_tab_def_view_instrig_func() returns trigger
2812+
as
2813+
$$
2814+
begin
2815+
insert into base_tab_def values (new.a, new.b, new.c, new.d, new.e);
2816+
return new;
2817+
end;
2818+
$$
2819+
language plpgsql;
2820+
create trigger base_tab_def_view_instrig instead of insert on base_tab_def_view
2821+
for each row execute function base_tab_def_view_instrig_func();
2822+
truncate base_tab_def;
2823+
insert into base_tab_def values (1);
2824+
insert into base_tab_def values (2), (3);
2825+
insert into base_tab_def values (4, default, default, default, default);
2826+
insert into base_tab_def values (5, default, default, default, default),
2827+
(6, default, default, default, default);
2828+
insert into base_tab_def_view values (11);
2829+
insert into base_tab_def_view values (12), (13);
2830+
insert into base_tab_def_view values (14, default, default, default, default);
2831+
insert into base_tab_def_view values (15, default, default, default, default),
2832+
(16, default, default, default, default);
2833+
select * from base_tab_def order by a;
2834+
a | b | c | d | e
2835+
----+---------------+---------------+--------------+---
2836+
1 | Table default | Table default | |
2837+
2 | Table default | Table default | |
2838+
3 | Table default | Table default | |
2839+
4 | Table default | Table default | |
2840+
5 | Table default | Table default | |
2841+
6 | Table default | Table default | |
2842+
11 | View default | | View default |
2843+
12 | View default | | View default |
2844+
13 | View default | | View default |
2845+
14 | View default | | View default |
2846+
15 | View default | | View default |
2847+
16 | View default | | View default |
2848+
(12 rows)
2849+
2850+
-- Using an unconditional DO INSTEAD rule should also cause NULLs to be
2851+
-- inserted where there are no view defaults.
2852+
drop trigger base_tab_def_view_instrig on base_tab_def_view;
2853+
drop function base_tab_def_view_instrig_func;
2854+
create rule base_tab_def_view_ins_rule as on insert to base_tab_def_view
2855+
do instead insert into base_tab_def values (new.a, new.b, new.c, new.d, new.e);
2856+
truncate base_tab_def;
2857+
insert into base_tab_def values (1);
2858+
insert into base_tab_def values (2), (3);
2859+
insert into base_tab_def values (4, default, default, default, default);
2860+
insert into base_tab_def values (5, default, default, default, default),
2861+
(6, default, default, default, default);
2862+
insert into base_tab_def_view values (11);
2863+
insert into base_tab_def_view values (12), (13);
2864+
insert into base_tab_def_view values (14, default, default, default, default);
2865+
insert into base_tab_def_view values (15, default, default, default, default),
2866+
(16, default, default, default, default);
2867+
select * from base_tab_def order by a;
2868+
a | b | c | d | e
2869+
----+---------------+---------------+--------------+---
2870+
1 | Table default | Table default | |
2871+
2 | Table default | Table default | |
2872+
3 | Table default | Table default | |
2873+
4 | Table default | Table default | |
2874+
5 | Table default | Table default | |
2875+
6 | Table default | Table default | |
2876+
11 | View default | | View default |
2877+
12 | View default | | View default |
2878+
13 | View default | | View default |
2879+
14 | View default | | View default |
2880+
15 | View default | | View default |
2881+
16 | View default | | View default |
2882+
(12 rows)
2883+
2884+
-- A DO ALSO rule should cause each row to be inserted twice. The first
2885+
-- insert should behave the same as an auto-updatable view (using table
2886+
-- defaults, unless overridden by view defaults). The second insert should
2887+
-- behave the same as a rule-updatable view (inserting NULLs where there are
2888+
-- no view defaults).
2889+
drop rule base_tab_def_view_ins_rule on base_tab_def_view;
2890+
create rule base_tab_def_view_ins_rule as on insert to base_tab_def_view
2891+
do also insert into base_tab_def values (new.a, new.b, new.c, new.d, new.e);
2892+
truncate base_tab_def;
2893+
insert into base_tab_def values (1);
2894+
insert into base_tab_def values (2), (3);
2895+
insert into base_tab_def values (4, default, default, default, default);
2896+
insert into base_tab_def values (5, default, default, default, default),
2897+
(6, default, default, default, default);
2898+
insert into base_tab_def_view values (11);
2899+
insert into base_tab_def_view values (12), (13);
2900+
insert into base_tab_def_view values (14, default, default, default, default);
2901+
insert into base_tab_def_view values (15, default, default, default, default),
2902+
(16, default, default, default, default);
2903+
select * from base_tab_def order by a, c NULLS LAST;
2904+
a | b | c | d | e
2905+
----+---------------+---------------+--------------+---
2906+
1 | Table default | Table default | |
2907+
2 | Table default | Table default | |
2908+
3 | Table default | Table default | |
2909+
4 | Table default | Table default | |
2910+
5 | Table default | Table default | |
2911+
6 | Table default | Table default | |
2912+
11 | View default | Table default | View default |
2913+
11 | View default | | View default |
2914+
12 | View default | Table default | View default |
2915+
12 | View default | | View default |
2916+
13 | View default | Table default | View default |
2917+
13 | View default | | View default |
2918+
14 | View default | Table default | View default |
2919+
14 | View default | | View default |
2920+
15 | View default | Table default | View default |
2921+
15 | View default | | View default |
2922+
16 | View default | Table default | View default |
2923+
16 | View default | | View default |
2924+
(18 rows)
2925+
2926+
drop view base_tab_def_view;
2927+
drop table base_tab_def;

0 commit comments

Comments
 (0)
[8]ページ先頭
©2009-2025 Movatter.jp