Deleting a procedure v16
You can delete a procedure from the database using the
DROP PROCEDURE command.
name is the name of the procedure to drop.
The specification of the parameter list is required in EDB Postgres Advanced Server under certain circumstances such as in an overloaded procedure. Oracle requires that you always omit the parameter list.
RESTRICTisn't compatible with Oracle databases. See SQL reference for information on these options.
This example drops the procedure