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

   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.


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