То есть, при инсерте, проверяется, есть ли во второй таблице значения, перечисленные в соответствующем массиве, если нет - RAISE ERROR, при апдейте тоже, при удалении второй таблицы - не даст удалить, если на нее ссылаются - то есть реализован функционал FK (почти, без CASCADE). А Вы не, ссылаясь на определения атомарности(которое не привели), доказываете, что это невозможно???
проверка констрейнтов эти далеко не всё в рм
"A relation is in first normal form if and only if the domain of each attribute contains only atomic (indivisible) values, and the value of each attribute contains only a single value from that domain." Это одно из базовых определений. Вы учебник откроете или нет, наконец? ;)
Обсуждают сегодня