alamb opened a new issue #1406:
URL: https://github.com/apache/arrow-datafusion/issues/1406


   As pointed out by @xudong963 on #1376, there are several other rewrite rules 
we could add following the pattern in simplify:
   
   
   ```
   A AND !(A) --> false (if A is not nullable)
   ```
   Note that if `A` is null (or some expresson that could be null), then `A AND 
!(A)` is NULL
   
   
   Similarly,
   
   ```
   A * 0 --> 0 (if A is not nullable)
   ```
   
   The "is nullable" bit is somewhat tricky -- and to be honest I am not sure 
our current code handles all such cases correctly either. 
   
   
   


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