На самом деле, если Ваш инвариант говорит, что объект никогда не должен быть пустым, это не имеет значения. Таким образом, это зависит от того, принимаете ли Вы, что obj является пустым.
Если Вы используете psql
клиент, можно просто выйти эти \d table_name
команда для наблюдения, какие таблицы ссылаются на данную таблицу. От связанной страницы документации:
\d[S+] [ pattern ]
Для каждого отношения (таблица, представление, осуществленное представление, индекс, последовательность, или внешняя таблица) или составной тип, соответствующий эти
pattern
, показывают все столбцы, их типы, табличная область (если не значение по умолчанию) и любые специальные атрибуты такой какNOT NULL
или значения по умолчанию. Связанные индексы, ограничения, правила и триггеры также показывают. Для внешних таблиц связанный внешний сервер показывают также.