DROP RESOURCE POOL
Description
Deletes a resource pool.
The resource pool cannot be deleted if it is associated with a role.
Precautions
Only a user with the DROP permission on the current database can perform this operation.
Syntax
DROP RESOURCE POOL [ IF EXISTS ] pool_name;
Parameters
- IF EXISTS
Reports a notice instead of an error if a specified resource pool does not exist.
- pool_name
Specifies the name of a created resource pool.
Value range: a string. It must comply with the naming convention.
Examples
See Examples in section "CREATE RESOURCE POOL."