Як перевірити, чи має підзапит чітко один чіткий результат та вказане значення?

Я виявив, що пишу таке:

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

і цікаво, чи існує більш стислий спосіб без шкоди для занадто великої читабельності.

Я знайшов один із способів, який я публікую як відповідь, але я не зовсім задоволений цим і дуже зацікавлений у альтернативах

У цьому випадку valце унікально всередині foo- копій немає

Лаконічний, швидкий (особливо з багатьма рядами), мій фаворит, що стосується читабельності, а також працював би з дупами:

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

Повертає TRUE/ FALSE.. або NULL- лише у випадку, якщо рівно один рядок з val IS NULL, тому що count()ніколи не повертає NULLчи не містить рядка.

Другий 1у прикладі просто трапляється таким же, як і перший, через ваш приклад.

Запит у питанні не відповідає NULLзначень. Розглянемо просту демонстрацію:

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 FROMце виправить це, але воно все-таки може вийти з ладу в дублікатах, valякі ви виключили для цього випадку.

Ваша відповідь справно працює.
Повернення 'yes'/ немає рядка

Я хотів би віддати перевагу цій коротшій формі. Не забувайте, що PostgreSQL (на відміну від Oracle) має належний booleanтип .

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

Повернення TRUE/ FALSE/ NULL.

Варіація відповіді на Ервіна. Ні COUNT()взагалі, тільки MIN()і MAX(). Це може бути трохи ефективніше з великим столом і (не у вашому випадку) дублікатом val:

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

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

Це один повертається true, falseабо порожній результат:

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