Есть разница между "работает" и "выдаёт детерминированный результат". В данном примере ни разу не очевидно, какой именно результат можно ожидать в полях, которые не агрегированы и по которым не происходит группировки. Кто-то решит втулить туда значение из первой записи, попавшей в группировку, кто-то - из последней, кто-то вообще решит включать в результат только группы с идентичным значением этого поля... короче, вариантов море, и все неочевидны, и не определены стандартом. В нормально спроектированных системах в таких случаях принято выбирать наиболее очевидный вариант, т.е. выдавать ошибку. Можно, конечно, поступать иначе, но полагаться на такую систему - было бы как минимум стремно.