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

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

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

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

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

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

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