Postgres NICHT im Array

Ich verwende den nativen Array-Typ von Postgres und versuche, die Datensätze zu finden, deren ID nicht in den Empfänger-IDs des Arrays enthalten ist.

Ich kann finden, wo sie IN sind:

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

Das funktioniert aber nicht:

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

Was ist der richtige Weg, um auf diesen Zustand zu testen?

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

Sie können immer negieren WHERE (condition)mitWHERE NOT (condition)

Sie könnten es ein wenig umdrehen und sagen "3 ist nicht gleich allen IDs":

where 3 != all (recipient_ids)

Aus dem feinen Handbuch :

9.21.4. ALL (Array)

expression operator ALL (array expression)

Die rechte Seite ist ein Ausdruck in Klammern, der einen Array-Wert ergeben muss. Der Ausdruck auf der linken Seite wird ausgewertet und mit jedem Element des Arrays unter Verwendung des angegebenen Operators verglichen , der ein boolesches Ergebnis liefern muss. Das Ergebnis von ALList "true", wenn alle Vergleiche true ergeben (einschließlich des Falls, in dem das Array keine Elemente enthält). Das Ergebnis ist "falsch", wenn ein falsches Ergebnis gefunden wird.

Augmentierenden die ALL/ANYAntworten

Ich bevorzuge alle Lösungen, die das Ergebnis verwenden alloder verwenden any, um die zusätzlichen Hinweise zu schätzen (z. B. über NULL s). Als weitere Erweiterung finden Sie hier eine Möglichkeit, über diese Operatoren nachzudenken.

Sie können sie als Kurzschlussbetreiber betrachten :

• all(array)Durchläuft alle Werte im Array und vergleicht sie mit dem angegebenen Wert mit dem angegebenen Operator. Sobald ein Vergleich ergibt false, endet der Prozess mit false, andernfalls true. (Vergleichbar mit logischem Kurzschluss and.)
• any(array)Durchläuft alle Werte im Array und vergleicht sie mit dem angegebenen Wert mit dem angegebenen Operator. Sobald ein Vergleich ergibt true, endet der Prozess mit wahr, andernfalls falsch. (Vergleichbar mit logischem Kurzschluss or.)

Aus diesem Grund 3 <> any('{1,2,3}')wird nicht das gewünschte Ergebnis erzielt: Der Prozess vergleicht 3 mit 1 für die Ungleichung, was wahr ist, und gibt sofort wahr zurück. Ein einzelner Wert im Array, der sich von 3 unterscheidet, reicht aus, um die gesamte Bedingung zu erfüllen. Die 3 an der letzten Array-Position ist prob. nie benutzt.

3 <> all('{1,2,3}')Auf der anderen Seite wird sichergestellt, dass nicht alle Werte gleich 3 sind. Es werden alle Vergleiche durchlaufen, die true ergeben, bis zu einem Element, das false ergibt (in diesem Fall das letzte), um false als Gesamtergebnis zurückzugeben. Das will das OP.

not (3 = any(recipient_ids))?

ein Update:

ab postgres 9.3,

Sie können dies auch NOTzusammen mit dem @> Operator (enthält) verwenden .

IE.

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

Vorsicht vor NULL

Beide ALL:

(some_value != ALL(some_array))

Und ANY:

NOT (some_value = ANY(some_array))

Würde funktionieren, solange some_arraynicht null ist. Wenn das Array null sein könnte, müssen Sie es mit coalesce () berücksichtigen, z

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

Oder

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

Aus den Dokumenten :

Wenn der Array-Ausdruck ein Null-Array ergibt, ist das Ergebnis von ANY null

Wenn der Array-Ausdruck ein Null-Array ergibt, ist das Ergebnis von ALL null

Beachten Sie, dass die ANY / ALL-Operatoren nicht mit Array-Indizes funktionieren. Wenn Indizes im Auge behalten:

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

und das Negative:

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

Ein Index kann dann wie folgt erstellt werden:

CREATE INDEX recipient_ids_idx on tableName USING GIN(recipient_ids)