DROP RESOURCE POOL deletes a resource pool.
The resource pool cannot be deleted if it is associated with a role.
The user must have the DROP permission in order to delete a resource pool.
DROP RESOURCE POOL [ IF EXISTS ] pool_name;
Sends a notice instead of an error if the stored procedure does not exist.
Specifies the name of a created resource pool.
Value range: A string compliant with the identifier naming convention.
A resource pool can be deleted only when it is not associated with any users.
See Example in CREATE RESOURCE POOL.