Как проверить отношения аргументов функции?

У меня есть несколько функций postgres, которые принимают ряд аргументов для записи в несколько таблиц.

fn_trade
(
  _product_id BIGINT[],
  _user_id BIGINT[],
  _location_id BIGINT
)

Поскольку аргументы поступают от клиента или сервера Node.js, мне нужно проверить, что данные существуют (обрабатываются ограничениями FK, но не в случае BIGINT []), и мне нужно подтвердить, что отношения аргументов действительны. . Например, я должен проверить, что user и product существуют для location, а product принадлежит к user. Сложность этой проверки возрастает с увеличением количества аргументов. Я могу привести более 10 аргументов, и проверка их взаимосвязи будет сложной и дорогостоящей.

Я не знаю, упускаю ли я важную картину, пытаясь проверить аргументы функции. Это правильный подход? Есть ли лучший способ быть уверенным в взаимосвязях аргументов, чтобы заполненные данные всегда были ожидаемыми?

Возможный подход может заключаться в том, чтобы предсказать результат и проверить, записан ли результат после завершения записи (иначе откат)?

Postgres 9.6+

Обновлено: добавлен пример, чтобы прояснить вопрос

Таблицы:

location (id, name) -- e.g. 1, 'Canada'

user (id, name, location_id) -- e.g. 1, Jane, 1

product (id, name, user_id, location_id) -- e.g. 1, 'skates', 1, 1

trade (id, user_id[], product_id[]) -- e.g. 1, [1,2], [1,2,3,4]

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

Например, я получаю:

fn_trade
(
  [1,2,3,4],
  [1,2],
  1
)

Таким образом, торговля происходит для пользователей [1,2] на продукты [1,2,3,4] в Канаде. У пользователей могут быть элементы в разных местах, и пользователи могут перемещаться в разные места.

При вставке user_id[] и product_id[] в trade проверка отдельных идентификаторов не выполняется автоматически. Я не знаю, можно ли установить значения в массиве как FK, поэтому проверка здесь выполняется вручную. Мне нужно гарантировать, что все идентификаторы [1,2,3,4] существуют для продукта.

А как насчет отношений? Мне нужно проверить, что идентификаторы также принадлежат пользователям [1,2].

Принадлежать пользователю недостаточно. Товары должны находиться в том же месте, где происходит торговля.

Что касается пользователей, мне нужно знать, можно ли им торговать. Если они живут в разных местах (Канада против Тайваня), то торговля невозможна.

Поскольку данные клиента зависят от БД, а данные, передаваемые в fn_trade, могут быть ненадежными, как следует проверить отношение, чтобы доказать, что данные верны для наших пользователей, продуктов и отношений местоположения?