[X-2048] Support view matcher with boolean binary operation

[zhuqi-lucas]

Summary

Support semantic equivalence matching for boolean binary expressions in the view matcher.

Problem

Previously, the view matcher treated active = false and NOT active as different predicates, causing semantically equivalent queries and materialized views to fail to match.

Solution

Normalize boolean binary expressions to a canonical form in insert_binary_expr:

Expression	Normalized Form
col = true	col
col != false	col
col = false	NOT col
col != true	NOT col

This ensures that predicates with equivalent semantics are stored in the same canonical form, enabling correct matching between MVs and queries.

Tests

Added 3 test cases:

• test_boolean_expression_normalization: bidirectional matching between active = false ↔ NOT active
• test_boolean_column_normalization: MV with active = false matches query with NOT active
• test_boolean_true_normalization: MV with enabled = true matches query with enabled

[Copilot]

Pull request overview

Adds boolean predicate canonicalization to the SPJ normal form predicate collection so that semantically equivalent boolean filters (e.g., col = false and NOT col) can match during view-based rewrite, and introduces tests validating the new matching behavior.

Changes:

• Canonicalize boolean = / != comparisons against true/false into col / NOT col residual predicates.
• Add rewrite tests to verify MV/query matching across active = false and NOT active, plus enabled = true and enabled.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.