possible optimizations - pushing filter before aggregation

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