For AI agents: visit https://public.docs.kivera.io/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.
enum_ResultFormatString := [ "JSON", "CSV" ]
valid {
input.Body.ClientToken == STRING
input.Body.ClusterIdentifier == STRING
input.Body.Database == STRING
input.Body.DbUser == STRING
input.Body.ResultFormat == enum_ResultFormatString[_]
input.Body.SecretArn == STRING
input.Body.SessionId == STRING
input.Body.SessionKeepAliveSeconds == INTEGER
input.Body.Sqls[_] == STRING
input.Body.StatementName == STRING
input.Body.WithEvent == BOOLEAN
input.Body.WorkgroupName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.Id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.Id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ClusterIdentifier == STRING
input.Body.ConnectedDatabase == STRING
input.Body.Database == STRING
input.Body.DbUser == STRING
input.Body.MaxResults == INTEGER
input.Body.NextToken == STRING
input.Body.Schema == STRING
input.Body.SecretArn == STRING
input.Body.Table == STRING
input.Body.WorkgroupName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ResultFormatString := [ "JSON", "CSV" ]
valid {
input.Body.ClientToken == STRING
input.Body.ClusterIdentifier == STRING
input.Body.Database == STRING
input.Body.DbUser == STRING
input.Body.Parameters[_].name == STRING
input.Body.Parameters[_].value == STRING
input.Body.ResultFormat == enum_ResultFormatString[_]
input.Body.SecretArn == STRING
input.Body.SessionId == STRING
input.Body.SessionKeepAliveSeconds == INTEGER
input.Body.Sql == STRING
input.Body.StatementName == STRING
input.Body.WithEvent == BOOLEAN
input.Body.WorkgroupName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.Id == STRING
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.Id == STRING
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ClusterIdentifier == STRING
input.Body.Database == STRING
input.Body.DbUser == STRING
input.Body.MaxResults == INTEGER
input.Body.NextToken == STRING
input.Body.SecretArn == STRING
input.Body.WorkgroupName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ClusterIdentifier == STRING
input.Body.ConnectedDatabase == STRING
input.Body.Database == STRING
input.Body.DbUser == STRING
input.Body.MaxResults == INTEGER
input.Body.NextToken == STRING
input.Body.SchemaPattern == STRING
input.Body.SecretArn == STRING
input.Body.WorkgroupName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_StatusString := [ "SUBMITTED", "PICKED", "STARTED", "FINISHED", "ABORTED", "FAILED", "ALL" ]
valid {
input.Body.ClusterIdentifier == STRING
input.Body.Database == STRING
input.Body.MaxResults == INTEGER
input.Body.NextToken == STRING
input.Body.RoleLevel == BOOLEAN
input.Body.StatementName == STRING
input.Body.Status == enum_StatusString[_]
input.Body.WorkgroupName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ClusterIdentifier == STRING
input.Body.ConnectedDatabase == STRING
input.Body.Database == STRING
input.Body.DbUser == STRING
input.Body.MaxResults == INTEGER
input.Body.NextToken == STRING
input.Body.SchemaPattern == STRING
input.Body.SecretArn == STRING
input.Body.TablePattern == STRING
input.Body.WorkgroupName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}