create or replace function f3() returns void
as $$
declare
   n numeric;
begin
   insert into t1 values( 1 );
   n :=  10  /  0 ;
   insert into t1 values( 2 );
exception
   when others then
      raise notice 'exception catched';
      insert into t1 values( 3 );
end;
$$ language plpgsql

postgres=# select * from t1;
 f
---
( 0  rows)

postgres=# begin;
BEGIN
postgres=# insert into t1 values( 0 );
INSERT  0   1 
postgres=# select f3();
NOTICE:  exception catched
 f3
----

( 1  запись)

postgres=# select * from t1;
 f
---
  0 
  3 
( 2  rows)

postgres=# rollback;
ROLLBACK
postgres=# select * from t1;
 f
---
( 0  rows)

create or replace procedure f3ora
is
   n number;
begin
   insert into t1 values( 1 );
   n :=  10  /  0 ;
   insert into t1 values( 2 );
exception
   when others then
      dbms_output.put_line('exception catched');
      insert into t1 values( 3 );
end;
/
$ set serveroutput on
$ select * from t1;

строки не выбраны

$ insert into t1 values ( 0 );

 1  строка создана.

$ execute f3ora;
exception catched

Процедура PL/SQL успешно завершена.

$ insert into t1 values( 4 );

 1  строка создана.

$ select * from t1;

         F
----------
          0 
          1 
          3 
          4 

$ rollback;

Откат завершен.

$ select * from t1;

строки не выбраны

postgres=# create or replace function f3() returns void
postgres-# as $$
postgres$# declare
postgres$#    n numeric;
postgres$# begin
postgres$#    insert into t1 values( 1 );
postgres$#    n :=  10  /  0 ;
postgres$#    insert into t1 values( 2 );
postgres$# end;
postgres$# $$ language plpgsql
postgres-# ;
CREATE FUNCTION
postgres=# select * from t1;
 f
---
( 0  rows)

postgres=# begin;
BEGIN
postgres=# insert into t1 values( 0 );
INSERT  0   1 
postgres=# select f3();
ERROR:  division by zero
КОНТЕКСТ:  PL/pgSQL function "f3" line  5  at assignment
postgres=# insert into t1 values( 3 );
ERROR:  current transaction is aborted, commands ignored until end of transaction block
postgres=# select * from t1;
ERROR:  current transaction is aborted, commands ignored until end of transaction block
postgres=# rollback;
ROLLBACK
postgres=# select * from t1;
 f
---
( 0  rows)

postgres=#

$ create or replace procedure f3
   2   is
   3      n number;
   4   begin
   5      insert into t1 values( 1 );
   6      n :=  10  /  0 ;
   7      insert into t1 values( 2 );
   8   end;
   9   /

Процедура создана.

$ select * from t1;

строки не выбраны

$ insert into t1 values( 0 );

 1  строка создана.

$ execute f3;
BEGIN f3; END;

*
ошибка в строке  1 :
ORA- 01476 : divisor is equal to zero
ORA- 06512 : at "F3", line  6 
ORA- 06512 : at line  1 


$ insert into t1 values( 3 );

 1  строка создана.

$ select * from t1;

         F
----------
          0 
          3 

$ rollback;

Откат завершен.

$ select * from t1;

строки не выбраны

create or replace function()
....
....
exception
when others then rollback;
end;

postgres=# begin;
BEGIN
postgres=# savepoint p1;
SAVEPOINT
postgres=# insert into t3 values( 1 );
INSERT  0   1 
postgres=# savepoint p1;
SAVEPOINT
postgres=# insert into t3 values( 2 );
INSERT  0   1 
postgres=# savepoint p1;
SAVEPOINT
postgres=# insert into t3 values( 2 );
ERROR:  duplicate key violates unique constraint "t3_pkey"
postgres=# savepoint p1;
ERROR:  current transaction is aborted, commands ignored until end of transaction block
postgres=# rollback to savepoint p1;
ROLLBACK
postgres=# select * from t3;
 f
---
  1 
  2 
( 2  rows)

postgres=# rollback;
ROLLBACK
postgres=# select * from t3;
 f
---
( 0  rows)