Como verificar se uma subconsulta tem exatamente um resultado distinto e um valor especificado de forma concisa?

Eu me vi escrevendo o seguinte:

select 'yes' 
where exists(select * from foo where val=1)
and not exists(select * from foo where val<>1);

e me perguntando se existe uma maneira mais concisa sem sacrificar muita legibilidade.

Eu encontrei uma maneira que estou postando como resposta, mas não estou totalmente feliz com isso e estaria muito interessado em alternativas

Nesse caso, valé único dentro foo- não há duplicatas

Conciso, rápido (especialmente com muitas linhas), o meu favorito em relação à legibilidade e também funcionaria com dupes:

SELECT count(*) = 1 AND min(val) = 1 FROM foo;

Retorna TRUE/ FALSE.. ou NULL- apenas no caso de exatamente uma linha com val IS NULL, porque count()nunca retorna NULLou nenhuma linha.

O segundo 1no exemplo é o mesmo que o primeiro, por causa do seu exemplo.

A consulta na pergunta falha com NULLvalores. Considere a demonstração simples:

CREATE TABLE foo (id int, val int);
INSERT INTO foo VALUES (1, 1),(2, NULL);

SELECT 'yes' 
WHERE      EXISTS(SELECT * FROM foo WHERE val =  1)
AND    NOT EXISTS(SELECT * FROM foo WHERE val <> 1);

IS DISTINCT FROMcorrigiria isso, mas ainda assim poderia falhar com duplicatas val- as quais você descartou neste caso.

Sua resposta funciona bem.
Retorna 'yes'/ sem linha.

Eu preferiria essa forma mais curta, no entanto. Não esqueça que o PostgreSQL (ao contrário do Oracle) tem um booleantipo apropriado .

SELECT array_agg(val) = array[1] FROM foo;

Retorna TRUE/ FALSE/ NULL.

Uma variação na resposta de @ Erwin. Não COUNT(), apenas MIN()e MAX(). Pode ser um pouco mais eficiente com tabela grande e (não no seu caso) duplicada val:

SELECT MIN(val) = 1 AND MAX(val) = 1 FROM foo;

select 'yes' where (select array_agg(val) from foo)=array[1];

Este retorna true, falseou um resultado vazio:

 select j.val is null 
 from foo left join foo as j on j.val <> foo.val 
 where foo.val = 1 limit 1;