S3TABLES
CreateNamespace
valid {
input.Body.namespace[_] == STRING
input.ReqMap.tableBucketARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}CreateTable
enum_OpenTableFormat := [ "ICEBERG" ]
enum_SSEAlgorithm := [ "AES256", "aws:kms" ]
valid {
input.Body.name == STRING
input.Body.format == enum_OpenTableFormat[_]
input.Body.metadata.iceberg.schema.fields[_].name == STRING
input.Body.metadata.iceberg.schema.fields[_].type == STRING
input.Body.metadata.iceberg.schema.fields[_].required == BOOLEAN
input.Body.encryptionConfiguration.sseAlgorithm == enum_SSEAlgorithm[_]
input.Body.encryptionConfiguration.kmsKeyArn == STRING
input.Body.tags.STRING == STRING
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}CreateTableBucket
enum_SSEAlgorithm := [ "AES256", "aws:kms" ]
valid {
input.Body.name == STRING
input.Body.encryptionConfiguration.sseAlgorithm == enum_SSEAlgorithm[_]
input.Body.encryptionConfiguration.kmsKeyArn == STRING
input.Body.tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteNamespace
valid {
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteTable
valid {
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.Qs.versionToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteTableBucket
valid {
input.ReqMap.tableBucketARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteTableBucketEncryption
valid {
input.ReqMap.tableBucketARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteTableBucketPolicy
valid {
input.ReqMap.tableBucketARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteTablePolicy
valid {
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetNamespace
valid {
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTable
valid {
input.Qs.tableBucketARN == STRING
input.Qs.namespace == STRING
input.Qs.name == STRING
input.Qs.tableArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTableBucket
valid {
input.ReqMap.tableBucketARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTableBucketEncryption
valid {
input.ReqMap.tableBucketARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTableBucketMaintenanceConfiguration
valid {
input.ReqMap.tableBucketARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTableBucketPolicy
valid {
input.ReqMap.tableBucketARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTableEncryption
valid {
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTableMaintenanceConfiguration
valid {
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTableMaintenanceJobStatus
valid {
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTableMetadataLocation
valid {
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTablePolicy
valid {
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListNamespaces
valid {
input.ReqMap.tableBucketARN == STRING
input.Qs.prefix == STRING
input.Qs.continuationToken == STRING
input.Qs.maxNamespaces == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListTableBuckets
enum_TableBucketType := [ "customer", "aws" ]
valid {
input.Qs.prefix == STRING
input.Qs.continuationToken == STRING
input.Qs.maxBuckets == INTEGER
input.Qs.type == enum_TableBucketType[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListTables
valid {
input.ReqMap.tableBucketARN == STRING
input.Qs.namespace == STRING
input.Qs.prefix == STRING
input.Qs.continuationToken == STRING
input.Qs.maxTables == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListTagsForResource
valid {
input.ReqMap.resourceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}PutTableBucketEncryption
enum_SSEAlgorithm := [ "AES256", "aws:kms" ]
valid {
input.Body.encryptionConfiguration.sseAlgorithm == enum_SSEAlgorithm[_]
input.Body.encryptionConfiguration.kmsKeyArn == STRING
input.ReqMap.tableBucketARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}PutTableBucketMaintenanceConfiguration
enum_MaintenanceStatus := [ "enabled", "disabled" ]
enum_TableBucketMaintenanceType := [ "icebergUnreferencedFileRemoval" ]
valid {
input.Body.value.status == enum_MaintenanceStatus[_]
input.Body.value.settings.icebergUnreferencedFileRemoval.unreferencedDays == INTEGER
input.Body.value.settings.icebergUnreferencedFileRemoval.nonCurrentDays == INTEGER
input.ReqMap.tableBucketARN == STRING
input.ReqMap.type == enum_TableBucketMaintenanceType[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}PutTableBucketPolicy
valid {
input.Body.resourcePolicy == STRING
input.ReqMap.tableBucketARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}PutTableMaintenanceConfiguration
enum_IcebergCompactionStrategy := [ "auto", "binpack", "sort", "z-order" ]
enum_MaintenanceStatus := [ "enabled", "disabled" ]
enum_TableMaintenanceType := [ "icebergCompaction", "icebergSnapshotManagement" ]
valid {
input.Body.value.status == enum_MaintenanceStatus[_]
input.Body.value.settings.icebergCompaction.targetFileSizeMB == INTEGER
input.Body.value.settings.icebergCompaction.strategy == enum_IcebergCompactionStrategy[_]
input.Body.value.settings.icebergSnapshotManagement.minSnapshotsToKeep == INTEGER
input.Body.value.settings.icebergSnapshotManagement.maxSnapshotAgeHours == INTEGER
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.ReqMap.type == enum_TableMaintenanceType[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}PutTablePolicy
valid {
input.Body.resourcePolicy == STRING
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}RenameTable
valid {
input.Body.newNamespaceName == STRING
input.Body.newName == STRING
input.Body.versionToken == STRING
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}TagResource
valid {
input.Body.tags.STRING == STRING
input.ReqMap.resourceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UntagResource
valid {
input.ReqMap.resourceArn == STRING
input.Qs.tagKeys[_] == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UpdateTableMetadataLocation
valid {
input.Body.versionToken == STRING
input.Body.metadataLocation == STRING
input.ReqMap.tableBucketARN == STRING
input.ReqMap.namespace == STRING
input.ReqMap.name == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}Updated 14 days ago