не коммутативно).
ли способ проверить, эквивалентны ли два (нетривиальных) выбора?
-- редактировать --
Первоначально я надеялся на формальную эквивалентность между двумя вариантами, но ответы вдоказав-SQL-запрос-эквивалентности Останови меня.
Для моей реальной потребности я могу просто проверить, совпадают ли (фактические) результаты двух выборов.