Votre WHERE
la clause sélectionne les lignes où empgroupid
est soit 500 soit 501, pas empid
s où tous les empgroupid
s forment le tableau [500, 501]
.
Vous pouvez utiliser un ARRAY_AGG
dans le HAVING
clause :
SELECT empid
FROM empgroupinfo
GROUP BY empid
-- ORDER BY clause here is important, as array equality checks elements position by position, not just 'same elements as'
HAVING ARRAY_AGG(DISTINCT empgroupid ORDER BY empgroupid) = ARRAY[500, 501]
Selon où le [500, 501]
tableau provient, vous ne savez peut-être pas s'il est lui-même trié ou non. Dans ce cas, un "contient ET est contenu par" (opérateurs @>
et <@
) devrait fonctionner aussi.
#= CREATE TABLE empgroupinfo (empid int, empgroupid int);
CREATE TABLE
Time: 10,765 ms
#= INSERT INTO empgroupinfo VALUES (1, 500), (1, 501), (2, 500), (2, 501), (2, 502);
INSERT 0 5
Time: 1,451 ms
#= SELECT empid
FROM empgroupinfo
GROUP BY empid
HAVING ARRAY_AGG(empgroupid ORDER BY empgroupid) = ARRAY[500, 501];
┌───────┐
│ empid │
├───────┤
│ 1 │
└───────┘
(1 row)
Time: 0,468 ms