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

# REDSHIFT-DATA

<Embed url="https://docs.aws.amazon.com/" title="AWS documentation" provider="docs.aws.amazon.com" href="https://docs.aws.amazon.com/" />

# BatchExecuteStatement

```erlang
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
}
```

# CancelStatement

```erlang
valid {
    input.Body.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DescribeStatement

```erlang
valid {
    input.Body.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DescribeTable

```erlang
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
}
```

# ExecuteStatement

```erlang
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
}
```

# GetStatementResult

```erlang
valid {
    input.Body.Id == STRING
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# GetStatementResultV2

```erlang
valid {
    input.Body.Id == STRING
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ListDatabases

```erlang
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
}
```

# ListSchemas

```erlang
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
}
```

# ListStatements

```erlang
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
}
```

# ListTables

```erlang
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
}
```