Postgres НЕ в масиві

Я використовую рідний тип масиву Postgres і намагаюся знайти записи, де ідентифікатора немає в ідентифікаторах одержувача масиву.

Я можу знайти, де вони знаходяться:

SELECT COUNT(*) FROM messages WHERE (3 = ANY (recipient_ids))

Але це не працює:

SELECT COUNT(*) FROM messages WHERE (3 != ANY (recipient_ids))
SELECT COUNT(*) FROM messages WHERE (3  = NOT ANY (recipient_ids))

Який правильний спосіб обстеження на цей стан?

SELECT COUNT(*) FROM "messages" WHERE NOT (3 = ANY (recipient_ids))

Ви завжди можете звести на немає WHERE (condition)зWHERE NOT (condition)

Ви можете трохи повернути його і сказати "3 не дорівнює всім ідентифікаторам":

where 3 != all (recipient_ids)

З чудового посібника :

9.21.4. ALL (масив)

expression operator ALL (array expression)

Права частина - це вираз у дужках, який повинен давати значення масиву. Лівий вираз обчислюється і порівнюється з кожним елементом масиву за допомогою заданого оператора , який повинен дати булевий результат. Результат ALL"true", якщо всі порівняння дають true (включаючи випадок, коли масив містить нуль елементів). Результат буде "помилковим", якщо буде знайдено якийсь помилковий результат.

Доповнення ALL/ANYвідповідей

Я віддаю перевагу всім рішенням, які використовують allабо anyдля досягнення результату, оцінюючи додаткові примітки (наприклад, про NULL ). Як чергове доповнення, ось спосіб подумати про цих операторів.

Ви можете думати про них як про операторів короткого замикання :

• all(array)проходить через усі значення в масиві, порівнюючи кожне з еталонним значенням, використовуючи наданий оператор. Як тільки порівняння дає результат false, процес закінчується помилковим, інакше істинним. (Порівняно з логічним замиканням and.)
• any(array)проходить через усі значення в масиві, порівнюючи кожне з еталонним значенням за допомогою наданого оператора. Як тільки порівняння дає результат true, процес закінчується істиною, інакше помилкою. (Порівняно з логічним замиканням or.)

Ось чому 3 <> any('{1,2,3}')не дає бажаного результату: процес порівнює 3 з 1 для нерівності, що відповідає дійсності, і негайно повертає істину. Одного значення в масиві, відмінному від 3, достатньо, щоб зробити усю умову істинною. Значення 3 в останньому положенні масиву - prob. ніколи не використовували.

3 <> all('{1,2,3}')з іншого боку, переконує, що всі значення не рівні 3. Він буде проходити всі порівняння, що дають true, аж до елемента, який дає false (останнє в даному випадку), щоб повернути false як загальний результат. Цього хоче ОП.

not (3 = any(recipient_ids))?

оновлення:

станом на postgres 9.3,

Ви також можете досягти цього NOTв парі з @> оператором (містить) .

IE.

SELECT COUNT(*) FROM "messages" WHERE NOT recipient_ids @> ARRAY[3];

Остерігайтеся НУЛЬ

Обидва ALL:

(some_value != ALL(some_array))

І ANY:

NOT (some_value = ANY(some_array))

Працював би, поки some_arrayне є нульовим. Якщо масив може бути нульовим, тоді ви повинні врахувати його за допомогою coalesce (), наприклад

(some_value != ALL(coalesce(some_array, array[]::int[])))

Або

NOT (some_value = ANY(coalesce(some_array, array[]::int[])))

З документів :

Якщо вираз масиву дає нульовий масив, результат ANY буде нульовим

Якщо вираз масиву дає нульовий масив, результат ALL буде нульовим

Зверніть увагу, що оператори ANY / ALL не працюватимуть з індексами масивів. Якщо маються на увазі індекси:

SELECT COUNT(*) FROM "messages" WHERE 3 && recipient_ids

і негативні:

SELECT COUNT(*) FROM "messages" WHERE NOT (3 && recipient_ids)

Потім можна створити індекс, як:

CREATE INDEX recipient_ids_idx on tableName USING GIN(recipient_ids)