Public
  1. Public

arrow

Public

Commits

David LiJonathan Keane
20ec0fda708
David Li authored and Jonathan Keane committed 0e03af446c3
ARROW-12659: [C++] Support is_valid as a guarantee

This rebases #10253 and fixes it up to also address ARROW-15312, including a regression test.

This refactors how inequalities, is_valid, and is_null are treated in expression simplification, and updates the guarantees that the Parquet/Datasets emits for row groups to properly reflect nullability.

Closes #12891 from lidavidm/arrow-12659

Lead-authored-by: David Li <li.davidm96@gmail.com>
Co-authored-by: Benjamin Kietzman <bengilgit@gmail.com>
Co-authored-by: Antoine Pitrou <pitrou@free.fr>
Signed-off-by: Jonathan Keane <jkeane@gmail.com>