---
updatedAt: 2025-11-12T01:12:41.000Z
agentTools:
  projectIndex: https://public.docs.kivera.io/llms.txt
---

# MICROSOFT.DBFORMARIADB

<Embed url="https://docs.microsoft.com/en-us/rest/api/azure/" title="Azure documentation" provider="docs.microsoft.com" href="https://docs.microsoft.com/en-us/rest/api/azure/" />

# Advisors\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.advisorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Advisors\_ListByServer

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# CheckNameAvailability\_Execute

```erlang
valid {
    input.Body.name == STRING
    input.Body.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# Configurations\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.value == STRING
    input.Body.properties.source == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.configurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Configurations\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.configurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Configurations\_ListByServer

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# CreateRecommendedActionSession

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.advisorName == STRING
    input.Qs.api-version == STRING
    input.Qs.databaseName == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Databases\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.charset == STRING
    input.Body.properties.collation == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Databases\_Delete

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Databases\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.databaseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Databases\_ListByServer

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# FirewallRules\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.startIpAddress == STRING
    input.Body.properties.endIpAddress == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.firewallRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# FirewallRules\_Delete

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.firewallRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# FirewallRules\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.firewallRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# FirewallRules\_ListByServer

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# LocationBasedPerformanceTier\_List

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.locationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# LocationBasedRecommendedActionSessionsOperationStatus\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.locationName == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# LocationBasedRecommendedActionSessionsResult\_List

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.locationName == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# LogFiles\_ListByServer

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Operations\_List

```erlang
valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# PrivateEndpointConnections\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.privateEndpoint.id == STRING
    input.Body.properties.privateLinkServiceConnectionState.status == STRING
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# PrivateEndpointConnections\_Delete

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# PrivateEndpointConnections\_Get

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# PrivateEndpointConnections\_ListByServer

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# PrivateEndpointConnections\_UpdateTags

```erlang
valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# PrivateLinkResources\_Get

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.groupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# PrivateLinkResources\_ListByServer

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# QueryTexts\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.queryId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# QueryTexts\_ListByServer

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.Qs.queryIds == ARRAY
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# RecommendedActions\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.advisorName == STRING
    input.ReqMap.recommendedActionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# RecommendedActions\_ListByServer

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.advisorName == STRING
    input.Qs.api-version == STRING
    input.Qs.sessionId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# RecoverableServers\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Replicas\_ListByServer

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ResetQueryPerformanceInsightData

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ServerBasedPerformanceTier\_List

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ServerKeys\_CreateOrUpdate

```erlang
enum_ServerKeyPropertiesServerKeyType := [ "AzureKeyVault" ]

