Откуда появляется бесконечный цикл?

Question

[TemaKam]

функция триггера

CREATE OR REPLACE FUNCTION delete_abonent() RETURNS TRIGGER AS $$ BEGIN
IF OLD.bilet_number IN (SELECT bilet_number FROM all_lends) THEN
RAISE EXCEPTION 'У этого абонента есть выданные книги!'; RETURN NULL; END IF;
DELETE FROM all_users WHERE user_login = OLD.user_login;
EXECUTE format('DROP USER %I', OLD.user_login);
DELETE FROM all_abonents WHERE bilet_number = OLD.bilet_number;
END; $$ LANGUAGE plpgsql;

триггер

CREATE TRIGGER before_delete_abonent INSTEAD OF DELETE ON all_abonents
FOR EACH ROW EXECUTE PROCEDURE delete_abonent();

пытаюсь удалить запись, вызвав триггер, но почему-то пишет, что роли не существует, хотя она есть
как это понять?

P.S.
с условием drop user IF EXISTS функция уходит в бесконечный цикл
полагаю без условия при первом проходе удаляется, а потом вот эта ошибка
но откуда тут цикл?
P.P.S.
проблема не в удалении роли, а как раз в этом цикле, т.е. даже без команды удаления роли не работает

что-то с этим оператором не так, не пойму что

DELETE FROM all_abonents WHERE bilet_number = OLD.bilet_number;

Answer 1

[Melkij]

Давайте вы лучше расскажете почему вы считаете, что здесь рекурсии нет.

Вы делаете

INSTEAD OF DELETE ON all_abonents

и в этом триггере DELETE FROM all_abonents WHERE - почему же это не должно уходить в бесконечную рекурсию?

Чем налагать спорные ограничения на действия из триггеров, postgresql будет послушно выполнять рекурсивные вызовы до исчерпания стека, а предоставлять условия выхода из рекурсии - задача разработчика.

Comments

[TemaKam]

блин, вроде менял на удаление не из представления, а из таблицы, и была та же ошибка, но сейчас все нормально... спасибо

Answer 2

[galaxy]

Почему рекурсия, понятно - вы вызываете DELETE в INSTEAD OF триггере на DELETE.

Другой вопрос, что вы хотите сделать. Если вы при успешной проверке

IF OLD.bilet_number IN (SELECT bilet_number FROM all_lends)

хотите удалить этого абонента (и только его), то нужно было делать обычный не INSTEAD) триггер и вместо DELETE оператора в конце сделать RETURN OLD.

Comments

[TemaKam]

нет, наоборот не хочу его удалять при успешной проверке
а так это представление и там только instead of

[galaxy]

TemaKam,

наоборот не хочу его удалять при успешной проверке

я это и имел в виду (успешная, т.е. exception не кидается).

Видимо, вы удалять хотели из обычной таблицы, а не all_abonents.