Yes, because the order doesn't matter. The grouping results of GROUP BY (col0, col1) and GROUP BY (col1, col0) are the same without ORDER BY clause.