Массив всех NULL в PostgreSQL

Я думаю, что получил самый короткий ответ, сохранив при этом конструкцию 4 = ALL (ARRAY[4,5]::integer[]);:

Живой тест: https://www.db-fiddle.com/f/6DuB1N4FdcvZdxKiHczu5y/1

select
y, true = ALL (select unnest(z) is null)
from x

1 = ALL(arr) IS NULL AND 2 = ALL(arr) IS NULL

1 и 2 могут быть любыми двумя разными числами.

Альтернативы и производительность

Есть несколько способов. Я собрал тестовый пример, чтобы увидеть, какой из них самый быстрый:

SELECT arr
     , 1 = ALL(arr) IS NULL AND 2 = ALL(arr) IS NULL      AS chk_simpl
     , TRUE = ALL (SELECT unnest(arr) IS NULL)            AS chk_michael
     , (SELECT bool_and(e IS NULL) FROM unnest(arr) e)    AS chk_bool_and
     , NOT EXISTS (SELECT unnest(arr) EXCEPT SELECT null) AS chk_exist
FROM  (
   VALUES
     ('{1,2,NULL,3}'::int[])
   , ('{1,1,1}')
   , ('{2,2,2}')
   , ('{NULL,NULL,NULL}'::int[])
   , ('{}'::int[])
   ) t1(arr);

Второй — из принятого в настоящее время ответа @michael. Столбцы расположены в порядке выполнения выражения. Сначала самый быстрый. Предложенное мной выражение на самом деле во много раз быстрее, чем остальные. Отсюда мой ответ.

Обратите внимание на разные результаты для ввода пустого массива. (Какой ответ вы ожидаете для пустого массива?)

db‹›fiddle здесь — с демонстрацией и тестом производительности< br /> _{Старый sqlfiddle}

Как это работает?

Выражение 1 = ALL(arr) дает

TRUE .. если все элементы 1
FALSE .. если какой-либо элемент <> 1 (любой элемент, который IS NOT NULL)
NULL .. если хотя бы один элемент IS NULL и ни один элемент не <> 1

Итак, если мы знаем один элемент, который не может отображаться, например -1, мы можем упростить его до:

-1 = ALL(arr) IS NULL

Если может появиться любое число, проверьте наличие двух различных чисел. Результат может быть только NULL для обоих, если массив не содержит ничего, кроме NULL. Вуаля.

Я не то чтобы горжусь этим, но:

=> select not exists (
    select 1
    from (select all unnest(ARRAY[NULL, NULL, NULL]) is null as x) as dt
    where x = 'f'
);
 ?column? 
----------
 t
(1 row)

=> select not exists (
    select 1
    from (select all unnest(ARRAY[NULL, 11, NULL]) is null as x) as dt
    where x = 'f'
);
 ?column? 
----------
 f
(1 row)

Да, существует множество подзапросов, но, возможно, вы сможете заставить их работать или упростить до чего-то, что будет работать.

Другой способ сделать код короче, использовать КАЖДУЮ агрегатную функцию.

create table x
(
y serial,
z int[]
);

insert into x(z) values(array[null,null,null]::int[])
insert into x(z) values(array[null,7,null]::int[])
insert into x(z) values(array[null,3,4]::int[])
insert into x(z) values(array[null,null,null,null]::int[])


with a as
(
    select y, unnest(z) as b
    from x
)
select y, every(b is null)
from a 
group by y
order by y

Выход:

 y | every
---+-------
 1 | t
 2 | f
 3 | f
 4 | t
(4 rows)

Другой подход, генерирующий значения NULL для сравнения:

select  y, 
    z = 
    (select array_agg(null::int) 
     from generate_series(1, array_upper(z, 1) )) as IsAllNulls
from    x

В соответствии с логикой приведенного выше кода это возвращает true:

SELECT ARRAY[NULL,NULL]::int[] = ARRAY[NULL,NULL]::int[]

Другой подход: используйте array_fill.

select  y, z = array_fill(null::int, array[ array_upper(z, 1) ] )
from    x

Предостережение: конструкция массива и array_fill не симметричны, проверьте их:

select array[5]

-- array[5] here has different meaning from array[5] above
select array_fill(null::int, array[5]) 

Просто ради разнообразия вариантов я использовал для этого:

select array_remove(ARRAY[null::int, null, null], null) = '{}'

Этот метод также вернет true, если в массиве вообще нет значений, что полезно, когда вы предпочитаете хранить нулевое значение вместо пустого массива или массива со всеми нулевыми значениями, например, в триггере при обновлении:

NEW.arrvalue := CASE WHEN array_remove(NEW.arrvalue, null) <> '{}' THEN NEW.arrvalue END;