Да, не все так просто
Пока заткунулся на подзадаче к вашей задаче:
Есть таблица из двух полей K,V
Пара (K,V) уникальна в каждой записи
Набором назовем подмножество всех записей таблицы, имеющих одинаковое значение K.
Два набора равны, если все значения V первого набора содержатся во втором и наоборот.
Семейства наборов — множества всех равных наборов.

Например, для таблицы
K V
1 1
1 2
2 1
2 2
2 3
3 1
3 2

имеется два семейства наборов:
1. состоящее из наборов: (1,1),(1,2) и (3,1),(3,2)
2. из набора (2,1),(2,2),(2,3)
Требуется написать запрос, выдающий выборку из двух полей:
1. различные значения V в каждом семействе
2. количество наборов в семействе
Для данной таблицы:

1 2
2 2
1 1
2 1
3 1