Commita01a3d9

committed

Infer functional dependency past RelabelType

Vars hidden within a RelabelType would not be detected as compatiblewith some functional dependency. Repair by properly ignoring theRelabelType.Author: David RowleyReviewed-by: Tomas VondraDiscussion:https://postgr.es/m/CAKJS1f-y-UEy=rsBXynBOgiW1fKMr_LVoYSGL9QOc36mLEC-ww@mail.gmail.com

1 parent7cde649 commita01a3d9Copy full SHA for a01a3d9

File tree

-0

lines changed

-0

lines changed

Lines changed: 8 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -792,6 +792,14 @@ dependency_is_compatible_clause(Node clause, Index relid, AttrNumber attnum)`
`792`	`792`
`793`	`793`	`var= (varonleft) ?linitial(expr->args) :lsecond(expr->args);`
`794`	`794`
	`795`	`+/*`
	`796`	`+ * We may ignore any RelabelType node above the operand. (There won't`
	`797`	`+ * be more than one, since eval_const_expressions() has been applied`
	`798`	`+ * already.)`
	`799`	`+ */`
	`800`	`+if (IsA(var,RelabelType))`
	`801`	`+var= (Var) ((RelabelType)var)->arg;`
	`802`	`+`
`795`	`803`	`/* We only support plain Vars for now */`
`796`	`804`	`if (!IsA(var,Var))`
`797`	`805`	`return false;`

Comments

(0)