[HACKERS] possible optimizations - pushing filter before aggregation

[Pavel Stehule]

Hi

In one application I see slow queries. There is often used views like

CREATE VIEW v AS SELECT min(a) M1, min(b) M2,  max(c) M3, x, y, z
  FROM t1 GROUP BY x, y, z;

and queries like

SELECT * FROM v
  WHERE M2 = const1
        AND M3 > const2

Isn't possible in this case push equivalence before aggregation?

Regards

Pavel