elastic_pools_metrics
Creates, updates, deletes, gets or lists a elastic_pools_metrics
resource.
Overview
Name | elastic_pools_metrics |
Type | Resource |
Id | azure.sql.elastic_pools_metrics |
Fields
Name | Datatype | Description |
---|---|---|
name | object | A database metric name. |
endTime | string | The end time for the metric (ISO-8601 format). |
metricValues | array | The metric values for the specified time window and timestep. |
startTime | string | The start time for the metric (ISO-8601 format). |
timeGrain | string | The time step to be used to summarize the metric values. |
unit | string | The unit of the metric. |
Methods
Name | Accessible by | Required Params | Description |
---|---|---|---|
list | SELECT | $filter, elasticPoolName, resourceGroupName, serverName, subscriptionId | Returns elastic pool metrics. |
SELECT
examples
Returns elastic pool metrics.
SELECT
name,
endTime,
metricValues,
startTime,
timeGrain,
unit
FROM azure.sql.elastic_pools_metrics
WHERE $filter = '{{ $filter }}'
AND elasticPoolName = '{{ elasticPoolName }}'
AND resourceGroupName = '{{ resourceGroupName }}'
AND serverName = '{{ serverName }}'
AND subscriptionId = '{{ subscriptionId }}';