Удаление хранимой процедуры

Определение оператора удаления хранимой процедуры.

Спецификация

<удаление хранимой процедуры>::=

Общие правила

  1. Право удалить хранимую процедуру имеет только ее владелец.

  2. Администратор БД имеет возможность удалить одновременно все объекты (в том числе и хранимые процедуры) некоторого пользователя с помощью команды DROP USER <имя пользователя> CASCADE.