Infer functional dependency past RelabelType
Vars hidden within a RelabelType would not be detected as compatible with some functional dependency. Repair by properly ignoring the RelabelType. Author: David Rowley Reviewed-by: Tomas Vondra Discussion: https://postgr.es/m/CAKJS1f-y-UEy=rsBXynBOgiW1fKMr_LVoYSGL9QOc36mLEC-ww@mail.gmail.com
This commit is contained in:
parent
360fd1a7b2
commit
e9ef11ac8b
|
@ -792,6 +792,14 @@ dependency_is_compatible_clause(Node *clause, Index relid, AttrNumber *attnum)
|
|||
|
||||
var = (varonleft) ? linitial(expr->args) : lsecond(expr->args);
|
||||
|
||||
/*
|
||||
* We may ignore any RelabelType node above the operand. (There won't
|
||||
* be more than one, since eval_const_expressions() has been applied
|
||||
* already.)
|
||||
*/
|
||||
if (IsA(var, RelabelType))
|
||||
var = (Var *) ((RelabelType *) var)->arg;
|
||||
|
||||
/* We only support plain Vars for now */
|
||||
if (!IsA(var, Var))
|
||||
return false;
|
||||
|
|
Loading…
Reference in New Issue