Cualquier variable local puede ser calificada por etiqueta de bloque
create table foo(a integer);
insert into foo values(10);
do $$
<<mylabel>>
declare
a int default 5;
r record;
begin
select foo.a into r
from foo
where foo.a = mylabel.a + 5;
raise notice '%', r.a;
end;
$$;
NOTICE: 10
DO
Por lo general, todas las posibles variables locales de conflicto tienen un prefijo; el prefijo común es _
.