valid {
    input.Body.properties.serverKeyType == enum_ServerKeyPropertiesServerKeyType[_]
    input.Body.properties.uri == STRING
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.keyName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ServerKeys\_Delete

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.keyName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ServerKeys\_Get

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.keyName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ServerKeys\_ListByInstance

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ServerParameters\_ListUpdateConfigurations

```erlang
valid {
    input.Body.value[_].properties.value == STRING
    input.Body.value[_].properties.source == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ServerSecurityAlertPolicies\_CreateOrUpdate

```erlang
enum_SecurityAlertPolicyNameParameter := [ "Default" ]
enum_SecurityAlertPolicyPropertiesState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.state == enum_SecurityAlertPolicyPropertiesState[_]
    input.Body.properties.disabledAlerts[_] == STRING
    input.Body.properties.emailAddresses[_] == STRING
    input.Body.properties.emailAccountAdmins == BOOLEAN
    input.Body.properties.storageEndpoint == STRING
    input.Body.properties.storageAccountAccessKey == STRING
    input.Body.properties.retentionDays == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ServerSecurityAlertPolicies\_Get

```erlang
enum_SecurityAlertPolicyNameParameter := [ "Default" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.securityAlertPolicyName == enum_SecurityAlertPolicyNameParameter[_]
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# ServerSecurityAlertPolicies\_ListByServer

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Servers\_Create

```erlang
enum_MinimalTlsVersion := [ "TLS1_0", "TLS1_1", "TLS1_2", "TLSEnforcementDisabled" ]
enum_PublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_ServerPropertiesForCreateCreateMode := [ "Default", "PointInTimeRestore", "GeoRestore", "Replica" ]
enum_ServerVersion := [ "10.2", "10.3" ]
enum_SkuTier := [ "Basic", "GeneralPurpose", "MemoryOptimized" ]
enum_SslEnforcement := [ "Enabled", "Disabled" ]
enum_StorageProfileGeoRedundantBackup := [ "Enabled", "Disabled" ]
enum_StorageProfileStorageAutogrow := [ "Enabled", "Disabled" ]

valid {
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.capacity == INTEGER
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.properties.version == enum_ServerVersion[_]
    input.Body.properties.sslEnforcement == enum_SslEnforcement[_]
    input.Body.properties.minimalTlsVersion == enum_MinimalTlsVersion[_]
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
    input.Body.properties.storageProfile.backupRetentionDays == INTEGER
    input.Body.properties.storageProfile.geoRedundantBackup == enum_StorageProfileGeoRedundantBackup[_]
    input.Body.properties.storageProfile.storageMB == INTEGER
    input.Body.properties.storageProfile.storageAutogrow == enum_StorageProfileStorageAutogrow[_]
    input.Body.properties.createMode == enum_ServerPropertiesForCreateCreateMode[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Servers\_Delete

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Servers\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Servers\_List

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}
```

# Servers\_ListByResourceGroup

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Servers\_Restart

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Servers\_Start

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Servers\_Stop

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Servers\_Update

```erlang
enum_MinimalTlsVersion := [ "TLS1_0", "TLS1_1", "TLS1_2", "TLSEnforcementDisabled" ]
enum_PublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_ServerVersion := [ "10.2", "10.3" ]
enum_SkuTier := [ "Basic", "GeneralPurpose", "MemoryOptimized" ]
enum_SslEnforcement := [ "Enabled", "Disabled" ]
enum_StorageProfileGeoRedundantBackup := [ "Enabled", "Disabled" ]
enum_StorageProfileStorageAutogrow := [ "Enabled", "Disabled" ]

valid {
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.capacity == INTEGER
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.properties.storageProfile.backupRetentionDays == INTEGER
    input.Body.properties.storageProfile.geoRedundantBackup == enum_StorageProfileGeoRedundantBackup[_]
    input.Body.properties.storageProfile.storageMB == INTEGER
    input.Body.properties.storageProfile.storageAutogrow == enum_StorageProfileStorageAutogrow[_]
    input.Body.properties.administratorLoginPassword == STRING
    input.Body.properties.version == enum_ServerVersion[_]
    input.Body.properties.sslEnforcement == enum_SslEnforcement[_]
    input.Body.properties.minimalTlsVersion == enum_MinimalTlsVersion[_]
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
    input.Body.properties.replicationRole == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# TopQueryStatistics\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.queryStatisticId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# TopQueryStatistics\_ListByServer

```erlang
valid {
    input.Body.properties.numberOfTopQueries == INTEGER
    input.Body.properties.aggregationFunction == STRING
    input.Body.properties.observedMetric == STRING
    input.Body.properties.observationStartTime == STRING
    input.Body.properties.observationEndTime == STRING
    input.Body.properties.aggregationWindow == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VirtualNetworkRules\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.virtualNetworkSubnetId == STRING
    input.Body.properties.ignoreMissingVnetServiceEndpoint == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.virtualNetworkRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VirtualNetworkRules\_Delete

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.virtualNetworkRuleName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VirtualNetworkRules\_Get

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.virtualNetworkRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# VirtualNetworkRules\_ListByServer

```erlang
valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# WaitStatistics\_Get

```erlang
valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.ReqMap.waitStatisticsId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# WaitStatistics\_ListByServer

```erlang
valid {
    input.Body.properties.observationStartTime == STRING
    input.Body.properties.observationEndTime == STRING
    input.Body.properties.aggregationWindow == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.serverName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```