Solução:
select A.GRUPO
from TABELA A join TABELA B on B.OBJETO = A.OBJETO
where B.GRUPO = 1
group by A.GRUPO
having count(A.OBJETO) = (select count(OBJETO) from TABELA where GRUPO = 1)
and count(A.OBJETO) = (select count(OBJETO) from TABELA where GRUPO = A.GRUPO)
Esta query funciona e me parece bastante simples.
Explicando a linha de raciocínio:
Com a primeira parte da query (do select até o where) eu retorno os registros que possuem ao menos um dos objetos do grupo 1.
Para melhor visualização, veja esta primeira parte da query ligeiramente modificada:
select A.ID, A.GRUPO, A.OBJETO
from TABELA A join TABELA B on B.OBJETO = A.OBJETO
where B.GRUPO = 1
O resultado desta query seria:
-------------------
ID | GRUPO | OBJETO
---|-------|-------
1 | 1 | 1
2 | 1 | 2
| |
3 | 2 | 1
4 | 2 | 2
| |
5 | 3 | 1
6 | 3 | 2
-7 | 3 | 3
| |
8 | 4 | 1
-9 | 4 | 3
| |
10 | 5 | 1
Os registros assinalados (-) ficaram de fora do resultado, dado que seu objeto não corresponde a nenhum dos objetos do grupo 1.
Então veja que até agora eu retorno somente os grupos que possuam algum objeto do grupo 1, e também o seu respectivo objeto.
Vamos agora visualizar o agrupamento disso:
select A.GRUPO, count(A.OBJETO)
from TABELA A join TABELA B on B.OBJETO = A.OBJETO
where B.GRUPO = 1
group by A.GRUPO
Resultado:
---------------------
GRUPO | COUNT(OBJETO)
------|--------------
1 | 2
2 | 2
3 | 2
4 | 1
5 | 1
Agora eu vou filtrar para manter somente os grupos cuja totalização de objetos seja igual ao total de objetos do grupo 1, adicionando a cláusula having:
select A.GRUPO, count(A.OBJETO)
from TABELA A join TABELA B on B.OBJETO = A.OBJETO
where B.GRUPO = 1
group by A.GRUPO
-- novo:
having count(A.OBJETO) = (select count(OBJETO) from TABELA where GRUPO = 1)
Resultado
---------------------
GRUPO | COUNT(OBJETO)
------|--------------
1 | 2
2 | 2
3 | 2
O grupo 3 tem que sair porque embora o count dele tenha ficado em 2 (porque ele de fato possui dois objetos coincidindo com os objetos do grupo 1), na verdade ele tem 3 objetos na base (um deles não coincide com nenhum objeto do grupo 1 e por isso ficou de fora do count).
Então eu adiciono mais uma condição no having, determinando que sejam mantidos apenas os grupos cujo total de objetos na base seja igual ao total de objetos do grupo 1:
select A.GRUPO, count(A.OBJETO)
from TABELA A join TABELA B on B.OBJETO = A.OBJETO
where B.GRUPO = 1
group by A.GRUPO
having count(A.OBJETO) = (select count(OBJETO) from TABELA where GRUPO = 1)
-- novo:
and count(A.OBJETO) = (select count(OBJETO) from TABELA where GRUPO = A.GRUPO)
Por fim, eu removo o count do select porque não desejo ele na visualização do resultado, e chego à query que foi apresentada no começo da resposta.
Veja no SQL Fiddle.