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. ВСЕ (массив)

expression operator ALL (array expression)

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

Дополнение ALL/ANYответов

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

Вы можете думать о них как об операторах короткого замыкания :

• all(array)перебирает все значения в массиве, сравнивая каждое с эталонным значением с помощью предоставленного оператора. Как только сравнение falseзавершается, процесс завершается ложью, в противном случае - истинным. (Сравнимо с логикой короткого замыкания and.)
• any(array)перебирает все значения в массиве, сравнивая каждое с эталонным значением с помощью предоставленного оператора. Как только сравнение trueзавершается, процесс завершается истинным, в противном случае - ложным. (Сравнимо с логикой короткого замыкания or.)

Вот почему 3 <> any('{1,2,3}')не дает желаемого результата: процесс сравнивает 3 с 1 на предмет неравенства, что верно, и немедленно возвращает истину. Единственного значения в массиве, отличного от 3, достаточно, чтобы выполнить все условие. Число 3 в последней позиции массива - это вероятность. никогда не использовался.

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

not (3 = any(recipient_ids))?

обновление:

начиная с postgres 9.3,

вы также можете использовать NOTв тандеме с @> оператором (contains), чтобы добиться этого.

IE.

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

Остерегайтесь NULL

Оба 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 будет NULL.

Если выражение массива дает нулевой массив, результатом ALL будет NULL

Обратите внимание, что операторы 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)