Во-первых, при возникновении исключения в IB транзакция не откатывается, откатывается только текущее выражение (в триггере - зименения, в процедуре - до предыдущего suspend, если было, иначе - все).
А вот "честно" сделать произвольный текст сообщения можно только в Firebird 1.5, для IB есть "хак" http://www.ibase.ru/devinfo/customex.htm
Впрочем, нужно это редко, обычно достаточно CREATE EXCEPTION с фиксированным текстом

Чем странное? Управление транзакциями в IB осуществляется только с клиента.

2mv >Все чушь до последней точки. Причем в наихудшей, декларативной форме.
По-моему, декларативная форма у вас. Но не это важно, а то, что я все-таки не с неба упал, и немного понимаю, что пишу. Причем проверить можно очень просто и примитивно, хотя бы в том же IBExpert, это удобно
1. create table TEST_EX (ID integer not null, NAME varchar(20), constraint PK_TEST_EX primary key (ID)) Примитивно, просто таблица из двух полей. Теперь эксперименты:
2. insert into test_ex (ID, NAME) values (1, 'A') Открылась транзакция, вставилась строка.
3. insert into test_ex (ID, NAME) values (1, 'B') В этой же транзакции. Естественно, exception. Но транзакция осталась, select * from SP_TEST_EX нормально выдает 1 строку, предыдущий инсерт. Если бы, как здесь утверждалось, транзакция откатывалась, этой строки бы не было. Конечно, можно ее откатить, тогда останется пустая таблица. Но сделаем commit.
Это к "при возникновении исключения в IB транзакция не откатывается, откатывается только текущее выражение"
4. create procedure SP_TEST_EX
returns(NAME varchar(20))
as
begin
insert into TEST_EX (ID, NAME)
values (3, 'C');
NAME = 'C';
suspend;
insert into TEST_EX (ID, NAME)
values (1, 'D'); /*exception*/
NAME = 'D';
suspend;
end
И, разумеется, простой select * from SP_TEST_EX выдающий нарушение первичного ключа (строка с ID=1 уже есть). Но при этом выдается результат первого suspend. И если сделать commit, а затем посмотреть на таблицу, там будет строка (3, 'C'). Это к " в процедуре - до предыдущего suspend"

Насчет остального: Динамически подменять текст исключения в системной таблице все-таки не есть хорошо, это от бедности. Поэтому я и называю это хаком. а в Firebird 1.5 есть EXCEPTION Ex_Overflow ’Overflow in ’ || TableName; что является честным способом.

Где чушь?