caicancai commented on PR #4005:
URL: https://github.com/apache/calcite/pull/4005#issuecomment-2442952423

   > What is this code that you are quoting here with GandivaTypes? My question 
is different: if I understand correctly, a predicate in Arrow cannot have an 
arbitrary shape, it _must_ be in CNF form. Does this code ensure the fact that 
the predicate is in CNF form, or could it emit predicates that Arrow may 
interpret as incorrect?
   > 
   > Note that there are Boolean expression that are exponentially larger in 
CNF form, so this is not a simple problem.
   
   Yes, my solution does not support CNF. If it does, it will be very 
complicated, but I will try it.


-- 
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]

Reply via email to