Passaggio di un array di array come parametro a una funzione

Mi piace il tuo secondo approccio.

SELECT DISTINCT t.*
FROM   (VALUES (1, 4), (5, 1), (2, 3), (1, 4), (7, 3), (7, 4)) AS t(a, b)
JOIN   (
   SELECT arr[1]::int[] AS a1
         ,arr[2]::int[] AS b1
   FROM   (
      SELECT unnest(ARRAY['{"{1,2}", "{3,4}"}'
                         ,'{"{}"   , "{4,5,6}"}'
                         ,'{"{5}"  , "{}"}'    -- added element to 1st dimension
                         ])::text[] AS arr     -- 1d text array
      ) sub
   ) s ON (a = ANY(a1) OR a1 = '{}')
      AND (b = ANY(b1) OR b1 = '{}')
;

Suggerendo solo piccoli miglioramenti:

1. Sottoquery invece di CTE per prestazioni leggermente migliori.

2. Test semplificato per array vuoto:verifica rispetto al letterale '{}' invece della chiamata di funzione.

3. Un livello di sottoquery in meno per annullare il wrapping dell'array.

Risultato:

a | b
--+---
2 | 3
7 | 4
1 | 4
5 | 1

Per il lettore occasionale:è necessario avvolgere l'array multidimensionale di interi, poiché Postgres lo richiede (citando il messaggio di errore):

Un percorso alternativo sarebbe con un array di testo bidimensionale e disnidalo usando generate_subscripts() :

WITH a(arr) AS (SELECT '{{"{1,2}", "{3,4}"}
                        ,{"{}", "{4,5,6}"}
                        ,{"{5}", "{}"}}'::text[]   -- 2d text array
             )
SELECT DISTINCT t.*
FROM  (VALUES (1, 4), (5, 1), (2, 3), (1, 4), (7, 3), (7, 4)) AS t(a, b)
JOIN  (
   SELECT arr[i][1]::int[] AS a1
         ,arr[i][2]::int[] AS b1
   FROM   a, generate_subscripts(a.arr, 1) i       -- using implicit LATERAL
   ) s ON (t.a = ANY(s.a1) OR s.a1 = '{}')
      AND (t.b = ANY(s.b1) OR s.b1 = '{}');

Potrebbe essere più veloce, puoi provare?

Nelle versioni precedenti alla 9.3 si usava un esplicito CROSS JOIN invece della giunzione trasversale laterale.