Массив в Postgres - это тип данных столбца, который позволяет хранить однотипные данные. Например. Все члены массива должны иметь одинаковые типы данных и длину Простое спользование массива не обязательно нарушает первую форму, потому что массивы могут использоваться не для отношений. Они могут использоваться способами, которые нарушают первую нормальную форму, но простое использование массива не обязательно нарушает требование атомарности первой нормальной формы, потому что массивы существенно отличаются от отношений. В отличии от отношения все типы данных в массиве должны быть одинаковые.
Например мы можем хранить матрицы для матричной арифметике. Или данные, которые существуют как что-то атомарное, например значение значение векторов и тд.