Postgres PAS dans le tableau

J'utilise le type de tableau natif de Postgres et j'essaie de trouver les enregistrements où l'ID n'est pas dans les ID de destinataire du tableau.

Je peux trouver où ils sont DANS:

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

Mais cela ne fonctionne pas:

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

Quelle est la bonne façon de tester cette condition?

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

Vous pouvez toujours nier WHERE (condition)avecWHERE NOT (condition)

Vous pouvez le retourner un peu et dire "3 n'est pas égal à tous les ID":

where 3 != all (recipient_ids)

Du manuel fin :

9.21.4. TOUS (tableau)

expression operator ALL (array expression)

Le côté droit est une expression entre parenthèses, qui doit produire une valeur de tableau. L'expression de gauche est évaluée et comparée à chaque élément du tableau à l'aide de l' opérateur donné , qui doit donner un résultat booléen. Le résultat de ALLest "vrai" si toutes les comparaisons donnent vrai (y compris le cas où le tableau ne contient aucun élément). Le résultat est "faux" si un résultat faux est trouvé.

Augmenter les ALL/ANYréponses

Je préfère toutes les solutions qui utilisent allou anypour obtenir le résultat, en appréciant les notes supplémentaires (par exemple à propos des NULL ). Comme autre augmentation, voici une façon de penser à ces opérateurs.

Vous pouvez les considérer comme des opérateurs de court-circuit :

• all(array)parcourt toutes les valeurs du tableau, en les comparant à la valeur de référence à l'aide de l'opérateur fourni. Dès qu'une comparaison aboutit false, le processus se termine par false, sinon true. (Comparable à la logique de court-circuit and.)
• any(array)parcourt toutes les valeurs du tableau, en les comparant à la valeur de référence à l'aide de l'opérateur fourni. Dès qu'une comparaison aboutit true, le processus se termine par vrai, sinon faux. (Comparable à la logique de court-circuit or.)

C'est pourquoi 3 <> any('{1,2,3}')ne donne pas le résultat souhaité: le processus compare 3 à 1 pour l'inégalité, ce qui est vrai, et renvoie immédiatement vrai. Une seule valeur du tableau différente de 3 suffit pour que la condition entière soit vraie. Le 3 dans la dernière position du tableau est prob. jamais utilisé.

3 <> all('{1,2,3}')d'autre part s'assure que toutes les valeurs ne sont pas égales à 3. Il exécutera toutes les comparaisons qui donnent vrai jusqu'à un élément qui donne faux (le dernier dans ce cas), pour retourner faux comme résultat global. C'est ce que veut l'OP.

not (3 = any(recipient_ids))?

une mise à jour:

à partir de postgres 9.3,

vous pouvez également utiliser NOTen tandem avec l' @> opérateur (contains) pour y parvenir.

C'EST À DIRE.

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

Méfiez-vous des NULL

Les deux ALL:

(some_value != ALL(some_array))

Et ANY:

NOT (some_value = ANY(some_array))

Cela fonctionnerait tant que ce some_arrayn'est pas nul Si le tableau peut être nul, vous devez en tenir compte avec coalesce (), par exemple

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

Ou

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

À partir de la documentation :

Si l'expression de tableau donne un tableau nul, le résultat de ANY sera nul

Si l'expression de tableau donne un tableau nul, le résultat de ALL sera nul

Notez que les opérateurs ANY / ALL ne fonctionneront pas avec les index de tableau. Si vous pensez aux index:

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

et le négatif:

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

Un index peut alors être créé comme:

CREATE INDEX recipient_ids_idx on tableName USING GIN(recipient_ids)