Declare
cursor miCursor
is
select e.numoficina, count(p.numpropiedad) as Propiedades
from propiedad p, empleado e
where p.numempleado = e.numempleado
group by e.numoficina;

vnumoficina oficina.numoficina%type;
vtotpropiedad oficina.TOTPROPIEDAD%type;

begin
open micursor;
loop
fetch micursor into vnumoficina, vtotpropiedad;
exit when micursor%notfound;
 update oficina
 set TOTPROPIEDAD = vtotpropiedad
 where numoficina = vnumoficina;
end loop;
close micursor;
End;