Passer un tableau de tableaux en paramètre à une fonction

J'aime votre deuxième approche.

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 = '{}')
;

Suggestion d'améliorations mineures :

1. Sous-requêtes au lieu de CTE pour des performances légèrement meilleures.

2. Test simplifié pour un tableau vide :vérification par rapport au littéral '{}' au lieu d'un appel de fonction.

3. Un niveau de sous-requête de moins pour déballer le tableau.

Résultat :

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

Pour le lecteur occasionnel :encapsuler le tableau multidimensionnel d'entiers est nécessaire, puisque Postgres l'exige (en citant le message d'erreur) :

Un itinéraire alternatif serait avec un tableau de texte à 2 dimensions et désimbriquez-le en utilisant 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 = '{}');

Peut-être plus rapide, pouvez-vous tester ?

Dans les versions antérieures à 9.3, on utiliserait un CROSS JOIN explicite au lieu d'une jonction transversale latérale.