Làm cách nào để kiểm tra xem một truy vấn con có chính xác một kết quả khác biệt và một giá trị được chỉ định chính xác không?

Tôi thấy mình viết như sau:

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

và tự hỏi nếu có một cách ngắn gọn hơn mà không phải hy sinh quá nhiều khả năng đọc.

Tôi đã tìm thấy một cách mà tôi đang đăng như một câu trả lời nhưng tôi không hoàn toàn hài lòng với nó và sẽ rất quan tâm đến các lựa chọn thay thế

Trong trường hợp valnày là duy nhất trong foo- không có bản sao

Súc tích, nhanh chóng (đặc biệt là có nhiều hàng), yêu thích của tôi liên quan đến khả năng đọc và cũng sẽ hoạt động với bản sao:

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

Trả về TRUE/ FALSE.. hoặc NULL- chỉ trong trường hợp chính xác một hàng với val IS NULL, bởi vì count()không bao giờ trả lại NULLhoặc không có hàng.

Thứ hai 1trong ví dụ chỉ xảy ra giống như lần đầu tiên, vì ví dụ của bạn.

Các truy vấn trong câu hỏi không thành công với NULLcác giá trị. Hãy xem xét bản demo đơn giản:

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 FROMsẽ khắc phục điều này, nhưng nó vẫn có thể thất bại với các bản sao trong val- mà bạn đã loại trừ trong trường hợp này.

Câu trả lời của bạn hoạt động tốt.
Trả về 'yes'/ không có hàng.

Tôi thích hình thức ngắn hơn này, mặc dù. Đừng quên rằng PostgreSQL (không giống như Oracle) có một booleanloại thích hợp .

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

Trả về TRUE/ FALSE/ NULL.

Một biến thể về câu trả lời của @ Erwin. Không COUNT(), chỉ có MIN()và MAX(). Nó có thể hiệu quả hơn một chút với bảng lớn và (không phải trong trường hợp của bạn) trùng lặp val:

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

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

Điều này trả về true, falsehoặc một kết quả trống:

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