ALTER PROCEDURE $name$ [ ( [ { [ $routine_argmode$ ] [ $argname$ ] $argtype$ } [ , ... ] ] ) ]
    $action$ [ ... ] [ RESTRICT ]

ALTER PROCEDURE $name$ [ ( [ { [ $routine_argmode$ ] [ $argname$ ] $argtype$ } [ , ... ] ] ) ]
    RENAME TO $new_name$

ALTER PROCEDURE $name$ [ ( [ { [ $routine_argmode$ ] [ $argname$ ] $argtype$ } [ , ... ] ] ) ]
    OWNER TO { $new_owner$ | CURRENT_ROLE | CURRENT_USER | SESSION_USER }

ALTER PROCEDURE $name$ [ ( [ { [ $routine_argmode$ ] [ $argname$ ] $argtype$ } [ , ... ] ] ) ]
    SET SCHEMA $new_schema$

ALTER PROCEDURE $name$ [ ( [ { [ $routine_argmode$ ] [ $argname$ ] $argtype$ } [ , ... ] ] ) ]
    [ NO ] DEPENDS ON EXTENSION $extension_name$

where $action$ is:

[ EXTERNAL ] SECURITY INVOKER | [ EXTERNAL ] SECURITY DEFINER |
    SET $configuration_parameter$ { TO | = } { $value$ | DEFAULT } |
    SET $configuration_parameter$ FROM CURRENT |
    RESET $configuration_parameter$ |
    RESET ALL