DROP LIBRARY [IF EXISTS] [database.]library

Удаляет указанную JavaScript-библиотеку. Можно указать необязательное имя базы данных; в противном случае используется текущая база данных.

Для выполнения этого оператора у пользователя должна быть привилегия ALTER ROUTINE. Библиотека, созданная пользователем с привилегией SYSTEM_USER, может быть удалена только пользователем с такой же привилегией.

Оператор DROP LIBRARY был добавлен в MySQL 9.2.0.

Более подробную информацию и примеры см. в разделе 27.3.8, «Использование JavaScript-библиотек».