PostgreSQL Source Code git master
Loading...
Searching...
No Matches
parse_relation.c
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * parse_relation.c
4 * parser support routines dealing with relations
5 *
6 * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
7 * Portions Copyright (c) 1994, Regents of the University of California
8 *
9 *
10 * IDENTIFICATION
11 * src/backend/parser/parse_relation.c
12 *
13 *-------------------------------------------------------------------------
14 */
15#include "postgres.h"
16
17#include <ctype.h>
18
19#include "access/htup_details.h"
20#include "access/relation.h"
21#include "access/table.h"
22#include "catalog/heap.h"
23#include "catalog/namespace.h"
24#include "funcapi.h"
25#include "nodes/makefuncs.h"
26#include "nodes/nodeFuncs.h"
27#include "parser/parse_enr.h"
29#include "parser/parse_type.h"
30#include "parser/parsetree.h"
31#include "storage/lmgr.h"
32#include "utils/builtins.h"
33#include "utils/lsyscache.h"
34#include "utils/syscache.h"
35#include "utils/varlena.h"
36
37
38/*
39 * Support for fuzzily matching columns.
40 *
41 * This is for building diagnostic messages, where multiple or non-exact
42 * matching attributes are of interest.
43 *
44 * "distance" is the current best fuzzy-match distance if rfirst isn't NULL,
45 * otherwise it is the maximum acceptable distance plus 1.
46 *
47 * rfirst/first record the closest non-exact match so far, and distance
48 * is its distance from the target name. If we have found a second non-exact
49 * match of exactly the same distance, rsecond/second record that. (If
50 * we find three of the same distance, we conclude that "distance" is not
51 * a tight enough bound for a useful hint and clear rfirst/rsecond again.
52 * Only if we later find something closer will we re-populate rfirst.)
53 *
54 * rexact1/exact1 record the location of the first exactly-matching column,
55 * if any. If we find multiple exact matches then rexact2/exact2 record
56 * another one (we don't especially care which). Currently, these get
57 * populated independently of the fuzzy-match fields.
58 */
59typedef struct
60{
61 int distance; /* Current or limit distance */
62 RangeTblEntry *rfirst; /* RTE of closest non-exact match, or NULL */
63 AttrNumber first; /* Col index in rfirst */
64 RangeTblEntry *rsecond; /* RTE of another non-exact match w/same dist */
65 AttrNumber second; /* Col index in rsecond */
66 RangeTblEntry *rexact1; /* RTE of first exact match, or NULL */
67 AttrNumber exact1; /* Col index in rexact1 */
68 RangeTblEntry *rexact2; /* RTE of second exact match, or NULL */
69 AttrNumber exact2; /* Col index in rexact2 */
71
72#define MAX_FUZZY_DISTANCE 3
73
74
76 const char *refname,
77 int location);
79 int location);
81 int location);
82static int scanRTEForColumn(ParseState *pstate, RangeTblEntry *rte,
83 Alias *eref,
84 const char *colname, int location,
87static void markRTEForSelectPriv(ParseState *pstate,
88 int rtindex, AttrNumber col);
89static void expandRelation(Oid relid, Alias *eref,
90 int rtindex, int sublevels_up,
91 VarReturningType returning_type,
92 int location, bool include_dropped,
93 List **colnames, List **colvars);
94static void expandTupleDesc(TupleDesc tupdesc, Alias *eref,
95 int count, int offset,
96 int rtindex, int sublevels_up,
97 VarReturningType returning_type,
98 int location, bool include_dropped,
99 List **colnames, List **colvars);
100static int specialAttNum(const char *attname);
103
104
105/*
106 * refnameNamespaceItem
107 * Given a possibly-qualified refname, look to see if it matches any visible
108 * namespace item. If so, return a pointer to the nsitem; else return NULL.
109 *
110 * Optionally get nsitem's nesting depth (0 = current) into *sublevels_up.
111 * If sublevels_up is NULL, only consider items at the current nesting
112 * level.
113 *
114 * An unqualified refname (schemaname == NULL) can match any item with matching
115 * alias, or matching unqualified relname in the case of alias-less relation
116 * items. It is possible that such a refname matches multiple items in the
117 * nearest nesting level that has a match; if so, we report an error via
118 * ereport().
119 *
120 * A qualified refname (schemaname != NULL) can only match a relation item
121 * that (a) has no alias and (b) is for the same relation identified by
122 * schemaname.refname. In this case we convert schemaname.refname to a
123 * relation OID and search by relid, rather than by alias name. This is
124 * peculiar, but it's what SQL says to do. While processing a query's
125 * RETURNING list, there may be additional namespace items for OLD and NEW,
126 * with the same relation OID as the target namespace item. These are
127 * ignored in the search, since they don't match by schemaname.refname.
128 */
131 const char *schemaname,
132 const char *refname,
133 int location,
134 int *sublevels_up)
135{
136 Oid relId = InvalidOid;
137
138 if (sublevels_up)
139 *sublevels_up = 0;
140
141 if (schemaname != NULL)
142 {
144
145 /*
146 * We can use LookupNamespaceNoError() here because we are only
147 * interested in finding existing RTEs. Checking USAGE permission on
148 * the schema is unnecessary since it would have already been checked
149 * when the RTE was made. Furthermore, we want to report "RTE not
150 * found", not "no permissions for schema", if the name happens to
151 * match a schema name the user hasn't got access to.
152 */
155 return NULL;
156 relId = get_relname_relid(refname, namespaceId);
157 if (!OidIsValid(relId))
158 return NULL;
159 }
160
161 while (pstate != NULL)
162 {
163 ParseNamespaceItem *result;
164
165 if (OidIsValid(relId))
166 result = scanNameSpaceForRelid(pstate, relId, location);
167 else
168 result = scanNameSpaceForRefname(pstate, refname, location);
169
170 if (result)
171 return result;
172
173 if (sublevels_up)
174 (*sublevels_up)++;
175 else
176 break;
177
178 pstate = pstate->parentParseState;
179 }
180 return NULL;
181}
182
183/*
184 * Search the query's table namespace for an item matching the
185 * given unqualified refname. Return the nsitem if a unique match, or NULL
186 * if no match. Raise error if multiple matches.
187 *
188 * Note: it might seem that we shouldn't have to worry about the possibility
189 * of multiple matches; after all, the SQL standard disallows duplicate table
190 * aliases within a given SELECT level. Historically, however, Postgres has
191 * been laxer than that. For example, we allow
192 * SELECT ... FROM tab1 x CROSS JOIN (tab2 x CROSS JOIN tab3 y) z
193 * on the grounds that the aliased join (z) hides the aliases within it,
194 * therefore there is no conflict between the two RTEs named "x". However,
195 * if tab3 is a LATERAL subquery, then from within the subquery both "x"es
196 * are visible. Rather than rejecting queries that used to work, we allow
197 * this situation, and complain only if there's actually an ambiguous
198 * reference to "x".
199 */
200static ParseNamespaceItem *
201scanNameSpaceForRefname(ParseState *pstate, const char *refname, int location)
202{
203 ParseNamespaceItem *result = NULL;
204 ListCell *l;
205
206 foreach(l, pstate->p_namespace)
207 {
209
210 /* Ignore columns-only items */
211 if (!nsitem->p_rel_visible)
212 continue;
213 /* If not inside LATERAL, ignore lateral-only items */
214 if (nsitem->p_lateral_only && !pstate->p_lateral_active)
215 continue;
216
217 if (strcmp(nsitem->p_names->aliasname, refname) == 0)
218 {
219 if (result)
222 errmsg("table reference \"%s\" is ambiguous",
223 refname),
224 parser_errposition(pstate, location)));
225 check_lateral_ref_ok(pstate, nsitem, location);
226 result = nsitem;
227 }
228 }
229 return result;
230}
231
232/*
233 * Search the query's table namespace for a relation item matching the
234 * given relation OID. Return the nsitem if a unique match, or NULL
235 * if no match. Raise error if multiple matches.
236 *
237 * See the comments for refnameNamespaceItem to understand why this
238 * acts the way it does.
239 */
240static ParseNamespaceItem *
241scanNameSpaceForRelid(ParseState *pstate, Oid relid, int location)
242{
243 ParseNamespaceItem *result = NULL;
244 ListCell *l;
245
246 foreach(l, pstate->p_namespace)
247 {
249 RangeTblEntry *rte = nsitem->p_rte;
250
251 /* Ignore columns-only items */
252 if (!nsitem->p_rel_visible)
253 continue;
254 /* If not inside LATERAL, ignore lateral-only items */
255 if (nsitem->p_lateral_only && !pstate->p_lateral_active)
256 continue;
257 /* Ignore OLD/NEW namespace items that can appear in RETURNING */
258 if (nsitem->p_returning_type != VAR_RETURNING_DEFAULT)
259 continue;
260
261 /* yes, the test for alias == NULL should be there... */
262 if (rte->rtekind == RTE_RELATION &&
263 rte->relid == relid &&
264 rte->alias == NULL)
265 {
266 if (result)
269 errmsg("table reference %u is ambiguous",
270 relid),
271 parser_errposition(pstate, location)));
272 check_lateral_ref_ok(pstate, nsitem, location);
273 result = nsitem;
274 }
275 }
276 return result;
277}
278
279/*
280 * Search the query's CTE namespace for a CTE matching the given unqualified
281 * refname. Return the CTE (and its levelsup count) if a match, or NULL
282 * if no match. We need not worry about multiple matches, since parse_cte.c
283 * rejects WITH lists containing duplicate CTE names.
284 */
286scanNameSpaceForCTE(ParseState *pstate, const char *refname,
287 Index *ctelevelsup)
288{
289 Index levelsup;
290
291 for (levelsup = 0;
292 pstate != NULL;
293 pstate = pstate->parentParseState, levelsup++)
294 {
295 ListCell *lc;
296
297 foreach(lc, pstate->p_ctenamespace)
298 {
300
301 if (strcmp(cte->ctename, refname) == 0)
302 {
303 *ctelevelsup = levelsup;
304 return cte;
305 }
306 }
307 }
308 return NULL;
309}
310
311/*
312 * Search for a possible "future CTE", that is one that is not yet in scope
313 * according to the WITH scoping rules. This has nothing to do with valid
314 * SQL semantics, but it's important for error reporting purposes.
315 */
316static bool
317isFutureCTE(ParseState *pstate, const char *refname)
318{
319 for (; pstate != NULL; pstate = pstate->parentParseState)
320 {
321 ListCell *lc;
322
323 foreach(lc, pstate->p_future_ctes)
324 {
326
327 if (strcmp(cte->ctename, refname) == 0)
328 return true;
329 }
330 }
331 return false;
332}
333
334/*
335 * Search the query's ephemeral named relation namespace for a relation
336 * matching the given unqualified refname.
337 */
338bool
339scanNameSpaceForENR(ParseState *pstate, const char *refname)
340{
341 return name_matches_visible_ENR(pstate, refname);
342}
343
344/*
345 * searchRangeTableForRel
346 * See if any RangeTblEntry could possibly match the RangeVar.
347 * If so, return a pointer to the RangeTblEntry; else return NULL.
348 *
349 * This is different from refnameNamespaceItem in that it considers every
350 * entry in the ParseState's rangetable(s), not only those that are currently
351 * visible in the p_namespace list(s). This behavior is invalid per the SQL
352 * spec, and it may give ambiguous results (there might be multiple equally
353 * valid matches, but only one will be returned). This must be used ONLY
354 * as a heuristic in giving suitable error messages. See errorMissingRTE.
355 *
356 * Notice that we consider both matches on actual relation (or CTE) name
357 * and matches on alias.
358 */
359static RangeTblEntry *
361{
362 const char *refname = relation->relname;
363 Oid relId = InvalidOid;
364 CommonTableExpr *cte = NULL;
365 bool isenr = false;
366 Index ctelevelsup = 0;
367 Index levelsup;
368
369 /*
370 * If it's an unqualified name, check for possible CTE matches. A CTE
371 * hides any real relation matches. If no CTE, look for a matching
372 * relation.
373 *
374 * NB: It's not critical that RangeVarGetRelid return the correct answer
375 * here in the face of concurrent DDL. If it doesn't, the worst case
376 * scenario is a less-clear error message. Also, the tables involved in
377 * the query are already locked, which reduces the number of cases in
378 * which surprising behavior can occur. So we do the name lookup
379 * unlocked.
380 */
381 if (!relation->schemaname)
382 {
383 cte = scanNameSpaceForCTE(pstate, refname, &ctelevelsup);
384 if (!cte)
385 isenr = scanNameSpaceForENR(pstate, refname);
386 }
387
388 if (!cte && !isenr)
389 relId = RangeVarGetRelid(relation, NoLock, true);
390
391 /* Now look for RTEs matching either the relation/CTE/ENR or the alias */
392 for (levelsup = 0;
393 pstate != NULL;
394 pstate = pstate->parentParseState, levelsup++)
395 {
396 ListCell *l;
397
398 foreach(l, pstate->p_rtable)
399 {
401
402 if (rte->rtekind == RTE_RELATION &&
403 OidIsValid(relId) &&
404 rte->relid == relId)
405 return rte;
406 if (rte->rtekind == RTE_CTE &&
407 cte != NULL &&
408 rte->ctelevelsup + levelsup == ctelevelsup &&
409 strcmp(rte->ctename, refname) == 0)
410 return rte;
411 if (rte->rtekind == RTE_NAMEDTUPLESTORE &&
412 isenr &&
413 strcmp(rte->enrname, refname) == 0)
414 return rte;
415 if (strcmp(rte->eref->aliasname, refname) == 0)
416 return rte;
417 }
418 }
419 return NULL;
420}
421
422/*
423 * Check for relation-name conflicts between two namespace lists.
424 * Raise an error if any is found.
425 *
426 * Note: we assume that each given argument does not contain conflicts
427 * itself; we just want to know if the two can be merged together.
428 *
429 * Per SQL, two alias-less plain relation RTEs do not conflict even if
430 * they have the same eref->aliasname (ie, same relation name), if they
431 * are for different relation OIDs (implying they are in different schemas).
432 *
433 * We ignore the lateral-only flags in the namespace items: the lists must
434 * not conflict, even when all items are considered visible. However,
435 * columns-only items should be ignored.
436 */
437void
440{
441 ListCell *l1;
442
443 foreach(l1, namespace1)
444 {
446 RangeTblEntry *rte1 = nsitem1->p_rte;
447 const char *aliasname1 = nsitem1->p_names->aliasname;
448 ListCell *l2;
449
450 if (!nsitem1->p_rel_visible)
451 continue;
452
453 foreach(l2, namespace2)
454 {
456 RangeTblEntry *rte2 = nsitem2->p_rte;
457 const char *aliasname2 = nsitem2->p_names->aliasname;
458
459 if (!nsitem2->p_rel_visible)
460 continue;
461 if (strcmp(aliasname2, aliasname1) != 0)
462 continue; /* definitely no conflict */
463 if (rte1->rtekind == RTE_RELATION && rte1->alias == NULL &&
464 rte2->rtekind == RTE_RELATION && rte2->alias == NULL &&
465 rte1->relid != rte2->relid)
466 continue; /* no conflict per SQL rule */
469 errmsg("table name \"%s\" specified more than once",
470 aliasname1)));
471 }
472 }
473}
474
475/*
476 * Complain if a namespace item is currently disallowed as a LATERAL reference.
477 * This enforces both SQL:2008's rather odd idea of what to do with a LATERAL
478 * reference to the wrong side of an outer join, and our own prohibition on
479 * referencing the target table of an UPDATE or DELETE as a lateral reference
480 * in a FROM/USING clause.
481 *
482 * Note: the pstate should be the same query level the nsitem was found in.
483 *
484 * Convenience subroutine to avoid multiple copies of a rather ugly ereport.
485 */
486static void
488 int location)
489{
490 if (nsitem->p_lateral_only && !nsitem->p_lateral_ok)
491 {
492 /* SQL:2008 demands this be an error, not an invisible item */
493 RangeTblEntry *rte = nsitem->p_rte;
494 char *refname = nsitem->p_names->aliasname;
495
498 errmsg("invalid reference to FROM-clause entry for table \"%s\"",
499 refname),
500 (pstate->p_target_nsitem != NULL &&
501 rte == pstate->p_target_nsitem->p_rte) ?
502 errhint("There is an entry for table \"%s\", but it cannot be referenced from this part of the query.",
503 refname) :
504 errdetail("The combining JOIN type must be INNER or LEFT for a LATERAL reference."),
505 parser_errposition(pstate, location)));
506 }
507}
508
509/*
510 * Given an RT index and nesting depth, find the corresponding
511 * ParseNamespaceItem (there must be one).
512 */
515 int varno,
516 int sublevels_up)
517{
518 ListCell *lc;
519
520 while (sublevels_up-- > 0)
521 {
522 pstate = pstate->parentParseState;
523 Assert(pstate != NULL);
524 }
525 foreach(lc, pstate->p_namespace)
526 {
528
529 if (nsitem->p_rtindex == varno)
530 return nsitem;
531 }
532 elog(ERROR, "nsitem not found (internal error)");
533 return NULL; /* keep compiler quiet */
534}
535
536/*
537 * Given an RT index and nesting depth, find the corresponding RTE.
538 * (Note that the RTE need not be in the query's namespace.)
539 */
542 int varno,
543 int sublevels_up)
544{
545 while (sublevels_up-- > 0)
546 {
547 pstate = pstate->parentParseState;
548 Assert(pstate != NULL);
549 }
550 Assert(varno > 0 && varno <= list_length(pstate->p_rtable));
551 return rt_fetch(varno, pstate->p_rtable);
552}
553
554/*
555 * Fetch the CTE for a CTE-reference RTE.
556 *
557 * rtelevelsup is the number of query levels above the given pstate that the
558 * RTE came from.
559 */
562{
563 Index levelsup;
564 ListCell *lc;
565
566 Assert(rte->rtekind == RTE_CTE);
567 levelsup = rte->ctelevelsup + rtelevelsup;
568 while (levelsup-- > 0)
569 {
570 pstate = pstate->parentParseState;
571 if (!pstate) /* shouldn't happen */
572 elog(ERROR, "bad levelsup for CTE \"%s\"", rte->ctename);
573 }
574 foreach(lc, pstate->p_ctenamespace)
575 {
577
578 if (strcmp(cte->ctename, rte->ctename) == 0)
579 return cte;
580 }
581 /* shouldn't happen */
582 elog(ERROR, "could not find CTE \"%s\"", rte->ctename);
583 return NULL; /* keep compiler quiet */
584}
585
586/*
587 * updateFuzzyAttrMatchState
588 * Using Levenshtein distance, consider if column is best fuzzy match.
589 */
590static void
593 const char *actual, const char *match, int attnum)
594{
595 int columndistance;
596 int matchlen;
597
598 /* Bail before computing the Levenshtein distance if there's no hope. */
599 if (fuzzy_rte_penalty > fuzzystate->distance)
600 return;
601
602 /*
603 * Outright reject dropped columns, which can appear here with apparent
604 * empty actual names, per remarks within scanRTEForColumn().
605 */
606 if (actual[0] == '\0')
607 return;
608
609 /* Use Levenshtein to compute match distance. */
610 matchlen = strlen(match);
613 1, 1, 1,
614 fuzzystate->distance + 1
616 true);
617
618 /*
619 * If more than half the characters are different, don't treat it as a
620 * match, to avoid making ridiculous suggestions.
621 */
622 if (columndistance > matchlen / 2)
623 return;
624
625 /*
626 * From this point on, we can ignore the distinction between the RTE-name
627 * distance and the column-name distance.
628 */
630
631 /*
632 * If the new distance is less than or equal to that of the best match
633 * found so far, update fuzzystate.
634 */
636 {
637 /* Store new lowest observed distance as first/only match */
638 fuzzystate->distance = columndistance;
639 fuzzystate->rfirst = rte;
640 fuzzystate->first = attnum;
641 fuzzystate->rsecond = NULL;
642 }
643 else if (columndistance == fuzzystate->distance)
644 {
645 /* If we already have a match of this distance, update state */
646 if (fuzzystate->rsecond != NULL)
647 {
648 /*
649 * Too many matches at same distance. Clearly, this value of
650 * distance is too low a bar, so drop these entries while keeping
651 * the current distance value, so that only smaller distances will
652 * be considered interesting. Only if we find something of lower
653 * distance will we re-populate rfirst (via the stanza above).
654 */
655 fuzzystate->rfirst = NULL;
656 fuzzystate->rsecond = NULL;
657 }
658 else if (fuzzystate->rfirst != NULL)
659 {
660 /* Record as provisional second match */
661 fuzzystate->rsecond = rte;
662 fuzzystate->second = attnum;
663 }
664 else
665 {
666 /*
667 * Do nothing. When rfirst is NULL, distance is more than what we
668 * want to consider acceptable, so we should ignore this match.
669 */
670 }
671 }
672}
673
674/*
675 * scanNSItemForColumn
676 * Search the column names of a single namespace item for the given name.
677 * If found, return an appropriate Var node, else return NULL.
678 * If the name proves ambiguous within this nsitem, raise error.
679 *
680 * Side effect: if we find a match, mark the corresponding RTE as requiring
681 * read access for the column.
682 */
683Node *
685 int sublevels_up, const char *colname, int location)
686{
687 RangeTblEntry *rte = nsitem->p_rte;
688 int attnum;
689 Var *var;
690
691 /*
692 * Scan the nsitem's column names (or aliases) for a match. Complain if
693 * multiple matches.
694 */
695 attnum = scanRTEForColumn(pstate, rte, nsitem->p_names,
696 colname, location,
697 0, NULL);
698
700 return NULL; /* Return NULL if no match */
701
702 /* In constraint check, no system column is allowed except tableOid */
707 errmsg("system column \"%s\" reference in check constraint is invalid",
708 colname),
709 parser_errposition(pstate, location)));
710
711 /*
712 * In generated column, no system column is allowed except tableOid.
713 * (Required for stored generated, but we also do it for virtual generated
714 * for now for consistency.)
715 */
720 errmsg("cannot use system column \"%s\" in column generation expression",
721 colname),
722 parser_errposition(pstate, location)));
723
724 /*
725 * In a MERGE WHEN condition, no system column is allowed except tableOid
726 */
727 if (pstate->p_expr_kind == EXPR_KIND_MERGE_WHEN &&
731 errmsg("cannot use system column \"%s\" in MERGE WHEN condition",
732 colname),
733 parser_errposition(pstate, location)));
734
735 /* Found a valid match, so build a Var */
737 {
738 /* Get attribute data from the ParseNamespaceColumn array */
739 ParseNamespaceColumn *nscol = &nsitem->p_nscolumns[attnum - 1];
740
741 /* Complain if dropped column. See notes in scanRTEForColumn. */
742 if (nscol->p_varno == 0)
745 errmsg("column \"%s\" of relation \"%s\" does not exist",
746 colname,
747 nsitem->p_names->aliasname)));
748
749 var = makeVar(nscol->p_varno,
750 nscol->p_varattno,
751 nscol->p_vartype,
752 nscol->p_vartypmod,
753 nscol->p_varcollid,
754 sublevels_up);
755 /* makeVar doesn't offer parameters for these, so set them by hand: */
756 var->varnosyn = nscol->p_varnosyn;
757 var->varattnosyn = nscol->p_varattnosyn;
758 }
759 else
760 {
761 /* System column, so use predetermined type data */
763
765 var = makeVar(nsitem->p_rtindex,
766 attnum,
767 sysatt->atttypid,
768 sysatt->atttypmod,
769 sysatt->attcollation,
770 sublevels_up);
771 }
772 var->location = location;
773
774 /* Mark Var for RETURNING OLD/NEW, as necessary */
775 var->varreturningtype = nsitem->p_returning_type;
776
777 /* Mark Var if it's nulled by any outer joins */
778 markNullableIfNeeded(pstate, var);
779
780 /* Require read access to the column */
781 markVarForSelectPriv(pstate, var);
782
783 return (Node *) var;
784}
785
786/*
787 * scanRTEForColumn
788 * Search the column names of a single RTE for the given name.
789 * If found, return the attnum (possibly negative, for a system column);
790 * else return InvalidAttrNumber.
791 * If the name proves ambiguous within this RTE, raise error.
792 *
793 * Actually, we only search the names listed in "eref". This can be either
794 * rte->eref, in which case we are indeed searching all the column names,
795 * or for a join it can be rte->join_using_alias, in which case we are only
796 * considering the common column names (which are the first N columns of the
797 * join, so everything works).
798 *
799 * pstate and location are passed only for error-reporting purposes.
800 *
801 * Side effect: if fuzzystate is non-NULL, check non-system columns
802 * for an approximate match and update fuzzystate accordingly.
803 *
804 * Note: this is factored out of scanNSItemForColumn because error message
805 * creation may want to check RTEs that are not in the namespace. To support
806 * that usage, minimize the number of validity checks performed here. It's
807 * okay to complain about ambiguous-name cases, though, since if we are
808 * working to complain about an invalid name, we've already eliminated that.
809 */
810static int
812 Alias *eref,
813 const char *colname, int location,
816{
817 int result = InvalidAttrNumber;
818 int attnum = 0;
819 ListCell *c;
820
821 /*
822 * Scan the user column names (or aliases) for a match. Complain if
823 * multiple matches.
824 *
825 * Note: eref->colnames may include entries for dropped columns, but those
826 * will be empty strings that cannot match any legal SQL identifier, so we
827 * don't bother to test for that case here.
828 *
829 * Should this somehow go wrong and we try to access a dropped column,
830 * we'll still catch it by virtue of the check in scanNSItemForColumn().
831 * Callers interested in finding match with shortest distance need to
832 * defend against this directly, though.
833 */
834 foreach(c, eref->colnames)
835 {
836 const char *attcolname = strVal(lfirst(c));
837
838 attnum++;
839 if (strcmp(attcolname, colname) == 0)
840 {
841 if (result)
844 errmsg("column reference \"%s\" is ambiguous",
845 colname),
846 parser_errposition(pstate, location)));
847 result = attnum;
848 }
849
850 /* Update fuzzy match state, if provided. */
851 if (fuzzystate != NULL)
853 rte, attcolname, colname, attnum);
854 }
855
856 /*
857 * If we have a unique match, return it. Note that this allows a user
858 * alias to override a system column name (such as OID) without error.
859 */
860 if (result)
861 return result;
862
863 /*
864 * If the RTE represents a real relation, consider system column names.
865 * Composites are only used for pseudo-relations like ON CONFLICT's
866 * excluded.
867 */
868 if (rte->rtekind == RTE_RELATION &&
869 rte->relkind != RELKIND_COMPOSITE_TYPE)
870 {
871 /* quick check to see if name could be a system column */
872 attnum = specialAttNum(colname);
874 {
875 /* now check to see if column actually is defined */
877 ObjectIdGetDatum(rte->relid),
879 result = attnum;
880 }
881 }
882
883 return result;
884}
885
886/*
887 * colNameToVar
888 * Search for an unqualified column name.
889 * If found, return the appropriate Var node (or expression).
890 * If not found, return NULL. If the name proves ambiguous, raise error.
891 * If localonly is true, only names in the innermost query are considered.
892 */
893Node *
894colNameToVar(ParseState *pstate, const char *colname, bool localonly,
895 int location)
896{
897 Node *result = NULL;
898 int sublevels_up = 0;
899 ParseState *orig_pstate = pstate;
900
901 while (pstate != NULL)
902 {
903 ListCell *l;
904
905 foreach(l, pstate->p_namespace)
906 {
909
910 /* Ignore table-only items */
911 if (!nsitem->p_cols_visible)
912 continue;
913 /* If not inside LATERAL, ignore lateral-only items */
914 if (nsitem->p_lateral_only && !pstate->p_lateral_active)
915 continue;
916
917 /* use orig_pstate here for consistency with other callers */
919 colname, location);
920
921 if (newresult)
922 {
923 if (result)
926 errmsg("column reference \"%s\" is ambiguous",
927 colname),
928 parser_errposition(pstate, location)));
929 check_lateral_ref_ok(pstate, nsitem, location);
930 result = newresult;
931 }
932 }
933
934 if (result != NULL || localonly)
935 break; /* found, or don't want to look at parent */
936
937 pstate = pstate->parentParseState;
938 sublevels_up++;
939 }
940
941 return result;
942}
943
944/*
945 * searchRangeTableForCol
946 * See if any RangeTblEntry could possibly provide the given column name (or
947 * find the best match available). Returns state with relevant details.
948 *
949 * This is different from colNameToVar in that it considers every entry in
950 * the ParseState's rangetable(s), not only those that are currently visible
951 * in the p_namespace list(s). This behavior is invalid per the SQL spec,
952 * and it may give ambiguous results (since there might be multiple equally
953 * valid matches). This must be used ONLY as a heuristic in giving suitable
954 * error messages. See errorMissingColumn.
955 *
956 * This function is also different in that it will consider approximate
957 * matches -- if the user entered an alias/column pair that is only slightly
958 * different from a valid pair, we may be able to infer what they meant to
959 * type and provide a reasonable hint. We return a FuzzyAttrMatchState
960 * struct providing information about both exact and approximate matches.
961 */
962static FuzzyAttrMatchState *
963searchRangeTableForCol(ParseState *pstate, const char *alias, const char *colname,
964 int location)
965{
966 ParseState *orig_pstate = pstate;
968
969 fuzzystate->distance = MAX_FUZZY_DISTANCE + 1;
970 fuzzystate->rfirst = NULL;
971 fuzzystate->rsecond = NULL;
972 fuzzystate->rexact1 = NULL;
973 fuzzystate->rexact2 = NULL;
974
975 while (pstate != NULL)
976 {
977 ListCell *l;
978
979 foreach(l, pstate->p_rtable)
980 {
982 int fuzzy_rte_penalty = 0;
983 int attnum;
984
985 /*
986 * Typically, it is not useful to look for matches within join
987 * RTEs; they effectively duplicate other RTEs for our purposes,
988 * and if a match is chosen from a join RTE, an unhelpful alias is
989 * displayed in the final diagnostic message.
990 */
991 if (rte->rtekind == RTE_JOIN)
992 continue;
993
994 /*
995 * If the user didn't specify an alias, then matches against one
996 * RTE are as good as another. But if the user did specify an
997 * alias, then we want at least a fuzzy - and preferably an exact
998 * - match for the range table entry.
999 */
1000 if (alias != NULL)
1003 rte->eref->aliasname,
1004 strlen(rte->eref->aliasname),
1005 1, 1, 1,
1007 true);
1008
1009 /*
1010 * Scan for a matching column, and update fuzzystate. Non-exact
1011 * matches are dealt with inside scanRTEForColumn, but exact
1012 * matches are handled here. (There won't be more than one exact
1013 * match in the same RTE, else we'd have thrown error earlier.)
1014 */
1016 colname, location,
1019 {
1020 if (fuzzystate->rexact1 == NULL)
1021 {
1022 fuzzystate->rexact1 = rte;
1023 fuzzystate->exact1 = attnum;
1024 }
1025 else
1026 {
1027 /* Needn't worry about overwriting previous rexact2 */
1028 fuzzystate->rexact2 = rte;
1029 fuzzystate->exact2 = attnum;
1030 }
1031 }
1032 }
1033
1034 pstate = pstate->parentParseState;
1035 }
1036
1037 return fuzzystate;
1038}
1039
1040/*
1041 * markNullableIfNeeded
1042 * If the RTE referenced by the Var is nullable by outer join(s)
1043 * at this point in the query, set var->varnullingrels to show that.
1044 */
1045void
1047{
1048 int rtindex = var->varno;
1049 Bitmapset *relids;
1050
1051 /* Find the appropriate pstate */
1052 for (int lv = 0; lv < var->varlevelsup; lv++)
1053 pstate = pstate->parentParseState;
1054
1055 /* Find currently-relevant join relids for the Var's rel */
1056 if (rtindex > 0 && rtindex <= list_length(pstate->p_nullingrels))
1057 relids = (Bitmapset *) list_nth(pstate->p_nullingrels, rtindex - 1);
1058 else
1059 relids = NULL;
1060
1061 /*
1062 * Merge with any already-declared nulling rels. (Typically there won't
1063 * be any, but let's get it right if there are.)
1064 */
1065 if (relids != NULL)
1066 var->varnullingrels = bms_union(var->varnullingrels, relids);
1067}
1068
1069/*
1070 * markRTEForSelectPriv
1071 * Mark the specified column of the RTE with index rtindex
1072 * as requiring SELECT privilege
1073 *
1074 * col == InvalidAttrNumber means a "whole row" reference
1075 */
1076static void
1078{
1079 RangeTblEntry *rte = rt_fetch(rtindex, pstate->p_rtable);
1080
1081 if (rte->rtekind == RTE_RELATION)
1082 {
1084
1085 /* Make sure the rel as a whole is marked for SELECT access */
1087 perminfo->requiredPerms |= ACL_SELECT;
1088 /* Must offset the attnum to fit in a bitmapset */
1089 perminfo->selectedCols =
1090 bms_add_member(perminfo->selectedCols,
1092 }
1093 else if (rte->rtekind == RTE_JOIN)
1094 {
1095 if (col == InvalidAttrNumber)
1096 {
1097 /*
1098 * A whole-row reference to a join has to be treated as whole-row
1099 * references to the two inputs.
1100 */
1101 JoinExpr *j;
1102
1103 if (rtindex > 0 && rtindex <= list_length(pstate->p_joinexprs))
1104 j = list_nth_node(JoinExpr, pstate->p_joinexprs, rtindex - 1);
1105 else
1106 j = NULL;
1107 if (j == NULL)
1108 elog(ERROR, "could not find JoinExpr for whole-row reference");
1109
1110 /* Note: we can't see FromExpr here */
1111 if (IsA(j->larg, RangeTblRef))
1112 {
1113 int varno = ((RangeTblRef *) j->larg)->rtindex;
1114
1116 }
1117 else if (IsA(j->larg, JoinExpr))
1118 {
1119 int varno = ((JoinExpr *) j->larg)->rtindex;
1120
1122 }
1123 else
1124 elog(ERROR, "unrecognized node type: %d",
1125 (int) nodeTag(j->larg));
1126 if (IsA(j->rarg, RangeTblRef))
1127 {
1128 int varno = ((RangeTblRef *) j->rarg)->rtindex;
1129
1131 }
1132 else if (IsA(j->rarg, JoinExpr))
1133 {
1134 int varno = ((JoinExpr *) j->rarg)->rtindex;
1135
1137 }
1138 else
1139 elog(ERROR, "unrecognized node type: %d",
1140 (int) nodeTag(j->rarg));
1141 }
1142 else
1143 {
1144 /*
1145 * Join alias Vars for ordinary columns must refer to merged JOIN
1146 * USING columns. We don't need to do anything here, because the
1147 * join input columns will also be referenced in the join's qual
1148 * clause, and will get marked for select privilege there.
1149 */
1150 }
1151 }
1152 /* other RTE types don't require privilege marking */
1153}
1154
1155/*
1156 * markVarForSelectPriv
1157 * Mark the RTE referenced by the Var as requiring SELECT privilege
1158 * for the Var's column (the Var could be a whole-row Var, too)
1159 */
1160void
1162{
1163 Index lv;
1164
1165 Assert(IsA(var, Var));
1166 /* Find the appropriate pstate if it's an uplevel Var */
1167 for (lv = 0; lv < var->varlevelsup; lv++)
1168 pstate = pstate->parentParseState;
1169 markRTEForSelectPriv(pstate, var->varno, var->varattno);
1170}
1171
1172/*
1173 * buildRelationAliases
1174 * Construct the eref column name list for a relation RTE.
1175 * This code is also used for function RTEs.
1176 *
1177 * tupdesc: the physical column information
1178 * alias: the user-supplied alias, or NULL if none
1179 * eref: the eref Alias to store column names in
1180 *
1181 * eref->colnames is filled in. Also, alias->colnames is rebuilt to insert
1182 * empty strings for any dropped columns, so that it will be one-to-one with
1183 * physical column numbers.
1184 *
1185 * It is an error for there to be more aliases present than required.
1186 */
1187static void
1189{
1190 int maxattrs = tupdesc->natts;
1191 List *aliaslist;
1193 int numaliases;
1194 int varattno;
1195 int numdropped = 0;
1196
1197 Assert(eref->colnames == NIL);
1198
1199 if (alias)
1200 {
1201 aliaslist = alias->colnames;
1204 /* We'll rebuild the alias colname list */
1205 alias->colnames = NIL;
1206 }
1207 else
1208 {
1209 aliaslist = NIL;
1210 aliaslc = NULL;
1211 numaliases = 0;
1212 }
1213
1214 for (varattno = 0; varattno < maxattrs; varattno++)
1215 {
1216 Form_pg_attribute attr = TupleDescAttr(tupdesc, varattno);
1218
1219 if (attr->attisdropped)
1220 {
1221 /* Always insert an empty string for a dropped column */
1223 if (aliaslc)
1224 alias->colnames = lappend(alias->colnames, attrname);
1225 numdropped++;
1226 }
1227 else if (aliaslc)
1228 {
1229 /* Use the next user-supplied alias */
1232 alias->colnames = lappend(alias->colnames, attrname);
1233 }
1234 else
1235 {
1236 attrname = makeString(pstrdup(NameStr(attr->attname)));
1237 /* we're done with the alias if any */
1238 }
1239
1240 eref->colnames = lappend(eref->colnames, attrname);
1241 }
1242
1243 /* Too many user-supplied aliases? */
1244 if (aliaslc)
1245 ereport(ERROR,
1247 errmsg("table \"%s\" has %d columns available but %d columns specified",
1248 eref->aliasname, maxattrs - numdropped, numaliases)));
1249}
1250
1251/*
1252 * chooseScalarFunctionAlias
1253 * Select the column alias for a function in a function RTE,
1254 * when the function returns a scalar type (not composite or RECORD).
1255 *
1256 * funcexpr: transformed expression tree for the function call
1257 * funcname: function name (as determined by FigureColname)
1258 * alias: the user-supplied alias for the RTE, or NULL if none
1259 * nfuncs: the number of functions appearing in the function RTE
1260 *
1261 * Note that the name we choose might be overridden later, if the user-given
1262 * alias includes column alias names. That's of no concern here.
1263 */
1264static char *
1266 Alias *alias, int nfuncs)
1267{
1268 char *pname;
1269
1270 /*
1271 * If the expression is a simple function call, and the function has a
1272 * single OUT parameter that is named, use the parameter's name.
1273 */
1274 if (funcexpr && IsA(funcexpr, FuncExpr))
1275 {
1276 pname = get_func_result_name(((FuncExpr *) funcexpr)->funcid);
1277 if (pname)
1278 return pname;
1279 }
1280
1281 /*
1282 * If there's just one function in the RTE, and the user gave an RTE alias
1283 * name, use that name. (This makes FROM func() AS foo use "foo" as the
1284 * column name as well as the table alias.)
1285 */
1286 if (nfuncs == 1 && alias)
1287 return alias->aliasname;
1288
1289 /*
1290 * Otherwise use the function name.
1291 */
1292 return funcname;
1293}
1294
1295/*
1296 * buildNSItemFromTupleDesc
1297 * Build a ParseNamespaceItem, given a tupdesc describing the columns.
1298 *
1299 * rte: the new RangeTblEntry for the rel
1300 * rtindex: its index in the rangetable list
1301 * perminfo: permission list entry for the rel
1302 * tupdesc: the physical column information
1303 */
1304static ParseNamespaceItem *
1307 TupleDesc tupdesc)
1308{
1311 int maxattrs = tupdesc->natts;
1312 int varattno;
1313
1314 /* colnames must have the same number of entries as the nsitem */
1315 Assert(maxattrs == list_length(rte->eref->colnames));
1316
1317 /* extract per-column data from the tupdesc */
1320
1321 for (varattno = 0; varattno < maxattrs; varattno++)
1322 {
1323 Form_pg_attribute attr = TupleDescAttr(tupdesc, varattno);
1324
1325 /* For a dropped column, just leave the entry as zeroes */
1326 if (attr->attisdropped)
1327 continue;
1328
1329 nscolumns[varattno].p_varno = rtindex;
1330 nscolumns[varattno].p_varattno = varattno + 1;
1331 nscolumns[varattno].p_vartype = attr->atttypid;
1332 nscolumns[varattno].p_vartypmod = attr->atttypmod;
1333 nscolumns[varattno].p_varcollid = attr->attcollation;
1334 nscolumns[varattno].p_varnosyn = rtindex;
1335 nscolumns[varattno].p_varattnosyn = varattno + 1;
1336 }
1337
1338 /* ... and build the nsitem */
1340 nsitem->p_names = rte->eref;
1341 nsitem->p_rte = rte;
1342 nsitem->p_rtindex = rtindex;
1343 nsitem->p_perminfo = perminfo;
1344 nsitem->p_nscolumns = nscolumns;
1345 /* set default visibility flags; might get changed later */
1346 nsitem->p_rel_visible = true;
1347 nsitem->p_cols_visible = true;
1348 nsitem->p_lateral_only = false;
1349 nsitem->p_lateral_ok = true;
1350 nsitem->p_returning_type = VAR_RETURNING_DEFAULT;
1351
1352 return nsitem;
1353}
1354
1355/*
1356 * buildNSItemFromLists
1357 * Build a ParseNamespaceItem, given column type information in lists.
1358 *
1359 * rte: the new RangeTblEntry for the rel
1360 * rtindex: its index in the rangetable list
1361 * coltypes: per-column datatype OIDs
1362 * coltypmods: per-column type modifiers
1363 * colcollation: per-column collation OIDs
1364 */
1365static ParseNamespaceItem *
1368{
1372 int varattno;
1373 ListCell *lct;
1374 ListCell *lcm;
1375 ListCell *lcc;
1376
1377 /* colnames must have the same number of entries as the nsitem */
1378 Assert(maxattrs == list_length(rte->eref->colnames));
1379
1382
1383 /* extract per-column data from the lists */
1386
1387 varattno = 0;
1389 lcm, coltypmods,
1391 {
1392 nscolumns[varattno].p_varno = rtindex;
1393 nscolumns[varattno].p_varattno = varattno + 1;
1394 nscolumns[varattno].p_vartype = lfirst_oid(lct);
1395 nscolumns[varattno].p_vartypmod = lfirst_int(lcm);
1396 nscolumns[varattno].p_varcollid = lfirst_oid(lcc);
1397 nscolumns[varattno].p_varnosyn = rtindex;
1398 nscolumns[varattno].p_varattnosyn = varattno + 1;
1399 varattno++;
1400 }
1401
1402 /* ... and build the nsitem */
1404 nsitem->p_names = rte->eref;
1405 nsitem->p_rte = rte;
1406 nsitem->p_rtindex = rtindex;
1407 nsitem->p_perminfo = NULL;
1408 nsitem->p_nscolumns = nscolumns;
1409 /* set default visibility flags; might get changed later */
1410 nsitem->p_rel_visible = true;
1411 nsitem->p_cols_visible = true;
1412 nsitem->p_lateral_only = false;
1413 nsitem->p_lateral_ok = true;
1414 nsitem->p_returning_type = VAR_RETURNING_DEFAULT;
1415
1416 return nsitem;
1417}
1418
1419/*
1420 * Open a table during parse analysis
1421 *
1422 * This is essentially just the same as table_openrv(), except that it caters
1423 * to some parser-specific error reporting needs, notably that it arranges
1424 * to include the RangeVar's parse location in any resulting error.
1425 */
1427parserOpenTable(ParseState *pstate, const RangeVar *relation, LOCKMODE lockmode)
1428{
1429 Relation rel;
1431
1433 rel = table_openrv_extended(relation, lockmode, true);
1434 if (rel == NULL)
1435 {
1436 if (relation->schemaname)
1437 ereport(ERROR,
1439 errmsg("relation \"%s.%s\" does not exist",
1440 relation->schemaname, relation->relname)));
1441 else
1442 {
1443 /*
1444 * An unqualified name might have been meant as a reference to
1445 * some not-yet-in-scope CTE. The bare "does not exist" message
1446 * has proven remarkably unhelpful for figuring out such problems,
1447 * so we take pains to offer a specific hint.
1448 */
1449 if (isFutureCTE(pstate, relation->relname))
1450 ereport(ERROR,
1452 errmsg("relation \"%s\" does not exist",
1453 relation->relname),
1454 errdetail("There is a WITH item named \"%s\", but it cannot be referenced from this part of the query.",
1455 relation->relname),
1456 errhint("Use WITH RECURSIVE, or re-order the WITH items to remove forward references.")));
1457 else
1458 ereport(ERROR,
1460 errmsg("relation \"%s\" does not exist",
1461 relation->relname)));
1462 }
1463 }
1465 return rel;
1466}
1467
1468/*
1469 * Add an entry for a relation to the pstate's range table (p_rtable).
1470 * Then, construct and return a ParseNamespaceItem for the new RTE.
1471 *
1472 * We do not link the ParseNamespaceItem into the pstate here; it's the
1473 * caller's job to do that in the appropriate way.
1474 *
1475 * Note: formerly this checked for refname conflicts, but that's wrong.
1476 * Caller is responsible for checking for conflicts in the appropriate scope.
1477 */
1480 RangeVar *relation,
1481 Alias *alias,
1482 bool inh,
1483 bool inFromCl)
1484{
1487 char *refname = alias ? alias->aliasname : relation->relname;
1488 LOCKMODE lockmode;
1489 Relation rel;
1491
1492 Assert(pstate != NULL);
1493
1494 rte->rtekind = RTE_RELATION;
1495 rte->alias = alias;
1496
1497 /*
1498 * Identify the type of lock we'll need on this relation. It's not the
1499 * query's target table (that case is handled elsewhere), so we need
1500 * either RowShareLock if it's locked by FOR UPDATE/SHARE, or plain
1501 * AccessShareLock otherwise.
1502 */
1503 lockmode = isLockedRefname(pstate, refname) ? RowShareLock : AccessShareLock;
1504
1505 /*
1506 * Get the rel's OID. This access also ensures that we have an up-to-date
1507 * relcache entry for the rel. Since this is typically the first access
1508 * to a rel in a statement, we must open the rel with the proper lockmode.
1509 */
1510 rel = parserOpenTable(pstate, relation, lockmode);
1511 rte->relid = RelationGetRelid(rel);
1512 rte->inh = inh;
1513 rte->relkind = rel->rd_rel->relkind;
1514 rte->rellockmode = lockmode;
1515
1516 /*
1517 * Build the list of effective column names using user-supplied aliases
1518 * and/or actual column names.
1519 */
1520 rte->eref = makeAlias(refname, NIL);
1521 buildRelationAliases(rel->rd_att, alias, rte->eref);
1522
1523 /*
1524 * Set flags and initialize access permissions.
1525 *
1526 * The initial default on access checks is always check-for-READ-access,
1527 * which is the right thing for all except target tables.
1528 */
1529 rte->lateral = false;
1530 rte->inFromCl = inFromCl;
1531
1533 perminfo->requiredPerms = ACL_SELECT;
1534
1535 /*
1536 * Add completed RTE to pstate's range table list, so that we know its
1537 * index. But we don't add it to the join list --- caller must do that if
1538 * appropriate.
1539 */
1540 pstate->p_rtable = lappend(pstate->p_rtable, rte);
1541
1542 /*
1543 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
1544 * list --- caller must do that if appropriate.
1545 */
1547 perminfo, rel->rd_att);
1548
1549 /*
1550 * Drop the rel refcount, but keep the access lock till end of transaction
1551 * so that the table can't be deleted or have its schema modified
1552 * underneath us.
1553 */
1554 table_close(rel, NoLock);
1555
1556 return nsitem;
1557}
1558
1559/*
1560 * Add an entry for a relation to the pstate's range table (p_rtable).
1561 * Then, construct and return a ParseNamespaceItem for the new RTE.
1562 *
1563 * This is just like addRangeTableEntry() except that it makes an RTE
1564 * given an already-open relation instead of a RangeVar reference.
1565 *
1566 * lockmode is the lock type required for query execution; it must be one
1567 * of AccessShareLock, RowShareLock, or RowExclusiveLock depending on the
1568 * RTE's role within the query. The caller must hold that lock mode
1569 * or a stronger one.
1570 */
1573 Relation rel,
1574 LOCKMODE lockmode,
1575 Alias *alias,
1576 bool inh,
1577 bool inFromCl)
1578{
1581 char *refname = alias ? alias->aliasname : RelationGetRelationName(rel);
1582
1583 Assert(pstate != NULL);
1584
1585 Assert(lockmode == AccessShareLock ||
1586 lockmode == RowShareLock ||
1587 lockmode == RowExclusiveLock);
1588 Assert(CheckRelationLockedByMe(rel, lockmode, true));
1589
1590 rte->rtekind = RTE_RELATION;
1591 rte->alias = alias;
1592 rte->relid = RelationGetRelid(rel);
1593 rte->inh = inh;
1594 rte->relkind = rel->rd_rel->relkind;
1595 rte->rellockmode = lockmode;
1596
1597 /*
1598 * Build the list of effective column names using user-supplied aliases
1599 * and/or actual column names.
1600 */
1601 rte->eref = makeAlias(refname, NIL);
1602 buildRelationAliases(rel->rd_att, alias, rte->eref);
1603
1604 /*
1605 * Set flags and initialize access permissions.
1606 *
1607 * The initial default on access checks is always check-for-READ-access,
1608 * which is the right thing for all except target tables.
1609 */
1610 rte->lateral = false;
1611 rte->inFromCl = inFromCl;
1612
1614 perminfo->requiredPerms = ACL_SELECT;
1615
1616 /*
1617 * Add completed RTE to pstate's range table list, so that we know its
1618 * index. But we don't add it to the join list --- caller must do that if
1619 * appropriate.
1620 */
1621 pstate->p_rtable = lappend(pstate->p_rtable, rte);
1622
1623 /*
1624 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
1625 * list --- caller must do that if appropriate.
1626 */
1628 perminfo, rel->rd_att);
1629}
1630
1631/*
1632 * Add an entry for a subquery to the pstate's range table (p_rtable).
1633 * Then, construct and return a ParseNamespaceItem for the new RTE.
1634 *
1635 * This is much like addRangeTableEntry() except that it makes a subquery RTE.
1636 *
1637 * If the subquery does not have an alias, the auto-generated relation name in
1638 * the returned ParseNamespaceItem will be marked as not visible, and so only
1639 * unqualified references to the subquery columns will be allowed, and the
1640 * relation name will not conflict with others in the pstate's namespace list.
1641 */
1644 Query *subquery,
1645 Alias *alias,
1646 bool lateral,
1647 bool inFromCl)
1648{
1650 Alias *eref;
1651 int numaliases;
1652 List *coltypes,
1653 *coltypmods,
1655 int varattno;
1658
1659 Assert(pstate != NULL);
1660
1661 rte->rtekind = RTE_SUBQUERY;
1662 rte->subquery = subquery;
1663 rte->alias = alias;
1664
1665 eref = alias ? copyObject(alias) : makeAlias("unnamed_subquery", NIL);
1666 numaliases = list_length(eref->colnames);
1667
1668 /* fill in any unspecified alias columns, and extract column type info */
1670 varattno = 0;
1671 foreach(tlistitem, subquery->targetList)
1672 {
1674
1675 if (te->resjunk)
1676 continue;
1677 varattno++;
1678 Assert(varattno == te->resno);
1679 if (varattno > numaliases)
1680 {
1681 char *attrname;
1682
1683 attrname = pstrdup(te->resname);
1684 eref->colnames = lappend(eref->colnames, makeString(attrname));
1685 }
1687 exprType((Node *) te->expr));
1689 exprTypmod((Node *) te->expr));
1691 exprCollation((Node *) te->expr));
1692 }
1693 if (varattno < numaliases)
1694 ereport(ERROR,
1696 errmsg("table \"%s\" has %d columns available but %d columns specified",
1697 eref->aliasname, varattno, numaliases)));
1698
1699 rte->eref = eref;
1700
1701 /*
1702 * Set flags.
1703 *
1704 * Subqueries are never checked for access rights, so no need to perform
1705 * addRTEPermissionInfo().
1706 */
1707 rte->lateral = lateral;
1708 rte->inFromCl = inFromCl;
1709
1710 /*
1711 * Add completed RTE to pstate's range table list, so that we know its
1712 * index. But we don't add it to the join list --- caller must do that if
1713 * appropriate.
1714 */
1715 pstate->p_rtable = lappend(pstate->p_rtable, rte);
1716
1717 /*
1718 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
1719 * list --- caller must do that if appropriate.
1720 */
1723
1724 /*
1725 * Mark it visible as a relation name only if it had a user-written alias.
1726 */
1727 nsitem->p_rel_visible = (alias != NULL);
1728
1729 return nsitem;
1730}
1731
1732/*
1733 * Add an entry for a function (or functions) to the pstate's range table
1734 * (p_rtable). Then, construct and return a ParseNamespaceItem for the new RTE.
1735 *
1736 * This is much like addRangeTableEntry() except that it makes a function RTE.
1737 */
1740 List *funcnames,
1741 List *funcexprs,
1744 bool lateral,
1745 bool inFromCl)
1746{
1748 Alias *alias = rangefunc->alias;
1749 Alias *eref;
1750 char *aliasname;
1751 int nfuncs = list_length(funcexprs);
1753 TupleDesc tupdesc;
1754 ListCell *lc1,
1755 *lc2,
1756 *lc3;
1757 int i;
1758 int j;
1759 int funcno;
1760 int natts,
1761 totalatts;
1762
1763 Assert(pstate != NULL);
1764
1765 rte->rtekind = RTE_FUNCTION;
1766 rte->relid = InvalidOid;
1767 rte->subquery = NULL;
1768 rte->functions = NIL; /* we'll fill this list below */
1769 rte->funcordinality = rangefunc->ordinality;
1770 rte->alias = alias;
1771
1772 /*
1773 * Choose the RTE alias name. We default to using the first function's
1774 * name even when there's more than one; which is maybe arguable but beats
1775 * using something constant like "table".
1776 */
1777 if (alias)
1778 aliasname = alias->aliasname;
1779 else
1780 aliasname = linitial(funcnames);
1781
1782 eref = makeAlias(aliasname, NIL);
1783 rte->eref = eref;
1784
1785 /* Process each function ... */
1787
1788 totalatts = 0;
1789 funcno = 0;
1791 {
1792 Node *funcexpr = (Node *) lfirst(lc1);
1793 char *funcname = (char *) lfirst(lc2);
1794 List *coldeflist = (List *) lfirst(lc3);
1798
1799 /* Initialize RangeTblFunction node */
1800 rtfunc->funcexpr = funcexpr;
1801 rtfunc->funccolnames = NIL;
1802 rtfunc->funccoltypes = NIL;
1803 rtfunc->funccoltypmods = NIL;
1804 rtfunc->funccolcollations = NIL;
1805 rtfunc->funcparams = NULL; /* not set until planning */
1806
1807 /*
1808 * Now determine if the function returns a simple or composite type.
1809 */
1811 &funcrettype,
1812 &tupdesc);
1813
1814 /*
1815 * A coldeflist is required if the function returns RECORD and hasn't
1816 * got a predetermined record type, and is prohibited otherwise. This
1817 * can be a bit confusing, so we expend some effort on delivering a
1818 * relevant error message.
1819 */
1820 if (coldeflist != NIL)
1821 {
1822 switch (functypclass)
1823 {
1824 case TYPEFUNC_RECORD:
1825 /* ok */
1826 break;
1827 case TYPEFUNC_COMPOSITE:
1829
1830 /*
1831 * If the function's raw result type is RECORD, we must
1832 * have resolved it using its OUT parameters. Otherwise,
1833 * it must have a named composite type.
1834 */
1835 if (exprType(funcexpr) == RECORDOID)
1836 ereport(ERROR,
1838 errmsg("a column definition list is redundant for a function with OUT parameters"),
1839 parser_errposition(pstate,
1840 exprLocation((Node *) coldeflist))));
1841 else
1842 ereport(ERROR,
1844 errmsg("a column definition list is redundant for a function returning a named composite type"),
1845 parser_errposition(pstate,
1846 exprLocation((Node *) coldeflist))));
1847 break;
1848 default:
1849 ereport(ERROR,
1851 errmsg("a column definition list is only allowed for functions returning \"record\""),
1852 parser_errposition(pstate,
1853 exprLocation((Node *) coldeflist))));
1854 break;
1855 }
1856 }
1857 else
1858 {
1860 ereport(ERROR,
1862 errmsg("a column definition list is required for functions returning \"record\""),
1863 parser_errposition(pstate, exprLocation(funcexpr))));
1864 }
1865
1868 {
1869 /* Composite data type, e.g. a table's row type */
1870 Assert(tupdesc);
1871 }
1872 else if (functypclass == TYPEFUNC_SCALAR)
1873 {
1874 /* Base data type, i.e. scalar */
1875 tupdesc = CreateTemplateTupleDesc(1);
1876 TupleDescInitEntry(tupdesc,
1877 (AttrNumber) 1,
1879 alias, nfuncs),
1881 exprTypmod(funcexpr),
1882 0);
1884 (AttrNumber) 1,
1885 exprCollation(funcexpr));
1886 TupleDescFinalize(tupdesc);
1887 }
1888 else if (functypclass == TYPEFUNC_RECORD)
1889 {
1890 ListCell *col;
1891
1892 /*
1893 * Use the column definition list to construct a tupdesc and fill
1894 * in the RangeTblFunction's lists. Limit number of columns to
1895 * MaxHeapAttributeNumber, because CheckAttributeNamesTypes will.
1896 */
1897 if (list_length(coldeflist) > MaxHeapAttributeNumber)
1898 ereport(ERROR,
1900 errmsg("column definition lists can have at most %d entries",
1902 parser_errposition(pstate,
1903 exprLocation((Node *) coldeflist))));
1904 tupdesc = CreateTemplateTupleDesc(list_length(coldeflist));
1905 i = 1;
1906 foreach(col, coldeflist)
1907 {
1908 ColumnDef *n = (ColumnDef *) lfirst(col);
1909 char *attrname;
1910 Oid attrtype;
1911 int32 attrtypmod;
1913
1914 attrname = n->colname;
1915 if (n->typeName->setof)
1916 ereport(ERROR,
1918 errmsg("column \"%s\" cannot be declared SETOF",
1919 attrname),
1920 parser_errposition(pstate, n->location)));
1921 typenameTypeIdAndMod(pstate, n->typeName,
1922 &attrtype, &attrtypmod);
1923 attrcollation = GetColumnDefCollation(pstate, n, attrtype);
1924 TupleDescInitEntry(tupdesc,
1925 (AttrNumber) i,
1926 attrname,
1927 attrtype,
1928 attrtypmod,
1929 0);
1931 (AttrNumber) i,
1933 rtfunc->funccolnames = lappend(rtfunc->funccolnames,
1935 rtfunc->funccoltypes = lappend_oid(rtfunc->funccoltypes,
1936 attrtype);
1937 rtfunc->funccoltypmods = lappend_int(rtfunc->funccoltypmods,
1938 attrtypmod);
1939 rtfunc->funccolcollations = lappend_oid(rtfunc->funccolcollations,
1941
1942 i++;
1943 }
1944 TupleDescFinalize(tupdesc);
1945
1946 /*
1947 * Ensure that the coldeflist defines a legal set of names (no
1948 * duplicates, but we needn't worry about system column names) and
1949 * datatypes. Although we mostly can't allow pseudo-types, it
1950 * seems safe to allow RECORD and RECORD[], since values within
1951 * those type classes are self-identifying at runtime, and the
1952 * coldeflist doesn't represent anything that will be visible to
1953 * other sessions.
1954 */
1957 }
1958 else
1959 ereport(ERROR,
1961 errmsg("function \"%s\" in FROM has unsupported return type %s",
1963 parser_errposition(pstate, exprLocation(funcexpr))));
1964
1965 /* Finish off the RangeTblFunction and add it to the RTE's list */
1966 rtfunc->funccolcount = tupdesc->natts;
1967 rte->functions = lappend(rte->functions, rtfunc);
1968
1969 /* Save the tupdesc for use below */
1970 functupdescs[funcno] = tupdesc;
1971 totalatts += tupdesc->natts;
1972 funcno++;
1973 }
1974
1975 /*
1976 * If there's more than one function, or we want an ordinality column, we
1977 * have to produce a merged tupdesc.
1978 */
1979 if (nfuncs > 1 || rangefunc->ordinality)
1980 {
1981 if (rangefunc->ordinality)
1982 totalatts++;
1983
1984 /* Disallow more columns than will fit in a tuple */
1986 ereport(ERROR,
1988 errmsg("functions in FROM can return at most %d columns",
1990 parser_errposition(pstate,
1991 exprLocation((Node *) funcexprs))));
1992
1993 /* Merge the tuple descs of each function into a composite one */
1995 natts = 0;
1996 for (i = 0; i < nfuncs; i++)
1997 {
1998 for (j = 1; j <= functupdescs[i]->natts; j++)
1999 TupleDescCopyEntry(tupdesc, ++natts, functupdescs[i], j);
2000 }
2001
2002 /* Add the ordinality column if needed */
2003 if (rangefunc->ordinality)
2004 {
2005 TupleDescInitEntry(tupdesc,
2006 (AttrNumber) ++natts,
2007 "ordinality",
2008 INT8OID,
2009 -1,
2010 0);
2011 /* no need to set collation */
2012 }
2013 TupleDescFinalize(tupdesc);
2014 Assert(natts == totalatts);
2015 }
2016 else
2017 {
2018 /* We can just use the single function's tupdesc as-is */
2019 tupdesc = functupdescs[0];
2020 }
2021
2022 /* Use the tupdesc while assigning column aliases for the RTE */
2023 buildRelationAliases(tupdesc, alias, eref);
2024
2025 /*
2026 * Set flags and access permissions.
2027 *
2028 * Functions are never checked for access rights (at least, not by
2029 * ExecCheckPermissions()), so no need to perform addRTEPermissionInfo().
2030 */
2031 rte->lateral = lateral;
2032 rte->inFromCl = inFromCl;
2033
2034 /*
2035 * Add completed RTE to pstate's range table list, so that we know its
2036 * index. But we don't add it to the join list --- caller must do that if
2037 * appropriate.
2038 */
2039 pstate->p_rtable = lappend(pstate->p_rtable, rte);
2040
2041 /*
2042 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2043 * list --- caller must do that if appropriate.
2044 */
2046 tupdesc);
2047}
2048
2049/*
2050 * Add an entry for a table function to the pstate's range table (p_rtable).
2051 * Then, construct and return a ParseNamespaceItem for the new RTE.
2052 *
2053 * This is much like addRangeTableEntry() except that it makes a tablefunc RTE.
2054 */
2057 TableFunc *tf,
2058 Alias *alias,
2059 bool lateral,
2060 bool inFromCl)
2061{
2063 char *refname;
2064 Alias *eref;
2065 int numaliases;
2066
2067 Assert(pstate != NULL);
2068
2069 /* Disallow more columns than will fit in a tuple */
2070 if (list_length(tf->colnames) > MaxTupleAttributeNumber)
2071 ereport(ERROR,
2073 errmsg("functions in FROM can return at most %d columns",
2075 parser_errposition(pstate,
2076 exprLocation((Node *) tf))));
2077 Assert(list_length(tf->coltypes) == list_length(tf->colnames));
2078 Assert(list_length(tf->coltypmods) == list_length(tf->colnames));
2079 Assert(list_length(tf->colcollations) == list_length(tf->colnames));
2080
2081 rte->rtekind = RTE_TABLEFUNC;
2082 rte->relid = InvalidOid;
2083 rte->subquery = NULL;
2084 rte->tablefunc = tf;
2085 rte->coltypes = tf->coltypes;
2086 rte->coltypmods = tf->coltypmods;
2087 rte->colcollations = tf->colcollations;
2088 rte->alias = alias;
2089
2090 refname = alias ? alias->aliasname :
2091 pstrdup(tf->functype == TFT_XMLTABLE ? "xmltable" : "json_table");
2092 eref = alias ? copyObject(alias) : makeAlias(refname, NIL);
2093 numaliases = list_length(eref->colnames);
2094
2095 /* fill in any unspecified alias columns */
2096 if (numaliases < list_length(tf->colnames))
2097 eref->colnames = list_concat(eref->colnames,
2098 list_copy_tail(tf->colnames, numaliases));
2099
2100 if (numaliases > list_length(tf->colnames))
2101 ereport(ERROR,
2103 errmsg("%s function has %d columns available but %d columns specified",
2104 tf->functype == TFT_XMLTABLE ? "XMLTABLE" : "JSON_TABLE",
2105 list_length(tf->colnames), numaliases)));
2106
2107 rte->eref = eref;
2108
2109 /*
2110 * Set flags and access permissions.
2111 *
2112 * Tablefuncs are never checked for access rights (at least, not by
2113 * ExecCheckPermissions()), so no need to perform addRTEPermissionInfo().
2114 */
2115 rte->lateral = lateral;
2116 rte->inFromCl = inFromCl;
2117
2118 /*
2119 * Add completed RTE to pstate's range table list, so that we know its
2120 * index. But we don't add it to the join list --- caller must do that if
2121 * appropriate.
2122 */
2123 pstate->p_rtable = lappend(pstate->p_rtable, rte);
2124
2125 /*
2126 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2127 * list --- caller must do that if appropriate.
2128 */
2130 rte->coltypes, rte->coltypmods,
2131 rte->colcollations);
2132}
2133
2136 Oid graphid,
2137 GraphPattern *graph_pattern,
2138 List *columns,
2139 List *colnames,
2140 Alias *alias,
2141 bool lateral,
2142 bool inFromCl)
2143{
2145 char *refname = alias ? alias->aliasname : pstrdup("graph_table");
2146 Alias *eref;
2147 int numaliases;
2148 int varattno;
2149 ListCell *lc;
2150 List *coltypes = NIL;
2151 List *coltypmods = NIL;
2155
2156 Assert(pstate != NULL);
2157
2158 rte->rtekind = RTE_GRAPH_TABLE;
2159 rte->relid = graphid;
2160 rte->relkind = RELKIND_PROPGRAPH;
2161 rte->graph_pattern = graph_pattern;
2162 rte->graph_table_columns = columns;
2163 rte->alias = alias;
2164 rte->rellockmode = AccessShareLock;
2165
2166 eref = alias ? copyObject(alias) : makeAlias(refname, NIL);
2167
2168 if (!eref->colnames)
2169 eref->colnames = colnames;
2170
2171 numaliases = list_length(eref->colnames);
2172
2173 /* fill in any unspecified alias columns */
2174 varattno = 0;
2175 foreach(lc, colnames)
2176 {
2177 varattno++;
2178 if (varattno > numaliases)
2179 eref->colnames = lappend(eref->colnames, lfirst(lc));
2180 }
2181 if (varattno < numaliases)
2182 ereport(ERROR,
2184 errmsg("GRAPH_TABLE \"%s\" has %d columns available but %d columns specified",
2185 refname, varattno, numaliases)));
2186
2187 rte->eref = eref;
2188
2189 foreach(lc, columns)
2190 {
2192 Node *colexpr = (Node *) te->expr;
2193
2197 }
2198
2199 /*
2200 * Set flags and access permissions.
2201 */
2202 rte->lateral = lateral;
2203 rte->inFromCl = inFromCl;
2204
2206 perminfo->requiredPerms = ACL_SELECT;
2207
2208 /*
2209 * Add completed RTE to pstate's range table list, so that we know its
2210 * index. But we don't add it to the join list --- caller must do that if
2211 * appropriate.
2212 */
2213 pstate->p_rtable = lappend(pstate->p_rtable, rte);
2214
2215 /*
2216 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2217 * list --- caller must do that if appropriate.
2218 */
2221
2222 nsitem->p_perminfo = perminfo;
2223
2224 return nsitem;
2225}
2226
2227/*
2228 * Add an entry for a VALUES list to the pstate's range table (p_rtable).
2229 * Then, construct and return a ParseNamespaceItem for the new RTE.
2230 *
2231 * This is much like addRangeTableEntry() except that it makes a values RTE.
2232 */
2235 List *exprs,
2236 List *coltypes,
2239 Alias *alias,
2240 bool lateral,
2241 bool inFromCl)
2242{
2244 char *refname = alias ? alias->aliasname : pstrdup("*VALUES*");
2245 Alias *eref;
2246 int numaliases;
2247 int numcolumns;
2248
2249 Assert(pstate != NULL);
2250
2251 rte->rtekind = RTE_VALUES;
2252 rte->relid = InvalidOid;
2253 rte->subquery = NULL;
2254 rte->values_lists = exprs;
2255 rte->coltypes = coltypes;
2256 rte->coltypmods = coltypmods;
2257 rte->colcollations = colcollations;
2258 rte->alias = alias;
2259
2260 eref = alias ? copyObject(alias) : makeAlias(refname, NIL);
2261
2262 /* fill in any unspecified alias columns */
2263 numcolumns = list_length((List *) linitial(exprs));
2264 numaliases = list_length(eref->colnames);
2265 while (numaliases < numcolumns)
2266 {
2267 char attrname[64];
2268
2269 numaliases++;
2270 snprintf(attrname, sizeof(attrname), "column%d", numaliases);
2271 eref->colnames = lappend(eref->colnames,
2273 }
2274 if (numcolumns < numaliases)
2275 ereport(ERROR,
2277 errmsg("VALUES lists \"%s\" have %d columns available but %d columns specified",
2278 refname, numcolumns, numaliases)));
2279
2280 rte->eref = eref;
2281
2282 /*
2283 * Set flags and access permissions.
2284 *
2285 * Subqueries are never checked for access rights, so no need to perform
2286 * addRTEPermissionInfo().
2287 */
2288 rte->lateral = lateral;
2289 rte->inFromCl = inFromCl;
2290
2291 /*
2292 * Add completed RTE to pstate's range table list, so that we know its
2293 * index. But we don't add it to the join list --- caller must do that if
2294 * appropriate.
2295 */
2296 pstate->p_rtable = lappend(pstate->p_rtable, rte);
2297
2298 /*
2299 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2300 * list --- caller must do that if appropriate.
2301 */
2303 rte->coltypes, rte->coltypmods,
2304 rte->colcollations);
2305}
2306
2307/*
2308 * Add an entry for a join to the pstate's range table (p_rtable).
2309 * Then, construct and return a ParseNamespaceItem for the new RTE.
2310 *
2311 * This is much like addRangeTableEntry() except that it makes a join RTE.
2312 * Also, it's more convenient for the caller to construct the
2313 * ParseNamespaceColumn array, so we pass that in.
2314 */
2317 List *colnames,
2319 JoinType jointype,
2320 int nummergedcols,
2321 List *aliasvars,
2322 List *leftcols,
2323 List *rightcols,
2325 Alias *alias,
2326 bool inFromCl)
2327{
2329 Alias *eref;
2330 int numaliases;
2332
2333 Assert(pstate != NULL);
2334
2335 /*
2336 * Fail if join has too many columns --- we must be able to reference any
2337 * of the columns with an AttrNumber.
2338 */
2340 ereport(ERROR,
2342 errmsg("joins can have at most %d columns",
2343 MaxAttrNumber)));
2344
2345 rte->rtekind = RTE_JOIN;
2346 rte->relid = InvalidOid;
2347 rte->subquery = NULL;
2348 rte->jointype = jointype;
2349 rte->joinmergedcols = nummergedcols;
2350 rte->joinaliasvars = aliasvars;
2351 rte->joinleftcols = leftcols;
2352 rte->joinrightcols = rightcols;
2353 rte->join_using_alias = join_using_alias;
2354 rte->alias = alias;
2355
2356 eref = alias ? copyObject(alias) : makeAlias("unnamed_join", NIL);
2357 numaliases = list_length(eref->colnames);
2358
2359 /* fill in any unspecified alias columns */
2360 if (numaliases < list_length(colnames))
2361 eref->colnames = list_concat(eref->colnames,
2362 list_copy_tail(colnames, numaliases));
2363
2364 if (numaliases > list_length(colnames))
2365 ereport(ERROR,
2367 errmsg("join expression \"%s\" has %d columns available but %d columns specified",
2368 eref->aliasname, list_length(colnames), numaliases)));
2369
2370 rte->eref = eref;
2371
2372 /*
2373 * Set flags and access permissions.
2374 *
2375 * Joins are never checked for access rights, so no need to perform
2376 * addRTEPermissionInfo().
2377 */
2378 rte->lateral = false;
2379 rte->inFromCl = inFromCl;
2380
2381 /*
2382 * Add completed RTE to pstate's range table list, so that we know its
2383 * index. But we don't add it to the join list --- caller must do that if
2384 * appropriate.
2385 */
2386 pstate->p_rtable = lappend(pstate->p_rtable, rte);
2387
2388 /*
2389 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2390 * list --- caller must do that if appropriate.
2391 */
2393 nsitem->p_names = rte->eref;
2394 nsitem->p_rte = rte;
2395 nsitem->p_perminfo = NULL;
2396 nsitem->p_rtindex = list_length(pstate->p_rtable);
2397 nsitem->p_nscolumns = nscolumns;
2398 /* set default visibility flags; might get changed later */
2399 nsitem->p_rel_visible = true;
2400 nsitem->p_cols_visible = true;
2401 nsitem->p_lateral_only = false;
2402 nsitem->p_lateral_ok = true;
2403 nsitem->p_returning_type = VAR_RETURNING_DEFAULT;
2404
2405 return nsitem;
2406}
2407
2408/*
2409 * Add an entry for a CTE reference to the pstate's range table (p_rtable).
2410 * Then, construct and return a ParseNamespaceItem for the new RTE.
2411 *
2412 * This is much like addRangeTableEntry() except that it makes a CTE RTE.
2413 */
2416 CommonTableExpr *cte,
2417 Index levelsup,
2418 RangeVar *rv,
2419 bool inFromCl)
2420{
2422 Alias *alias = rv->alias;
2423 char *refname = alias ? alias->aliasname : cte->ctename;
2424 Alias *eref;
2425 int numaliases;
2426 int varattno;
2427 ListCell *lc;
2428 int n_dontexpand_columns = 0;
2430
2431 Assert(pstate != NULL);
2432
2433 rte->rtekind = RTE_CTE;
2434 rte->ctename = cte->ctename;
2435 rte->ctelevelsup = levelsup;
2436
2437 /* Self-reference if and only if CTE's parse analysis isn't completed */
2438 rte->self_reference = !IsA(cte->ctequery, Query);
2439 Assert(cte->cterecursive || !rte->self_reference);
2440 /* Bump the CTE's refcount if this isn't a self-reference */
2441 if (!rte->self_reference)
2442 cte->cterefcount++;
2443
2444 /*
2445 * We throw error if the CTE is INSERT/UPDATE/DELETE/MERGE without
2446 * RETURNING. This won't get checked in case of a self-reference, but
2447 * that's OK because data-modifying CTEs aren't allowed to be recursive
2448 * anyhow.
2449 */
2450 if (IsA(cte->ctequery, Query))
2451 {
2452 Query *ctequery = (Query *) cte->ctequery;
2453
2454 if (ctequery->commandType != CMD_SELECT &&
2455 ctequery->returningList == NIL)
2456 ereport(ERROR,
2458 errmsg("WITH query \"%s\" does not have a RETURNING clause",
2459 cte->ctename),
2460 parser_errposition(pstate, rv->location)));
2461 }
2462
2463 rte->coltypes = list_copy(cte->ctecoltypes);
2464 rte->coltypmods = list_copy(cte->ctecoltypmods);
2465 rte->colcollations = list_copy(cte->ctecolcollations);
2466
2467 rte->alias = alias;
2468 if (alias)
2469 eref = copyObject(alias);
2470 else
2471 eref = makeAlias(refname, NIL);
2472 numaliases = list_length(eref->colnames);
2473
2474 /* fill in any unspecified alias columns */
2475 varattno = 0;
2476 foreach(lc, cte->ctecolnames)
2477 {
2478 varattno++;
2479 if (varattno > numaliases)
2480 eref->colnames = lappend(eref->colnames, lfirst(lc));
2481 }
2482 if (varattno < numaliases)
2483 ereport(ERROR,
2485 errmsg("table \"%s\" has %d columns available but %d columns specified",
2486 refname, varattno, numaliases)));
2487
2488 rte->eref = eref;
2489
2490 if (cte->search_clause)
2491 {
2492 rte->eref->colnames = lappend(rte->eref->colnames, makeString(cte->search_clause->search_seq_column));
2493 if (cte->search_clause->search_breadth_first)
2494 rte->coltypes = lappend_oid(rte->coltypes, RECORDOID);
2495 else
2496 rte->coltypes = lappend_oid(rte->coltypes, RECORDARRAYOID);
2497 rte->coltypmods = lappend_int(rte->coltypmods, -1);
2498 rte->colcollations = lappend_oid(rte->colcollations, InvalidOid);
2499
2501 }
2502
2503 if (cte->cycle_clause)
2504 {
2505 rte->eref->colnames = lappend(rte->eref->colnames, makeString(cte->cycle_clause->cycle_mark_column));
2506 rte->coltypes = lappend_oid(rte->coltypes, cte->cycle_clause->cycle_mark_type);
2507 rte->coltypmods = lappend_int(rte->coltypmods, cte->cycle_clause->cycle_mark_typmod);
2508 rte->colcollations = lappend_oid(rte->colcollations, cte->cycle_clause->cycle_mark_collation);
2509
2510 rte->eref->colnames = lappend(rte->eref->colnames, makeString(cte->cycle_clause->cycle_path_column));
2511 rte->coltypes = lappend_oid(rte->coltypes, RECORDARRAYOID);
2512 rte->coltypmods = lappend_int(rte->coltypmods, -1);
2513 rte->colcollations = lappend_oid(rte->colcollations, InvalidOid);
2514
2516 }
2517
2518 /*
2519 * Set flags and access permissions.
2520 *
2521 * Subqueries are never checked for access rights, so no need to perform
2522 * addRTEPermissionInfo().
2523 */
2524 rte->lateral = false;
2525 rte->inFromCl = inFromCl;
2526
2527 /*
2528 * Add completed RTE to pstate's range table list, so that we know its
2529 * index. But we don't add it to the join list --- caller must do that if
2530 * appropriate.
2531 */
2532 pstate->p_rtable = lappend(pstate->p_rtable, rte);
2533
2534 /*
2535 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2536 * list --- caller must do that if appropriate.
2537 */
2539 rte->coltypes, rte->coltypmods,
2540 rte->colcollations);
2541
2542 /*
2543 * The columns added by search and cycle clauses are not included in star
2544 * expansion in queries contained in the CTE.
2545 */
2546 if (rte->ctelevelsup > 0)
2547 for (int i = 0; i < n_dontexpand_columns; i++)
2548 psi->p_nscolumns[list_length(psi->p_names->colnames) - 1 - i].p_dontexpand = true;
2549
2550 return psi;
2551}
2552
2553/*
2554 * Add an entry for an ephemeral named relation reference to the pstate's
2555 * range table (p_rtable).
2556 * Then, construct and return a ParseNamespaceItem for the new RTE.
2557 *
2558 * It is expected that the RangeVar, which up until now is only known to be an
2559 * ephemeral named relation, will (in conjunction with the QueryEnvironment in
2560 * the ParseState), create a RangeTblEntry for a specific *kind* of ephemeral
2561 * named relation, based on enrtype.
2562 *
2563 * This is much like addRangeTableEntry() except that it makes an RTE for an
2564 * ephemeral named relation.
2565 */
2568 RangeVar *rv,
2569 bool inFromCl)
2570{
2572 Alias *alias = rv->alias;
2573 char *refname = alias ? alias->aliasname : rv->relname;
2575 TupleDesc tupdesc;
2576 int attno;
2577
2578 Assert(pstate != NULL);
2579 enrmd = get_visible_ENR(pstate, rv->relname);
2580 Assert(enrmd != NULL);
2581
2582 switch (enrmd->enrtype)
2583 {
2585 rte->rtekind = RTE_NAMEDTUPLESTORE;
2586 break;
2587
2588 default:
2589 elog(ERROR, "unexpected enrtype: %d", enrmd->enrtype);
2590 return NULL; /* for fussy compilers */
2591 }
2592
2593 /*
2594 * Record dependency on a relation. This allows plans to be invalidated
2595 * if they access transition tables linked to a table that is altered.
2596 */
2597 rte->relid = enrmd->reliddesc;
2598
2599 /*
2600 * Build the list of effective column names using user-supplied aliases
2601 * and/or actual column names.
2602 */
2603 tupdesc = ENRMetadataGetTupDesc(enrmd);
2604 rte->eref = makeAlias(refname, NIL);
2605 buildRelationAliases(tupdesc, alias, rte->eref);
2606
2607 /* Record additional data for ENR, including column type info */
2608 rte->enrname = enrmd->name;
2609 rte->enrtuples = enrmd->enrtuples;
2610 rte->coltypes = NIL;
2611 rte->coltypmods = NIL;
2612 rte->colcollations = NIL;
2613 for (attno = 1; attno <= tupdesc->natts; ++attno)
2614 {
2615 Form_pg_attribute att = TupleDescAttr(tupdesc, attno - 1);
2616
2617 if (att->attisdropped)
2618 {
2619 /* Record zeroes for a dropped column */
2620 rte->coltypes = lappend_oid(rte->coltypes, InvalidOid);
2621 rte->coltypmods = lappend_int(rte->coltypmods, 0);
2622 rte->colcollations = lappend_oid(rte->colcollations, InvalidOid);
2623 }
2624 else
2625 {
2626 /* Let's just make sure we can tell this isn't dropped */
2627 if (att->atttypid == InvalidOid)
2628 elog(ERROR, "atttypid is invalid for non-dropped column in \"%s\"",
2629 rv->relname);
2630 rte->coltypes = lappend_oid(rte->coltypes, att->atttypid);
2631 rte->coltypmods = lappend_int(rte->coltypmods, att->atttypmod);
2632 rte->colcollations = lappend_oid(rte->colcollations,
2633 att->attcollation);
2634 }
2635 }
2636
2637 /*
2638 * Set flags and access permissions.
2639 *
2640 * ENRs are never checked for access rights, so no need to perform
2641 * addRTEPermissionInfo().
2642 */
2643 rte->lateral = false;
2644 rte->inFromCl = inFromCl;
2645
2646 /*
2647 * Add completed RTE to pstate's range table list, so that we know its
2648 * index. But we don't add it to the join list --- caller must do that if
2649 * appropriate.
2650 */
2651 pstate->p_rtable = lappend(pstate->p_rtable, rte);
2652
2653 /*
2654 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2655 * list --- caller must do that if appropriate.
2656 */
2658 tupdesc);
2659}
2660
2661/*
2662 * Add an entry for grouping step to the pstate's range table (p_rtable).
2663 * Then, construct and return a ParseNamespaceItem for the new RTE.
2664 */
2667 List *groupClauses)
2668{
2670 Alias *eref;
2671 List *groupexprs;
2672 List *coltypes,
2673 *coltypmods,
2675 ListCell *lc;
2677
2678 Assert(pstate != NULL);
2679
2680 rte->rtekind = RTE_GROUP;
2681 rte->alias = NULL;
2682
2683 eref = makeAlias("*GROUP*", NIL);
2684
2685 /* fill in any unspecified alias columns, and extract column type info */
2686 groupexprs = NIL;
2688 foreach(lc, groupClauses)
2689 {
2690 TargetEntry *te = (TargetEntry *) lfirst(lc);
2691 char *colname = te->resname ? pstrdup(te->resname) : "?column?";
2692
2693 eref->colnames = lappend(eref->colnames, makeString(colname));
2694
2695 groupexprs = lappend(groupexprs, copyObject(te->expr));
2696
2698 exprType((Node *) te->expr));
2700 exprTypmod((Node *) te->expr));
2702 exprCollation((Node *) te->expr));
2703 }
2704
2705 rte->eref = eref;
2706 rte->groupexprs = groupexprs;
2707
2708 /*
2709 * Set flags.
2710 *
2711 * The grouping step is never checked for access rights, so no need to
2712 * perform addRTEPermissionInfo().
2713 */
2714 rte->lateral = false;
2715 rte->inFromCl = false;
2716
2717 /*
2718 * Add completed RTE to pstate's range table list, so that we know its
2719 * index. But we don't add it to the join list --- caller must do that if
2720 * appropriate.
2721 */
2722 pstate->p_rtable = lappend(pstate->p_rtable, rte);
2723
2724 /*
2725 * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2726 * list --- caller must do that if appropriate.
2727 */
2730
2731 return nsitem;
2732}
2733
2734
2735/*
2736 * Has the specified refname been selected FOR UPDATE/FOR SHARE?
2737 *
2738 * This is used when we have not yet done transformLockingClause, but need
2739 * to know the correct lock to take during initial opening of relations.
2740 *
2741 * Note that refname may be NULL (for a subquery without an alias), in which
2742 * case the relation can't be locked by name, but it might still be locked if
2743 * a locking clause requests that all tables be locked.
2744 *
2745 * Note: we pay no attention to whether it's FOR UPDATE vs FOR SHARE,
2746 * since the table-level lock is the same either way.
2747 */
2748bool
2749isLockedRefname(ParseState *pstate, const char *refname)
2750{
2751 ListCell *l;
2752
2753 /*
2754 * If we are in a subquery specified as locked FOR UPDATE/SHARE from
2755 * parent level, then act as though there's a generic FOR UPDATE here.
2756 */
2757 if (pstate->p_locked_from_parent)
2758 return true;
2759
2760 foreach(l, pstate->p_locking_clause)
2761 {
2763
2764 if (lc->lockedRels == NIL)
2765 {
2766 /* all tables used in query */
2767 return true;
2768 }
2769 else if (refname != NULL)
2770 {
2771 /* just the named tables */
2772 ListCell *l2;
2773
2774 foreach(l2, lc->lockedRels)
2775 {
2776 RangeVar *thisrel = (RangeVar *) lfirst(l2);
2777
2778 if (strcmp(refname, thisrel->relname) == 0)
2779 return true;
2780 }
2781 }
2782 }
2783 return false;
2784}
2785
2786/*
2787 * Add the given nsitem/RTE as a top-level entry in the pstate's join list
2788 * and/or namespace list. (We assume caller has checked for any
2789 * namespace conflicts.) The nsitem is always marked as unconditionally
2790 * visible, that is, not LATERAL-only.
2791 */
2792void
2794 bool addToJoinList,
2796{
2797 if (addToJoinList)
2798 {
2800
2801 rtr->rtindex = nsitem->p_rtindex;
2802 pstate->p_joinlist = lappend(pstate->p_joinlist, rtr);
2803 }
2805 {
2806 /* Set the new nsitem's visibility flags correctly */
2807 nsitem->p_rel_visible = addToRelNameSpace;
2808 nsitem->p_cols_visible = addToVarNameSpace;
2809 nsitem->p_lateral_only = false;
2810 nsitem->p_lateral_ok = true;
2811 pstate->p_namespace = lappend(pstate->p_namespace, nsitem);
2812 }
2813}
2814
2815/*
2816 * expandRTE -- expand the columns of a rangetable entry
2817 *
2818 * This creates lists of an RTE's column names (aliases if provided, else
2819 * real names) and Vars for each column. Only user columns are considered.
2820 * If include_dropped is false then dropped columns are omitted from the
2821 * results. If include_dropped is true then empty strings and NULL constants
2822 * (not Vars!) are returned for dropped columns.
2823 *
2824 * rtindex, sublevels_up, returning_type, and location are the varno,
2825 * varlevelsup, varreturningtype, and location values to use in the created
2826 * Vars. Ordinarily rtindex should match the actual position of the RTE in
2827 * its rangetable.
2828 *
2829 * The output lists go into *colnames and *colvars.
2830 * If only one of the two kinds of output list is needed, pass NULL for the
2831 * output pointer for the unwanted one.
2832 */
2833void
2834expandRTE(RangeTblEntry *rte, int rtindex, int sublevels_up,
2835 VarReturningType returning_type,
2836 int location, bool include_dropped,
2837 List **colnames, List **colvars)
2838{
2839 int varattno;
2840
2841 if (colnames)
2842 *colnames = NIL;
2843 if (colvars)
2844 *colvars = NIL;
2845
2846 switch (rte->rtekind)
2847 {
2848 case RTE_RELATION:
2849 /* Ordinary relation RTE */
2850 expandRelation(rte->relid, rte->eref,
2851 rtindex, sublevels_up, returning_type, location,
2852 include_dropped, colnames, colvars);
2853 break;
2854 case RTE_SUBQUERY:
2855 {
2856 /* Subquery RTE */
2857 ListCell *aliasp_item = list_head(rte->eref->colnames);
2859
2860 varattno = 0;
2861 foreach(tlistitem, rte->subquery->targetList)
2862 {
2864
2865 if (te->resjunk)
2866 continue;
2867 varattno++;
2868 Assert(varattno == te->resno);
2869
2870 /*
2871 * Formerly it was possible for the subquery tlist to have
2872 * more non-junk entries than the colnames list does (if
2873 * this RTE has been expanded from a view that has more
2874 * columns than it did when the current query was parsed).
2875 * Now that ApplyRetrieveRule cleans up such cases, we
2876 * shouldn't see that anymore, but let's just check.
2877 */
2878 if (!aliasp_item)
2879 elog(ERROR, "too few column names for subquery %s",
2880 rte->eref->aliasname);
2881
2882 if (colnames)
2883 {
2884 char *label = strVal(lfirst(aliasp_item));
2885
2886 *colnames = lappend(*colnames, makeString(pstrdup(label)));
2887 }
2888
2889 if (colvars)
2890 {
2891 Var *varnode;
2892
2893 varnode = makeVar(rtindex, varattno,
2894 exprType((Node *) te->expr),
2895 exprTypmod((Node *) te->expr),
2896 exprCollation((Node *) te->expr),
2897 sublevels_up);
2898 varnode->varreturningtype = returning_type;
2899 varnode->location = location;
2900
2902 }
2903
2904 aliasp_item = lnext(rte->eref->colnames, aliasp_item);
2905 }
2906 }
2907 break;
2908 case RTE_FUNCTION:
2909 {
2910 /* Function RTE */
2911 int atts_done = 0;
2912 ListCell *lc;
2913
2914 foreach(lc, rte->functions)
2915 {
2919 TupleDesc tupdesc = NULL;
2920
2921 /* If it has a coldeflist, it returns RECORD */
2922 if (rtfunc->funccolnames != NIL)
2924 else
2926 &funcrettype,
2927 &tupdesc);
2928
2931 {
2932 /* Composite data type, e.g. a table's row type */
2933 Assert(tupdesc);
2934 expandTupleDesc(tupdesc, rte->eref,
2935 rtfunc->funccolcount, atts_done,
2936 rtindex, sublevels_up,
2937 returning_type, location,
2938 include_dropped, colnames, colvars);
2939 }
2940 else if (functypclass == TYPEFUNC_SCALAR)
2941 {
2942 /* Base data type, i.e. scalar */
2943 if (colnames)
2944 *colnames = lappend(*colnames,
2945 list_nth(rte->eref->colnames,
2946 atts_done));
2947
2948 if (colvars)
2949 {
2950 Var *varnode;
2951
2952 varnode = makeVar(rtindex, atts_done + 1,
2954 exprTypmod(rtfunc->funcexpr),
2955 exprCollation(rtfunc->funcexpr),
2956 sublevels_up);
2957 varnode->varreturningtype = returning_type;
2958 varnode->location = location;
2959
2961 }
2962 }
2963 else if (functypclass == TYPEFUNC_RECORD)
2964 {
2965 if (colnames)
2966 {
2967 List *namelist;
2968
2969 /* extract appropriate subset of column list */
2970 namelist = list_copy_tail(rte->eref->colnames,
2971 atts_done);
2973 rtfunc->funccolcount);
2974 *colnames = list_concat(*colnames, namelist);
2975 }
2976
2977 if (colvars)
2978 {
2979 ListCell *l1;
2980 ListCell *l2;
2981 ListCell *l3;
2982 int attnum = atts_done;
2983
2984 forthree(l1, rtfunc->funccoltypes,
2985 l2, rtfunc->funccoltypmods,
2986 l3, rtfunc->funccolcollations)
2987 {
2988 Oid attrtype = lfirst_oid(l1);
2989 int32 attrtypmod = lfirst_int(l2);
2991 Var *varnode;
2992
2993 attnum++;
2994 varnode = makeVar(rtindex,
2995 attnum,
2996 attrtype,
2997 attrtypmod,
2999 sublevels_up);
3000 varnode->varreturningtype = returning_type;
3001 varnode->location = location;
3003 }
3004 }
3005 }
3006 else
3007 {
3008 /* addRangeTableEntryForFunction should've caught this */
3009 elog(ERROR, "function in FROM has unsupported return type");
3010 }
3011 atts_done += rtfunc->funccolcount;
3012 }
3013
3014 /* Append the ordinality column if any */
3015 if (rte->funcordinality)
3016 {
3017 if (colnames)
3018 *colnames = lappend(*colnames,
3019 llast(rte->eref->colnames));
3020
3021 if (colvars)
3022 {
3023 Var *varnode = makeVar(rtindex,
3024 atts_done + 1,
3025 INT8OID,
3026 -1,
3027 InvalidOid,
3028 sublevels_up);
3029
3030 varnode->varreturningtype = returning_type;
3032 }
3033 }
3034 }
3035 break;
3036 case RTE_JOIN:
3037 {
3038 /* Join RTE */
3039 ListCell *colname;
3041
3042 Assert(list_length(rte->eref->colnames) == list_length(rte->joinaliasvars));
3043
3044 varattno = 0;
3045 forboth(colname, rte->eref->colnames, aliasvar, rte->joinaliasvars)
3046 {
3047 Node *avar = (Node *) lfirst(aliasvar);
3048
3049 varattno++;
3050
3051 /*
3052 * During ordinary parsing, there will never be any
3053 * deleted columns in the join. While this function is
3054 * also used by the rewriter and planner, they do not
3055 * currently call it on any JOIN RTEs. Therefore, this
3056 * next bit is dead code, but it seems prudent to handle
3057 * the case correctly anyway.
3058 */
3059 if (avar == NULL)
3060 {
3061 if (include_dropped)
3062 {
3063 if (colnames)
3064 *colnames = lappend(*colnames,
3065 makeString(pstrdup("")));
3066 if (colvars)
3067 {
3068 /*
3069 * Can't use join's column type here (it might
3070 * be dropped!); but it doesn't really matter
3071 * what type the Const claims to be.
3072 */
3075 InvalidOid));
3076 }
3077 }
3078 continue;
3079 }
3080
3081 if (colnames)
3082 {
3083 char *label = strVal(lfirst(colname));
3084
3085 *colnames = lappend(*colnames,
3087 }
3088
3089 if (colvars)
3090 {
3091 Var *varnode;
3092
3093 /*
3094 * If the joinaliasvars entry is a simple Var, just
3095 * copy it (with adjustment of varlevelsup and
3096 * location); otherwise it is a JOIN USING column and
3097 * we must generate a join alias Var. This matches
3098 * the results that expansion of "join.*" by
3099 * expandNSItemVars would have produced, if we had
3100 * access to the ParseNamespaceItem for the join.
3101 */
3102 if (IsA(avar, Var))
3103 {
3104 varnode = copyObject((Var *) avar);
3105 varnode->varlevelsup = sublevels_up;
3106 }
3107 else
3108 varnode = makeVar(rtindex, varattno,
3109 exprType(avar),
3112 sublevels_up);
3113 varnode->varreturningtype = returning_type;
3114 varnode->location = location;
3115
3117 }
3118 }
3119 }
3120 break;
3121 case RTE_TABLEFUNC:
3122 case RTE_VALUES:
3123 case RTE_CTE:
3125 case RTE_GRAPH_TABLE:
3126 {
3127 /* Tablefunc, Values, CTE, or ENR RTE */
3128 ListCell *aliasp_item = list_head(rte->eref->colnames);
3129 ListCell *lct;
3130 ListCell *lcm;
3131 ListCell *lcc;
3132
3133 varattno = 0;
3134 forthree(lct, rte->coltypes,
3135 lcm, rte->coltypmods,
3136 lcc, rte->colcollations)
3137 {
3138 Oid coltype = lfirst_oid(lct);
3141
3142 varattno++;
3143
3144 if (colnames)
3145 {
3146 /* Assume there is one alias per output column */
3147 if (OidIsValid(coltype))
3148 {
3149 char *label = strVal(lfirst(aliasp_item));
3150
3151 *colnames = lappend(*colnames,
3153 }
3154 else if (include_dropped)
3155 *colnames = lappend(*colnames,
3156 makeString(pstrdup("")));
3157
3158 aliasp_item = lnext(rte->eref->colnames, aliasp_item);
3159 }
3160
3161 if (colvars)
3162 {
3163 if (OidIsValid(coltype))
3164 {
3165 Var *varnode;
3166
3167 varnode = makeVar(rtindex, varattno,
3168 coltype, coltypmod, colcoll,
3169 sublevels_up);
3170 varnode->varreturningtype = returning_type;
3171 varnode->location = location;
3172
3174 }
3175 else if (include_dropped)
3176 {
3177 /*
3178 * It doesn't really matter what type the Const
3179 * claims to be.
3180 */
3183 InvalidOid));
3184 }
3185 }
3186 }
3187 }
3188 break;
3189 case RTE_RESULT:
3190 case RTE_GROUP:
3191 /* These expose no columns, so nothing to do */
3192 break;
3193 default:
3194 elog(ERROR, "unrecognized RTE kind: %d", (int) rte->rtekind);
3195 }
3196}
3197
3198/*
3199 * expandRelation -- expandRTE subroutine
3200 */
3201static void
3202expandRelation(Oid relid, Alias *eref, int rtindex, int sublevels_up,
3203 VarReturningType returning_type,
3204 int location, bool include_dropped,
3205 List **colnames, List **colvars)
3206{
3207 Relation rel;
3208
3209 /* Get the tupledesc and turn it over to expandTupleDesc */
3210 rel = relation_open(relid, AccessShareLock);
3211 expandTupleDesc(rel->rd_att, eref, rel->rd_att->natts, 0,
3212 rtindex, sublevels_up, returning_type,
3213 location, include_dropped,
3214 colnames, colvars);
3216}
3217
3218/*
3219 * expandTupleDesc -- expandRTE subroutine
3220 *
3221 * Generate names and/or Vars for the first "count" attributes of the tupdesc,
3222 * and append them to colnames/colvars. "offset" is added to the varattno
3223 * that each Var would otherwise have, and we also skip the first "offset"
3224 * entries in eref->colnames. (These provisions allow use of this code for
3225 * an individual composite-returning function in an RTE_FUNCTION RTE.)
3226 */
3227static void
3228expandTupleDesc(TupleDesc tupdesc, Alias *eref, int count, int offset,
3229 int rtindex, int sublevels_up,
3230 VarReturningType returning_type,
3231 int location, bool include_dropped,
3232 List **colnames, List **colvars)
3233{
3235 int varattno;
3236
3237 aliascell = (offset < list_length(eref->colnames)) ?
3238 list_nth_cell(eref->colnames, offset) : NULL;
3239
3241 for (varattno = 0; varattno < count; varattno++)
3242 {
3243 Form_pg_attribute attr = TupleDescAttr(tupdesc, varattno);
3244
3245 if (attr->attisdropped)
3246 {
3247 if (include_dropped)
3248 {
3249 if (colnames)
3250 *colnames = lappend(*colnames, makeString(pstrdup("")));
3251 if (colvars)
3252 {
3253 /*
3254 * can't use atttypid here, but it doesn't really matter
3255 * what type the Const claims to be.
3256 */
3259 }
3260 }
3261 if (aliascell)
3262 aliascell = lnext(eref->colnames, aliascell);
3263 continue;
3264 }
3265
3266 if (colnames)
3267 {
3268 char *label;
3269
3270 if (aliascell)
3271 {
3273 aliascell = lnext(eref->colnames, aliascell);
3274 }
3275 else
3276 {
3277 /* If we run out of aliases, use the underlying name */
3278 label = NameStr(attr->attname);
3279 }
3280 *colnames = lappend(*colnames, makeString(pstrdup(label)));
3281 }
3282
3283 if (colvars)
3284 {
3285 Var *varnode;
3286
3287 varnode = makeVar(rtindex, varattno + offset + 1,
3288 attr->atttypid, attr->atttypmod,
3289 attr->attcollation,
3290 sublevels_up);
3291 varnode->varreturningtype = returning_type;
3292 varnode->location = location;
3293
3295 }
3296 }
3297}
3298
3299/*
3300 * expandNSItemVars
3301 * Produce a list of Vars, and optionally a list of column names,
3302 * for the non-dropped columns of the nsitem.
3303 *
3304 * The emitted Vars are marked with the given sublevels_up and location.
3305 *
3306 * If colnames isn't NULL, a list of String items for the columns is stored
3307 * there; note that it's just a subset of the RTE's eref list, and hence
3308 * the list elements mustn't be modified.
3309 */
3310List *
3312 int sublevels_up, int location,
3313 List **colnames)
3314{
3315 List *result = NIL;
3316 int colindex;
3317 ListCell *lc;
3318
3319 if (colnames)
3320 *colnames = NIL;
3321 colindex = 0;
3322 foreach(lc, nsitem->p_names->colnames)
3323 {
3325 const char *colname = strVal(colnameval);
3326 ParseNamespaceColumn *nscol = nsitem->p_nscolumns + colindex;
3327
3328 if (nscol->p_dontexpand)
3329 {
3330 /* skip */
3331 }
3332 else if (colname[0])
3333 {
3334 Var *var;
3335
3336 Assert(nscol->p_varno > 0);
3337 var = makeVar(nscol->p_varno,
3338 nscol->p_varattno,
3339 nscol->p_vartype,
3340 nscol->p_vartypmod,
3341 nscol->p_varcollid,
3342 sublevels_up);
3343 /* makeVar doesn't offer parameters for these, so set by hand: */
3344 var->varreturningtype = nscol->p_varreturningtype;
3345 var->varnosyn = nscol->p_varnosyn;
3346 var->varattnosyn = nscol->p_varattnosyn;
3347 var->location = location;
3348
3349 /* ... and update varnullingrels */
3350 markNullableIfNeeded(pstate, var);
3351
3352 result = lappend(result, var);
3353 if (colnames)
3354 *colnames = lappend(*colnames, colnameval);
3355 }
3356 else
3357 {
3358 /* dropped column, ignore */
3359 Assert(nscol->p_varno == 0);
3360 }
3361 colindex++;
3362 }
3363 return result;
3364}
3365
3366/*
3367 * expandNSItemAttrs -
3368 * Workhorse for "*" expansion: produce a list of targetentries
3369 * for the attributes of the nsitem
3370 *
3371 * pstate->p_next_resno determines the resnos assigned to the TLEs.
3372 * The referenced columns are marked as requiring SELECT access, if
3373 * caller requests that.
3374 */
3375List *
3377 int sublevels_up, bool require_col_privs, int location)
3378{
3379 RangeTblEntry *rte = nsitem->p_rte;
3380 RTEPermissionInfo *perminfo = nsitem->p_perminfo;
3381 List *names,
3382 *vars;
3383 ListCell *name,
3384 *var;
3385 List *te_list = NIL;
3386
3387 vars = expandNSItemVars(pstate, nsitem, sublevels_up, location, &names);
3388
3389 /*
3390 * Require read access to the table. This is normally redundant with the
3391 * markVarForSelectPriv calls below, but not if the table has zero
3392 * columns. We need not do anything if the nsitem is for a join: its
3393 * component tables will have been marked ACL_SELECT when they were added
3394 * to the rangetable. (This step changes things only for the target
3395 * relation of UPDATE/DELETE, which cannot be under a join.)
3396 */
3397 if (rte->rtekind == RTE_RELATION)
3398 {
3399 Assert(perminfo != NULL);
3400 perminfo->requiredPerms |= ACL_SELECT;
3401 }
3402
3403 forboth(name, names, var, vars)
3404 {
3405 char *label = strVal(lfirst(name));
3406 Var *varnode = (Var *) lfirst(var);
3407 TargetEntry *te;
3408
3409 te = makeTargetEntry((Expr *) varnode,
3410 (AttrNumber) pstate->p_next_resno++,
3411 label,
3412 false);
3413 te_list = lappend(te_list, te);
3414
3416 {
3417 /* Require read access to each column */
3419 }
3420 }
3421
3422 Assert(name == NULL && var == NULL); /* lists not the same length? */
3423
3424 return te_list;
3425}
3426
3427/*
3428 * get_rte_attribute_name
3429 * Get an attribute name from a RangeTblEntry
3430 *
3431 * This is unlike get_attname() because we use aliases if available.
3432 * In particular, it will work on an RTE for a subselect or join, whereas
3433 * get_attname() only works on real relations.
3434 *
3435 * "*" is returned if the given attnum is InvalidAttrNumber --- this case
3436 * occurs when a Var represents a whole tuple of a relation.
3437 *
3438 * It is caller's responsibility to not call this on a dropped attribute.
3439 * (You will get some answer for such cases, but it might not be sensible.)
3440 */
3441char *
3443{
3445 return "*";
3446
3447 /*
3448 * If there is a user-written column alias, use it.
3449 */
3450 if (rte->alias &&
3451 attnum > 0 && attnum <= list_length(rte->alias->colnames))
3452 return strVal(list_nth(rte->alias->colnames, attnum - 1));
3453
3454 /*
3455 * If the RTE is a relation, go to the system catalogs not the
3456 * eref->colnames list. This is a little slower but it will give the
3457 * right answer if the column has been renamed since the eref list was
3458 * built (which can easily happen for rules).
3459 */
3460 if (rte->rtekind == RTE_RELATION)
3461 return get_attname(rte->relid, attnum, false);
3462
3463 /*
3464 * Otherwise use the column name from eref. There should always be one.
3465 */
3466 if (attnum > 0 && attnum <= list_length(rte->eref->colnames))
3467 return strVal(list_nth(rte->eref->colnames, attnum - 1));
3468
3469 /* else caller gave us a bogus attnum */
3470 elog(ERROR, "invalid attnum %d for rangetable entry %s",
3471 attnum, rte->eref->aliasname);
3472 return NULL; /* keep compiler quiet */
3473}
3474
3475/*
3476 * get_rte_attribute_is_dropped
3477 * Check whether attempted attribute ref is to a dropped column
3478 */
3479bool
3481{
3482 bool result;
3483
3484 switch (rte->rtekind)
3485 {
3486 case RTE_RELATION:
3487 {
3488 /*
3489 * Plain relation RTE --- get the attribute's catalog entry
3490 */
3491 HeapTuple tp;
3493
3495 ObjectIdGetDatum(rte->relid),
3497 if (!HeapTupleIsValid(tp)) /* shouldn't happen */
3498 elog(ERROR, "cache lookup failed for attribute %d of relation %u",
3499 attnum, rte->relid);
3501 result = att_tup->attisdropped;
3502 ReleaseSysCache(tp);
3503 }
3504 break;
3505 case RTE_SUBQUERY:
3506 case RTE_TABLEFUNC:
3507 case RTE_VALUES:
3508 case RTE_CTE:
3509 case RTE_GROUP:
3510 case RTE_GRAPH_TABLE:
3511
3512 /*
3513 * Subselect, Table Functions, Values, CTE, GROUP RTEs, Property
3514 * graph references never have dropped columns
3515 */
3516 result = false;
3517 break;
3519 {
3520 /* Check dropped-ness by testing for valid coltype */
3521 if (attnum <= 0 ||
3522 attnum > list_length(rte->coltypes))
3523 elog(ERROR, "invalid varattno %d", attnum);
3524 result = !OidIsValid((list_nth_oid(rte->coltypes, attnum - 1)));
3525 }
3526 break;
3527 case RTE_JOIN:
3528 {
3529 /*
3530 * A join RTE would not have dropped columns when constructed,
3531 * but one in a stored rule might contain columns that were
3532 * dropped from the underlying tables, if said columns are
3533 * nowhere explicitly referenced in the rule. This will be
3534 * signaled to us by a null pointer in the joinaliasvars list.
3535 */
3536 Var *aliasvar;
3537
3538 if (attnum <= 0 ||
3539 attnum > list_length(rte->joinaliasvars))
3540 elog(ERROR, "invalid varattno %d", attnum);
3541 aliasvar = (Var *) list_nth(rte->joinaliasvars, attnum - 1);
3542
3543 result = (aliasvar == NULL);
3544 }
3545 break;
3546 case RTE_FUNCTION:
3547 {
3548 /* Function RTE */
3549 ListCell *lc;
3550 int atts_done = 0;
3551
3552 /*
3553 * Dropped attributes are only possible with functions that
3554 * return named composite types. In such a case we have to
3555 * look up the result type to see if it currently has this
3556 * column dropped. So first, loop over the funcs until we
3557 * find the one that covers the requested column.
3558 */
3559 foreach(lc, rte->functions)
3560 {
3562
3563 if (attnum > atts_done &&
3565 {
3566 TupleDesc tupdesc;
3567
3568 /* If it has a coldeflist, it returns RECORD */
3569 if (rtfunc->funccolnames != NIL)
3570 return false; /* can't have any dropped columns */
3571
3572 tupdesc = get_expr_result_tupdesc(rtfunc->funcexpr,
3573 true);
3574 if (tupdesc)
3575 {
3576 /* Composite data type, e.g. a table's row type */
3578
3579 Assert(tupdesc);
3581 att = TupleDescCompactAttr(tupdesc,
3582 attnum - atts_done - 1);
3583 return att->attisdropped;
3584 }
3585 /* Otherwise, it can't have any dropped columns */
3586 return false;
3587 }
3588 atts_done += rtfunc->funccolcount;
3589 }
3590
3591 /* If we get here, must be looking for the ordinality column */
3592 if (rte->funcordinality && attnum == atts_done + 1)
3593 return false;
3594
3595 /* this probably can't happen ... */
3596 ereport(ERROR,
3598 errmsg("column %d of relation \"%s\" does not exist",
3599 attnum,
3600 rte->eref->aliasname)));
3601 result = false; /* keep compiler quiet */
3602 }
3603 break;
3604 case RTE_RESULT:
3605 /* this probably can't happen ... */
3606 ereport(ERROR,
3608 errmsg("column %d of relation \"%s\" does not exist",
3609 attnum,
3610 rte->eref->aliasname)));
3611 result = false; /* keep compiler quiet */
3612 break;
3613 default:
3614 elog(ERROR, "unrecognized RTE kind: %d", (int) rte->rtekind);
3615 result = false; /* keep compiler quiet */
3616 }
3617
3618 return result;
3619}
3620
3621/*
3622 * Given a targetlist and a resno, return the matching TargetEntry
3623 *
3624 * Returns NULL if resno is not present in list.
3625 *
3626 * Note: we need to search, rather than just indexing with list_nth(),
3627 * because not all tlists are sorted by resno.
3628 */
3631{
3632 ListCell *l;
3633
3634 foreach(l, tlist)
3635 {
3637
3638 if (tle->resno == resno)
3639 return tle;
3640 }
3641 return NULL;
3642}
3643
3644/*
3645 * Given a Query and rangetable index, return relation's RowMarkClause if any
3646 *
3647 * Returns NULL if relation is not selected FOR UPDATE/SHARE
3648 */
3651{
3652 ListCell *l;
3653
3654 foreach(l, qry->rowMarks)
3655 {
3656 RowMarkClause *rc = (RowMarkClause *) lfirst(l);
3657
3658 if (rc->rti == rtindex)
3659 return rc;
3660 }
3661 return NULL;
3662}
3663
3664/*
3665 * given relation and att name, return attnum of variable
3666 *
3667 * Returns InvalidAttrNumber if the attr doesn't exist (or is dropped).
3668 *
3669 * This should only be used if the relation is already
3670 * table_open()'ed. Use the cache version get_attnum()
3671 * for access to non-opened relations.
3672 */
3673int
3675{
3676 int i;
3677
3678 for (i = 0; i < RelationGetNumberOfAttributes(rd); i++)
3679 {
3681
3682 if (namestrcmp(&(att->attname), attname) == 0 && !att->attisdropped)
3683 return i + 1;
3684 }
3685
3686 if (sysColOK)
3687 {
3689 return i;
3690 }
3691
3692 /* on failure */
3693 return InvalidAttrNumber;
3694}
3695
3696/* specialAttNum()
3697 *
3698 * Check attribute name to see if it is "special", e.g. "xmin".
3699 * - thomas 2000-02-07
3700 *
3701 * Note: this only discovers whether the name could be a system attribute.
3702 * Caller needs to ensure that it really is an attribute of the rel.
3703 */
3704static int
3706{
3708
3710 if (sysatt != NULL)
3711 return sysatt->attnum;
3712 return InvalidAttrNumber;
3713}
3714
3715
3716/*
3717 * given attribute id, return name of that attribute
3718 *
3719 * This should only be used if the relation is already
3720 * table_open()'ed. Use the cache version get_atttype()
3721 * for access to non-opened relations.
3722 */
3723const NameData *
3725{
3726 if (attid <= 0)
3727 {
3729
3731 return &sysatt->attname;
3732 }
3733 if (attid > rd->rd_att->natts)
3734 elog(ERROR, "invalid attribute number %d", attid);
3735 return &TupleDescAttr(rd->rd_att, attid - 1)->attname;
3736}
3737
3738/*
3739 * given attribute id, return type of that attribute
3740 *
3741 * This should only be used if the relation is already
3742 * table_open()'ed. Use the cache version get_atttype()
3743 * for access to non-opened relations.
3744 */
3745Oid
3747{
3748 if (attid <= 0)
3749 {
3751
3753 return sysatt->atttypid;
3754 }
3755 if (attid > rd->rd_att->natts)
3756 elog(ERROR, "invalid attribute number %d", attid);
3757 return TupleDescAttr(rd->rd_att, attid - 1)->atttypid;
3758}
3759
3760/*
3761 * given attribute id, return collation of that attribute
3762 *
3763 * This should only be used if the relation is already table_open()'ed.
3764 */
3765Oid
3767{
3768 if (attid <= 0)
3769 {
3770 /* All system attributes are of noncollatable types. */
3771 return InvalidOid;
3772 }
3773 if (attid > rd->rd_att->natts)
3774 elog(ERROR, "invalid attribute number %d", attid);
3775 return TupleDescAttr(rd->rd_att, attid - 1)->attcollation;
3776}
3777
3778/*
3779 * Generate a suitable error about a missing RTE.
3780 *
3781 * Since this is a very common type of error, we work rather hard to
3782 * produce a helpful message.
3783 */
3784void
3786{
3788 const char *badAlias = NULL;
3789
3790 /*
3791 * Check to see if there are any potential matches in the query's
3792 * rangetable. (Note: cases involving a bad schema name in the RangeVar
3793 * will throw error immediately here. That seems OK.)
3794 */
3795 rte = searchRangeTableForRel(pstate, relation);
3796
3797 /*
3798 * If we found a match that has an alias and the alias is visible in the
3799 * namespace, then the problem is probably use of the relation's real name
3800 * instead of its alias, ie "SELECT foo.* FROM foo f". This mistake is
3801 * common enough to justify a specific hint.
3802 *
3803 * If we found a match that doesn't meet those criteria, assume the
3804 * problem is illegal use of a relation outside its scope, as in the
3805 * MySQL-ism "SELECT ... FROM a, b LEFT JOIN c ON (a.x = c.y)".
3806 */
3807 if (rte && rte->alias &&
3808 strcmp(rte->eref->aliasname, relation->relname) != 0)
3809 {
3811 int sublevels_up;
3812
3813 nsitem = refnameNamespaceItem(pstate, NULL, rte->eref->aliasname,
3814 relation->location,
3815 &sublevels_up);
3816 if (nsitem && nsitem->p_rte == rte)
3817 badAlias = rte->eref->aliasname;
3818 }
3819
3820 /* If it looks like the user forgot to use an alias, hint about that */
3821 if (badAlias)
3822 ereport(ERROR,
3824 errmsg("invalid reference to FROM-clause entry for table \"%s\"",
3825 relation->relname),
3826 errhint("Perhaps you meant to reference the table alias \"%s\".",
3827 badAlias),
3828 parser_errposition(pstate, relation->location)));
3829 /* Hint about case where we found an (inaccessible) exact match */
3830 else if (rte)
3831 ereport(ERROR,
3833 errmsg("invalid reference to FROM-clause entry for table \"%s\"",
3834 relation->relname),
3835 errdetail("There is an entry for table \"%s\", but it cannot be referenced from this part of the query.",
3836 rte->eref->aliasname),
3837 rte_visible_if_lateral(pstate, rte) ?
3838 errhint("To reference that table, you must mark this subquery with LATERAL.") : 0,
3839 parser_errposition(pstate, relation->location)));
3840 /* Else, we have nothing to offer but the bald statement of error */
3841 else
3842 ereport(ERROR,
3844 errmsg("missing FROM-clause entry for table \"%s\"",
3845 relation->relname),
3846 parser_errposition(pstate, relation->location)));
3847}
3848
3849/*
3850 * Generate a suitable error about a missing column.
3851 *
3852 * Since this is a very common type of error, we work rather hard to
3853 * produce a helpful message.
3854 */
3855void
3857 const char *relname, const char *colname, int location)
3858{
3860
3861 /*
3862 * Search the entire rtable looking for possible matches. If we find one,
3863 * emit a hint about it.
3864 */
3865 state = searchRangeTableForCol(pstate, relname, colname, location);
3866
3867 /*
3868 * If there are exact match(es), they must be inaccessible for some
3869 * reason.
3870 */
3871 if (state->rexact1)
3872 {
3873 /*
3874 * We don't try too hard when there's multiple inaccessible exact
3875 * matches, but at least be sure that we don't misleadingly suggest
3876 * that there's only one.
3877 */
3878 if (state->rexact2)
3879 ereport(ERROR,
3881 relname ?
3882 errmsg("column %s.%s does not exist", relname, colname) :
3883 errmsg("column \"%s\" does not exist", colname),
3884 errdetail("There are columns named \"%s\", but they are in tables that cannot be referenced from this part of the query.",
3885 colname),
3886 !relname ? errhint("Try using a table-qualified name.") : 0,
3887 parser_errposition(pstate, location)));
3888 /* Single exact match, so try to determine why it's inaccessible. */
3889 ereport(ERROR,
3891 relname ?
3892 errmsg("column %s.%s does not exist", relname, colname) :
3893 errmsg("column \"%s\" does not exist", colname),
3894 errdetail("There is a column named \"%s\" in table \"%s\", but it cannot be referenced from this part of the query.",
3895 colname, state->rexact1->eref->aliasname),
3896 rte_visible_if_lateral(pstate, state->rexact1) ?
3897 errhint("To reference that column, you must mark this subquery with LATERAL.") :
3898 (!relname && rte_visible_if_qualified(pstate, state->rexact1)) ?
3899 errhint("To reference that column, you must use a table-qualified name.") : 0,
3900 parser_errposition(pstate, location)));
3901 }
3902
3903 if (!state->rsecond)
3904 {
3905 /* If we found no match at all, we have little to report */
3906 if (!state->rfirst)
3907 ereport(ERROR,
3909 relname ?
3910 errmsg("column %s.%s does not exist", relname, colname) :
3911 errmsg("column \"%s\" does not exist", colname),
3912 parser_errposition(pstate, location)));
3913 /* Handle case where we have a single alternative spelling to offer */
3914 ereport(ERROR,
3916 relname ?
3917 errmsg("column %s.%s does not exist", relname, colname) :
3918 errmsg("column \"%s\" does not exist", colname),
3919 errhint("Perhaps you meant to reference the column \"%s.%s\".",
3920 state->rfirst->eref->aliasname,
3921 strVal(list_nth(state->rfirst->eref->colnames,
3922 state->first - 1))),
3923 parser_errposition(pstate, location)));
3924 }
3925 else
3926 {
3927 /* Handle case where there are two equally useful column hints */
3928 ereport(ERROR,
3930 relname ?
3931 errmsg("column %s.%s does not exist", relname, colname) :
3932 errmsg("column \"%s\" does not exist", colname),
3933 errhint("Perhaps you meant to reference the column \"%s.%s\" or the column \"%s.%s\".",
3934 state->rfirst->eref->aliasname,
3935 strVal(list_nth(state->rfirst->eref->colnames,
3936 state->first - 1)),
3937 state->rsecond->eref->aliasname,
3938 strVal(list_nth(state->rsecond->eref->colnames,
3939 state->second - 1))),
3940 parser_errposition(pstate, location)));
3941 }
3942}
3943
3944/*
3945 * Find ParseNamespaceItem for RTE, if it's visible at all.
3946 * We assume an RTE couldn't appear more than once in the namespace lists.
3947 */
3948static ParseNamespaceItem *
3950{
3951 while (pstate != NULL)
3952 {
3953 ListCell *l;
3954
3955 foreach(l, pstate->p_namespace)
3956 {
3958
3959 if (nsitem->p_rte == rte)
3960 return nsitem;
3961 }
3962 pstate = pstate->parentParseState;
3963 }
3964 return NULL;
3965}
3966
3967/*
3968 * Would this RTE be visible, if only the user had written LATERAL?
3969 *
3970 * This is a helper for deciding whether to issue a HINT about LATERAL.
3971 * As such, it doesn't need to be 100% accurate; the HINT could be useful
3972 * even if it's not quite right. Hence, we don't delve into fine points
3973 * about whether a found nsitem has the appropriate one of p_rel_visible or
3974 * p_cols_visible set.
3975 */
3976static bool
3978{
3980
3981 /* If LATERAL *is* active, we're clearly barking up the wrong tree */
3982 if (pstate->p_lateral_active)
3983 return false;
3984 nsitem = findNSItemForRTE(pstate, rte);
3985 if (nsitem)
3986 {
3987 /* Found it, report whether it's LATERAL-only */
3988 return nsitem->p_lateral_only && nsitem->p_lateral_ok;
3989 }
3990 return false;
3991}
3992
3993/*
3994 * Would columns in this RTE be visible if qualified?
3995 */
3996static bool
3998{
4000
4001 if (nsitem)
4002 {
4003 /* Found it, report whether it's relation-only */
4004 return nsitem->p_rel_visible && !nsitem->p_cols_visible;
4005 }
4006 return false;
4007}
4008
4009
4010/*
4011 * addRTEPermissionInfo
4012 * Creates RTEPermissionInfo for a given RTE and adds it into the
4013 * provided list.
4014 *
4015 * Returns the RTEPermissionInfo and sets rte->perminfoindex.
4016 */
4019{
4021
4022 Assert(OidIsValid(rte->relid));
4023 Assert(rte->perminfoindex == 0);
4024
4025 /* Nope, so make one and add to the list. */
4027 perminfo->relid = rte->relid;
4028 perminfo->inh = rte->inh;
4029 /* Other information is set by fetching the node as and where needed. */
4030
4031 *rteperminfos = lappend(*rteperminfos, perminfo);
4032
4033 /* Note its index (1-based!) */
4034 rte->perminfoindex = list_length(*rteperminfos);
4035
4036 return perminfo;
4037}
4038
4039/*
4040 * getRTEPermissionInfo
4041 * Find RTEPermissionInfo for a given relation in the provided list.
4042 *
4043 * This is a simple list_nth() operation, though it's good to have the
4044 * function for the various sanity checks.
4045 */
4048{
4050
4051 if (rte->perminfoindex == 0 ||
4052 rte->perminfoindex > list_length(rteperminfos))
4053 elog(ERROR, "invalid perminfoindex %u in RTE with relid %u",
4054 rte->perminfoindex, rte->relid);
4056 rte->perminfoindex - 1);
4057 if (perminfo->relid != rte->relid)
4058 elog(ERROR, "permission info at index %u (with relid=%u) does not match provided RTE (with relid=%u)",
4059 rte->perminfoindex, perminfo->relid, rte->relid);
4060
4061 return perminfo;
4062}
int16 AttrNumber
Definition attnum.h:21
#define MaxAttrNumber
Definition attnum.h:24
#define InvalidAttrNumber
Definition attnum.h:23
Bitmapset * bms_add_member(Bitmapset *a, int x)
Definition bitmapset.c:799
Bitmapset * bms_union(const Bitmapset *a, const Bitmapset *b)
Definition bitmapset.c:251
#define NameStr(name)
Definition c.h:837
#define Assert(condition)
Definition c.h:945
int32_t int32
Definition c.h:614
unsigned int Index
Definition c.h:700
#define OidIsValid(objectId)
Definition c.h:860
int errcode(int sqlerrcode)
Definition elog.c:874
int errhint(const char *fmt,...) pg_attribute_printf(1
int errdetail(const char *fmt,...) pg_attribute_printf(1
#define ERROR
Definition elog.h:39
#define elog(elevel,...)
Definition elog.h:226
#define ereport(elevel,...)
Definition elog.h:150
#define palloc_object(type)
Definition fe_memutils.h:74
#define palloc_array(type, count)
Definition fe_memutils.h:76
char * format_type_be(Oid type_oid)
char * get_func_result_name(Oid functionId)
Definition funcapi.c:1610
TupleDesc get_expr_result_tupdesc(Node *expr, bool noError)
Definition funcapi.c:553
TypeFuncClass get_expr_result_type(Node *expr, Oid *resultTypeId, TupleDesc *resultTupleDesc)
Definition funcapi.c:299
TypeFuncClass
Definition funcapi.h:147
@ TYPEFUNC_SCALAR
Definition funcapi.h:148
@ TYPEFUNC_COMPOSITE
Definition funcapi.h:149
@ TYPEFUNC_RECORD
Definition funcapi.h:151
@ TYPEFUNC_COMPOSITE_DOMAIN
Definition funcapi.h:150
const FormData_pg_attribute * SystemAttributeByName(const char *attname)
Definition heap.c:248
void CheckAttributeNamesTypes(TupleDesc tupdesc, char relkind, int flags)
Definition heap.c:452
const FormData_pg_attribute * SystemAttributeDefinition(AttrNumber attno)
Definition heap.c:236
#define CHKATYPE_ANYRECORD
Definition heap.h:24
#define HeapTupleIsValid(tuple)
Definition htup.h:78
#define MaxTupleAttributeNumber
static void * GETSTRUCT(const HeapTupleData *tuple)
#define MaxHeapAttributeNumber
#define funcname
int j
Definition isn.c:78
int i
Definition isn.c:77
List * lappend(List *list, void *datum)
Definition list.c:339
List * list_copy_tail(const List *oldlist, int nskip)
Definition list.c:1613
List * list_concat(List *list1, const List *list2)
Definition list.c:561
List * list_copy(const List *oldlist)
Definition list.c:1573
List * lappend_int(List *list, int datum)
Definition list.c:357
List * lappend_oid(List *list, Oid datum)
Definition list.c:375
List * list_truncate(List *list, int new_size)
Definition list.c:631
bool CheckRelationLockedByMe(Relation relation, LOCKMODE lockmode, bool orstronger)
Definition lmgr.c:334
int LOCKMODE
Definition lockdefs.h:26
#define NoLock
Definition lockdefs.h:34
#define AccessShareLock
Definition lockdefs.h:36
#define RowShareLock
Definition lockdefs.h:37
#define RowExclusiveLock
Definition lockdefs.h:38
char * get_attname(Oid relid, AttrNumber attnum, bool missing_ok)
Definition lsyscache.c:946
Oid get_relname_relid(const char *relname, Oid relnamespace)
Definition lsyscache.c:2105
Alias * makeAlias(const char *aliasname, List *colnames)
Definition makefuncs.c:438
Var * makeVar(int varno, AttrNumber varattno, Oid vartype, int32 vartypmod, Oid varcollid, Index varlevelsup)
Definition makefuncs.c:66
Const * makeNullConst(Oid consttype, int32 consttypmod, Oid constcollid)
Definition makefuncs.c:388
TargetEntry * makeTargetEntry(Expr *expr, AttrNumber resno, char *resname, bool resjunk)
Definition makefuncs.c:289
char * pstrdup(const char *in)
Definition mcxt.c:1781
void * palloc0(Size size)
Definition mcxt.c:1417
int namestrcmp(Name name, const char *str)
Definition name.c:247
Oid LookupNamespaceNoError(const char *nspname)
Definition namespace.c:3427
#define RangeVarGetRelid(relation, lockmode, missing_ok)
Definition namespace.h:98
Oid exprType(const Node *expr)
Definition nodeFuncs.c:42
int32 exprTypmod(const Node *expr)
Definition nodeFuncs.c:304
Oid exprCollation(const Node *expr)
Definition nodeFuncs.c:826
int exprLocation(const Node *expr)
Definition nodeFuncs.c:1392
#define IsA(nodeptr, _type_)
Definition nodes.h:164
#define copyObject(obj)
Definition nodes.h:232
#define nodeTag(nodeptr)
Definition nodes.h:139
@ CMD_SELECT
Definition nodes.h:275
#define makeNode(_type_)
Definition nodes.h:161
JoinType
Definition nodes.h:298
static char * errmsg
EphemeralNamedRelationMetadata get_visible_ENR(ParseState *pstate, const char *refname)
Definition parse_enr.c:26
bool name_matches_visible_ENR(ParseState *pstate, const char *refname)
Definition parse_enr.c:20
void cancel_parser_errposition_callback(ParseCallbackState *pcbstate)
Definition parse_node.c:156
int parser_errposition(ParseState *pstate, int location)
Definition parse_node.c:106
void setup_parser_errposition_callback(ParseCallbackState *pcbstate, ParseState *pstate, int location)
Definition parse_node.c:140
@ EXPR_KIND_MERGE_WHEN
Definition parse_node.h:58
@ EXPR_KIND_GENERATED_COLUMN
Definition parse_node.h:83
@ EXPR_KIND_CHECK_CONSTRAINT
Definition parse_node.h:68
static bool rte_visible_if_lateral(ParseState *pstate, RangeTblEntry *rte)
void markNullableIfNeeded(ParseState *pstate, Var *var)
Relation parserOpenTable(ParseState *pstate, const RangeVar *relation, LOCKMODE lockmode)
CommonTableExpr * scanNameSpaceForCTE(ParseState *pstate, const char *refname, Index *ctelevelsup)
static FuzzyAttrMatchState * searchRangeTableForCol(ParseState *pstate, const char *alias, const char *colname, int location)
void errorMissingColumn(ParseState *pstate, const char *relname, const char *colname, int location)
static int specialAttNum(const char *attname)
Node * colNameToVar(ParseState *pstate, const char *colname, bool localonly, int location)
static ParseNamespaceItem * buildNSItemFromTupleDesc(RangeTblEntry *rte, Index rtindex, RTEPermissionInfo *perminfo, TupleDesc tupdesc)
static ParseNamespaceItem * scanNameSpaceForRelid(ParseState *pstate, Oid relid, int location)
CommonTableExpr * GetCTEForRTE(ParseState *pstate, RangeTblEntry *rte, int rtelevelsup)
Oid attnumCollationId(Relation rd, int attid)
static RangeTblEntry * searchRangeTableForRel(ParseState *pstate, RangeVar *relation)
static void expandTupleDesc(TupleDesc tupdesc, Alias *eref, int count, int offset, int rtindex, int sublevels_up, VarReturningType returning_type, int location, bool include_dropped, List **colnames, List **colvars)
RTEPermissionInfo * getRTEPermissionInfo(List *rteperminfos, RangeTblEntry *rte)
ParseNamespaceItem * addRangeTableEntryForENR(ParseState *pstate, RangeVar *rv, bool inFromCl)
void markVarForSelectPriv(ParseState *pstate, Var *var)
ParseNamespaceItem * addRangeTableEntry(ParseState *pstate, RangeVar *relation, Alias *alias, bool inh, bool inFromCl)
RowMarkClause * get_parse_rowmark(Query *qry, Index rtindex)
char * get_rte_attribute_name(RangeTblEntry *rte, AttrNumber attnum)
static ParseNamespaceItem * scanNameSpaceForRefname(ParseState *pstate, const char *refname, int location)
void errorMissingRTE(ParseState *pstate, RangeVar *relation)
ParseNamespaceItem * addRangeTableEntryForGraphTable(ParseState *pstate, Oid graphid, GraphPattern *graph_pattern, List *columns, List *colnames, Alias *alias, bool lateral, bool inFromCl)
TargetEntry * get_tle_by_resno(List *tlist, AttrNumber resno)
static bool isFutureCTE(ParseState *pstate, const char *refname)
ParseNamespaceItem * addRangeTableEntryForTableFunc(ParseState *pstate, TableFunc *tf, Alias *alias, bool lateral, bool inFromCl)
List * expandNSItemVars(ParseState *pstate, ParseNamespaceItem *nsitem, int sublevels_up, int location, List **colnames)
bool get_rte_attribute_is_dropped(RangeTblEntry *rte, AttrNumber attnum)
static void updateFuzzyAttrMatchState(int fuzzy_rte_penalty, FuzzyAttrMatchState *fuzzystate, RangeTblEntry *rte, const char *actual, const char *match, int attnum)
static ParseNamespaceItem * buildNSItemFromLists(RangeTblEntry *rte, Index rtindex, List *coltypes, List *coltypmods, List *colcollations)
void addNSItemToQuery(ParseState *pstate, ParseNamespaceItem *nsitem, bool addToJoinList, bool addToRelNameSpace, bool addToVarNameSpace)
static int scanRTEForColumn(ParseState *pstate, RangeTblEntry *rte, Alias *eref, const char *colname, int location, int fuzzy_rte_penalty, FuzzyAttrMatchState *fuzzystate)
#define MAX_FUZZY_DISTANCE
ParseNamespaceItem * addRangeTableEntryForRelation(ParseState *pstate, Relation rel, LOCKMODE lockmode, Alias *alias, bool inh, bool inFromCl)
void expandRTE(RangeTblEntry *rte, int rtindex, int sublevels_up, VarReturningType returning_type, int location, bool include_dropped, List **colnames, List **colvars)
ParseNamespaceItem * GetNSItemByRangeTablePosn(ParseState *pstate, int varno, int sublevels_up)
bool scanNameSpaceForENR(ParseState *pstate, const char *refname)
Node * scanNSItemForColumn(ParseState *pstate, ParseNamespaceItem *nsitem, int sublevels_up, const char *colname, int location)
ParseNamespaceItem * addRangeTableEntryForFunction(ParseState *pstate, List *funcnames, List *funcexprs, List *coldeflists, RangeFunction *rangefunc, bool lateral, bool inFromCl)
bool isLockedRefname(ParseState *pstate, const char *refname)
Oid attnumTypeId(Relation rd, int attid)
RTEPermissionInfo * addRTEPermissionInfo(List **rteperminfos, RangeTblEntry *rte)
const NameData * attnumAttName(Relation rd, int attid)
ParseNamespaceItem * addRangeTableEntryForSubquery(ParseState *pstate, Query *subquery, Alias *alias, bool lateral, bool inFromCl)
static void expandRelation(Oid relid, Alias *eref, int rtindex, int sublevels_up, VarReturningType returning_type, int location, bool include_dropped, List **colnames, List **colvars)
ParseNamespaceItem * addRangeTableEntryForCTE(ParseState *pstate, CommonTableExpr *cte, Index levelsup, RangeVar *rv, bool inFromCl)
static bool rte_visible_if_qualified(ParseState *pstate, RangeTblEntry *rte)
ParseNamespaceItem * addRangeTableEntryForGroup(ParseState *pstate, List *groupClauses)
static void markRTEForSelectPriv(ParseState *pstate, int rtindex, AttrNumber col)
ParseNamespaceItem * addRangeTableEntryForJoin(ParseState *pstate, List *colnames, ParseNamespaceColumn *nscolumns, JoinType jointype, int nummergedcols, List *aliasvars, List *leftcols, List *rightcols, Alias *join_using_alias, Alias *alias, bool inFromCl)
List * expandNSItemAttrs(ParseState *pstate, ParseNamespaceItem *nsitem, int sublevels_up, bool require_col_privs, int location)
ParseNamespaceItem * refnameNamespaceItem(ParseState *pstate, const char *schemaname, const char *refname, int location, int *sublevels_up)
RangeTblEntry * GetRTEByRangeTablePosn(ParseState *pstate, int varno, int sublevels_up)
static void buildRelationAliases(TupleDesc tupdesc, Alias *alias, Alias *eref)
int attnameAttNum(Relation rd, const char *attname, bool sysColOK)
void checkNameSpaceConflicts(ParseState *pstate, List *namespace1, List *namespace2)
static char * chooseScalarFunctionAlias(Node *funcexpr, char *funcname, Alias *alias, int nfuncs)
static ParseNamespaceItem * findNSItemForRTE(ParseState *pstate, RangeTblEntry *rte)
static void check_lateral_ref_ok(ParseState *pstate, ParseNamespaceItem *nsitem, int location)
ParseNamespaceItem * addRangeTableEntryForValues(ParseState *pstate, List *exprs, List *coltypes, List *coltypmods, List *colcollations, Alias *alias, bool lateral, bool inFromCl)
void typenameTypeIdAndMod(ParseState *pstate, const TypeName *typeName, Oid *typeid_p, int32 *typmod_p)
Definition parse_type.c:310
Oid GetColumnDefCollation(ParseState *pstate, const ColumnDef *coldef, Oid typeOid)
Definition parse_type.c:540
@ RTE_JOIN
@ RTE_CTE
@ RTE_NAMEDTUPLESTORE
@ RTE_VALUES
@ RTE_SUBQUERY
@ RTE_RESULT
@ RTE_FUNCTION
@ RTE_TABLEFUNC
@ RTE_GROUP
@ RTE_GRAPH_TABLE
@ RTE_RELATION
#define ACL_SELECT
Definition parsenodes.h:77
#define rt_fetch(rangetable_index, rangetable)
Definition parsetree.h:31
FormData_pg_attribute
NameData attname
int16 attnum
FormData_pg_attribute * Form_pg_attribute
static char * label
NameData relname
Definition pg_class.h:40
#define lfirst(lc)
Definition pg_list.h:172
#define llast(l)
Definition pg_list.h:198
#define lfirst_node(type, lc)
Definition pg_list.h:176
static int list_length(const List *l)
Definition pg_list.h:152
#define NIL
Definition pg_list.h:68
#define forboth(cell1, list1, cell2, list2)
Definition pg_list.h:518
static Oid list_nth_oid(const List *list, int n)
Definition pg_list.h:321
#define lfirst_int(lc)
Definition pg_list.h:173
#define forthree(cell1, list1, cell2, list2, cell3, list3)
Definition pg_list.h:563
static void * list_nth(const List *list, int n)
Definition pg_list.h:299
#define linitial(l)
Definition pg_list.h:178
static ListCell * list_nth_cell(const List *list, int n)
Definition pg_list.h:277
static ListCell * list_head(const List *l)
Definition pg_list.h:128
#define list_nth_node(type, list, n)
Definition pg_list.h:327
static ListCell * lnext(const List *l, const ListCell *c)
Definition pg_list.h:343
#define lfirst_oid(lc)
Definition pg_list.h:174
#define ERRCODE_UNDEFINED_TABLE
Definition pgbench.c:79
#define snprintf
Definition port.h:260
static Datum Int16GetDatum(int16 X)
Definition postgres.h:172
static Datum ObjectIdGetDatum(Oid X)
Definition postgres.h:252
#define InvalidOid
unsigned int Oid
char * c
static int fb(int x)
@ TFT_XMLTABLE
Definition primnodes.h:101
VarReturningType
Definition primnodes.h:256
@ VAR_RETURNING_DEFAULT
Definition primnodes.h:257
TupleDesc ENRMetadataGetTupDesc(EphemeralNamedRelationMetadata enrmd)
@ ENR_NAMED_TUPLESTORE
#define RelationGetRelid(relation)
Definition rel.h:514
#define RelationGetNumberOfAttributes(relation)
Definition rel.h:520
#define RelationGetRelationName(relation)
Definition rel.h:548
void relation_close(Relation relation, LOCKMODE lockmode)
Definition relation.c:205
Relation relation_open(Oid relationId, LOCKMODE lockmode)
Definition relation.c:47
char * aliasname
Definition primnodes.h:52
List * colnames
Definition primnodes.h:53
char * colname
Definition parsenodes.h:767
TypeName * typeName
Definition parsenodes.h:768
ParseLoc location
Definition parsenodes.h:786
RangeTblEntry * rfirst
RangeTblEntry * rexact1
RangeTblEntry * rexact2
RangeTblEntry * rsecond
Definition pg_list.h:54
Definition nodes.h:135
RangeTblEntry * p_rte
Definition parse_node.h:311
ParseState * parentParseState
Definition parse_node.h:209
List * p_ctenamespace
Definition parse_node.h:221
ParseNamespaceItem * p_target_nsitem
Definition parse_node.h:225
ParseExprKind p_expr_kind
Definition parse_node.h:228
bool p_locked_from_parent
Definition parse_node.h:232
List * p_nullingrels
Definition parse_node.h:215
List * p_namespace
Definition parse_node.h:218
int p_next_resno
Definition parse_node.h:229
List * p_rteperminfos
Definition parse_node.h:212
List * p_joinexprs
Definition parse_node.h:214
List * p_future_ctes
Definition parse_node.h:222
List * p_joinlist
Definition parse_node.h:216
List * p_locking_clause
Definition parse_node.h:231
bool p_lateral_active
Definition parse_node.h:220
List * p_rtable
Definition parse_node.h:211
List * rowMarks
Definition parsenodes.h:234
List * returningList
Definition parsenodes.h:214
CmdType commandType
Definition parsenodes.h:121
List * targetList
Definition parsenodes.h:198
char * relname
Definition primnodes.h:84
Alias * alias
Definition primnodes.h:93
ParseLoc location
Definition primnodes.h:96
char * schemaname
Definition primnodes.h:81
TupleDesc rd_att
Definition rel.h:112
Form_pg_class rd_rel
Definition rel.h:111
Definition value.h:64
TableFuncType functype
Definition primnodes.h:115
Expr * expr
Definition primnodes.h:2265
AttrNumber resno
Definition primnodes.h:2267
bool setof
Definition parsenodes.h:287
ParseLoc location
Definition primnodes.h:311
AttrNumber varattno
Definition primnodes.h:275
int varno
Definition primnodes.h:270
VarReturningType varreturningtype
Definition primnodes.h:298
Index varlevelsup
Definition primnodes.h:295
Definition c.h:832
#define FirstLowInvalidHeapAttributeNumber
Definition sysattr.h:27
#define TableOidAttributeNumber
Definition sysattr.h:26
void ReleaseSysCache(HeapTuple tuple)
Definition syscache.c:264
HeapTuple SearchSysCache2(SysCacheIdentifier cacheId, Datum key1, Datum key2)
Definition syscache.c:230
#define SearchSysCacheExists2(cacheId, key1, key2)
Definition syscache.h:102
void table_close(Relation relation, LOCKMODE lockmode)
Definition table.c:126
Relation table_openrv_extended(const RangeVar *relation, LOCKMODE lockmode, bool missing_ok)
Definition table.c:103
TupleDesc CreateTemplateTupleDesc(int natts)
Definition tupdesc.c:165
void TupleDescFinalize(TupleDesc tupdesc)
Definition tupdesc.c:508
void TupleDescInitEntryCollation(TupleDesc desc, AttrNumber attributeNumber, Oid collationid)
Definition tupdesc.c:1081
void TupleDescInitEntry(TupleDesc desc, AttrNumber attributeNumber, const char *attributeName, Oid oidtypeid, int32 typmod, int attdim)
Definition tupdesc.c:897
void TupleDescCopyEntry(TupleDesc dst, AttrNumber dstAttno, TupleDesc src, AttrNumber srcAttno)
Definition tupdesc.c:469
static FormData_pg_attribute * TupleDescAttr(TupleDesc tupdesc, int i)
Definition tupdesc.h:178
static CompactAttribute * TupleDescCompactAttr(TupleDesc tupdesc, int i)
Definition tupdesc.h:193
String * makeString(char *str)
Definition value.c:63
#define strVal(v)
Definition value.h:82
int varstr_levenshtein_less_equal(const char *source, int slen, const char *target, int tlen, int ins_c, int del_c, int sub_c, int max_d, bool trusted)
const char * name