berkaysynnada commented on issue #12446:
URL: https://github.com/apache/datafusion/issues/12446#issuecomment-2363159349

   > input1: [[a, c]], constants: [a0]
   input2: [[a0, c]], constants: [a]
   The current code computes the output equivalence properties as
   result: [a, a0], constants: []
   However, this seems correct to me. I worked an example to show this 🤔
   
   Actually IMO the result should be [[a, a0, c], [a0, a, c]]. To do that, 
input orderings should be adjusted such that:
   input1: [[a, c]], constants: [a0] => [[a0, a, c], [a, a0, c], [a, c, a0]]
   input2: [[a0, c]], constants: [a] => [[a, a0, c], [a0, a, c], [a0, c, a]]
   
   I could show what is in my mind in a draft if you think my proposal can fix 
the problem.


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to