Add functionality that handles HAVING clause validation

[jzzhaofb-zz]

#16253 Currently validator allows all HAVING clause (does not detect invalid HAVING logic implication). We should implement logic that eliminate cases with invalid HAVING clause.

[jainxrohit]

@jzzhaofb can you please add some examples here?

[jzzhaofb-zz]

@jainxrohit Handling HAVING clause will be similar to solving WHERE clause problem (since both deal with filter containment #16405 ). HAVING clause is simply filter containment problem with aggregation function:

View Definition: SELECT SUM(a) AS mv_a, b FROM base GROUP BY b HAVING SUM(a) > 10
is a valid candidate for
Base Query: SELECT SUM(a) as total_a, b FROM base GROUP BY b HAVING SUM(a) > 15