Хранимые процедуры

НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.

meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

Определение:

Хранимая процедура — фрагмент кода, хранящийся в БД.

Достоинства и мотивация

Чем отличаются от хранимых функций.

Достоинства кода, хранящегося в БД:

• Обработка данных производится непосредственно на стороне БД.
• БД много знает про код — можно скомпилировать, построить оптимальный план исполнения.
• Дает возможность работать с недоступными данными с помощью заданного нами интерфейса.
• Более удобная работа с изменением данных — предварительные проверки, изменение сразу в нескольких местах.

Объявление

Синтаксис

create procedure имя(параметры)
[language {sql|...}]
[[not] deterministic]
{contains sql|reads sql data|modifies sql data|no sql}
[{returns null|called} on null input]
[sql security {definer|invoker}]
тело

• Параметры — список параметров через запятую. Объявление параметра: {in | out | inout} имя тип.
  • in (умолч.) — внешний мир не узнает об изменении параметра.
  • out — запись результата, но читать изначальное значение нельзя.
  • inout — запись результата, но читать изначальное значение можно.
• language — язык, на котором написала процедура. По умолчанию sql. Также поддерживаются Ada, C, COBOL, Fortran, MUMPS, Pascal, PLI.
• [not] deterministic — является ли процедура детерминированной. По умолчанию — нет.
• Отношение к данным. Соответственно: выполняет произвольные SQL операторы (умолч.), только читает, только изменяет, с данными не работает.
• Отношение к null-агрументам. Соответственно: процедура не вызовется и вернет null, процедура вызовется (умолч.).
• Управление доступом. Соответственно: запускается с правами того, кто создал процедуру, с правами того, кто процедуру вызвал (умолч.).
  • Можно позволить пользователь работать с недоступными для него данными, но через предоставленный нами интерфейс. Для этого делаем процедуру, работающую с этими данными, даем ей права definer и разрешаем выполнять пользователю.
  • Права definer наследуются при вызове других функций (иначе может не хватить прав при вызове процедуры, объявленной с правами invoker).
• Тело может быть как одним оператором (к примеру, select или insert), так и составным оператором. См. также разделители.

Примеры

create procedure s() 
language sql reads sql data
select * from Students;

create procedure t(id int, in id1 int, inout i int, out ans int)
language sql
deterministic
modifies sql data
called on null input
sql security invoker
begin
 -- some operators
end

Вызов

Синтаксис

exec имя(аргументы)

Доступ

Чтобы вызывать процедуру, нужно иметь привилегию execute. Может выполняться с разными правами доступа, указанными в объявлении.

Пример

exec ChangeName('Иванов', 'Петров');

Разделители

Рассмотрим пример. Подробнее про содержимое begin/end см. операторы.

create procedure foo()
begin
 declare x int;
 set x = 42;
end;

Жадный парсер прочитает до первого разделителя (а он по умолчанию ";") и получится синтаксическая ошибка, так как объявление функции уже закончилось и он встречает строку "set x = 42;".

create procedure foo()
begin
 declare x int;
--------------
 set x = 42;
end;

Выход — объявить на время другой разделитель. Так мы не сможем "разорвать" содержимое begin/end.

DELIMITER //
create procedure foo()
begin
 declare x int;
 set x = 42;
end;
//
DELIMITER ;

NB: Некоторые СУБД умеют парсить так, как нам хочется.

См. также

• Хранимые функции
• Хранимые процедуры и функции: операторы

Литература

• Дейт К. Введение в системы баз данных (главы 4 и 17)
• Уидом Д., Ульман Д. Основы реляционных баз данных (раздел 7.4)
• Gulutzan P., Pelzer T. SQL-99 complete, really
  • Chapter 25 – SQL-Invoked Routine
  • Chapter 26 – PSM: Not Just Persistent Stored Modules