Типы данных

Поддерживаемые типы данных
Числовые типы данных
Строковые типы данных
Дата и время
Опциональные значения (типы, допускающие значение NULL)
Контейнеры

В данном разделе описаны типы данных, которые поддерживаются в YDB.

Поддерживаемые типы данных

В YDB используются типы данных YQL. Некоторые из типов YQL поддерживаются с ограничениями — они могут использоваться только в вычислениях, но не могут быть типом столбца или использоваться в первичном ключе. Все столбцы, включая ключевые, могут содержать специальное значение NULL.

Значения NULL в ячейках первичного ключа

Несмотря на наличие возможности иметь значения составного первичного ключа, в которых в части полей сохранены значения NULL, мы настоятельно рекомендуем никогда так не делать и не хранить в первичном ключе NULL.

В таблицах 1, 2 и 3 приведены возможные варианты использования типов данных YQL в YDB.

Числовые типы данных

Таблица 1. Возможности использования числовых типов данных YQL в YDB

Тип	Пояснение	Используется в запросах и вычислениях YQL	Используется в качестве типа данных столбца	Используется в первичных ключах	Поддерживает возможность сравнения
`Bool`	cтандартный булев тип, `true` или `false`	Да	Да	Да	Да
`Int8`	целое число со знаком, от -2⁷ до 2⁷ − 1	Да	Нет	Нет	Да
`Int16`	целое число со знаком, от -2¹⁵ до 2¹⁵ − 1	Да	Нет	Нет	Да
`Int32`	целое число со знаком, от -2³¹ до 2³¹ − 1	Да	Да	Да	Да
`Int64`	целое число со знаком, от -2⁶³ до 2⁶³ − 1	Да	Да	Да	Да
`Uint8`	беззнаковое целое, от 0 до 2⁸ − 1	Да	Да	Да	Да
`Uint16`	беззнаковое целое, от 0 до 2¹⁶ − 1	Да	Нет	Нет	Да
`Uint32`	беззнаковое целое, от 0 до 2³² − 1	Да	Да	Да	Да
`Uint64`	беззнаковое целое, от 0 до 2⁶⁴ − 1	Да	Да	Да	Да
`Float`	вещественное 4-байтное число	Да	Да	Нет	Да
`Double`	вещественное 8-байтное число	Да	Да	Нет	Да
`Decimal`	число с фиксированной точностью, сейчас поддерживается `Decimal(22, 9)` — 13 знаков в целой части, 9 в дробной	Да	Да	Нет	Да
`DyNumber`	бинарное представление числа с плавающей точкой, сохраняющее порядок	Да	Да	Да	Да

Строковые типы данных

Таблица 2. Возможности использования строковых типов данных YQL в YDB

Тип	Пояснение	Используется в запросах и вычислениях YQL	Используется в качестве типа данных столбца	Используется в первичных ключах	Поддерживает возможность сравнения
`String`	произвольная последовательность байт	Да	Да	Да	Да
`Utf8`	текст в кодировке UTF-8	Да	Да	Да	Да
`Json`	валидный JSON в текстовом представлении	Да	Да	Нет	Нет
`JsonDocument`	валидный JSON в бинарном индексированном представлении	Да	Да	Нет	Нет
`Uuid`	универсальный идентификатор UUID	Да	Нет	Нет	Да

Ограничения на размер

Максимальный размер значения в ячейке с любым строковым типом данных — около 4 МБ.

Отличия Json и JsonDocument

В отличии от типа данных Json, который хранит исходное текстовое представление, переданное пользователем, JsonDocument использует бинарное индексированное представление. Важное отличие с точки зрения семантики состоит в том, что JsonDocument не сохраняет форматирование, порядок ключей в объектах и их дубликаты.

За счет индексированного представления, JsonDocument позволяет обходить документную модель с использованием JsonPath без необходимости парсинга всего содержимого. Это позволяет эффективно выполнять операции из JSON API, уменьшая задержки и стоимость пользовательских запросов. Выполнение запросов над JsonDocument может быть до нескольких раз эффективнее в зависимости от типа нагрузки.

Из-за добавленной избыточности JsonDocument менее эффективен в хранении. Дополнительные накладные расходы на хранение зависят от конкретного содержимого, но в среднем составляют 20%–30% от исходного объема. Кроме того, сохранение данных в формате JsonDocument требует дополнительной конвертации из текстового представления, что делает его запись несколько менее эффективной. Тем не менее, для большинства read-intensive сценариев, подразумевающих обработку данных из JSON, новый тип данных является предпочтительным и рекомендуется к использованию.

Дата и время

Таблица 3. Возможности использования типов данных даты и времени YQL в YDB

Тип	Пояснение	Используется в запросах и вычислениях YQL	Используется в качестве типа данных столбца	Используется в первичных ключах	Поддерживает возможность сравнения
`Date`	точность до дней	Да	Да	Да	Да
`Datetime`	точность до секунд	Да	Да	Да	Да
`Timestamp`	точность до микросекунд	Да	Да	Да	Да
`Interval`	точность до микросекунд, допустимые значения интервалов — не более 24 часов	Да	Да	Нет	Да

Опциональные значения (типы, допускающие значение NULL)

Любые типизированные данные в YQL, включая столбцы таблиц, бывают как гарантированно имеющие значение, так и потенциально пустые (что обозначается как NULL). Такие значения называют «опциональными» или в терминах SQL «nullable».

Наиболее распространённой операцией для таких типов данных является COALESCE, позволяющий оставить заполненные значения без изменений, а NULL заменить на указанное следом значение по умолчанию.

При описании таких типов данных в текстовом виде, они обозначаются с вопросительным знаком на конце (например, String?) или как Optional<...>.

Контейнеры

Таблица 4. Составные типы данных YQL

Название	Объявление типа	Пример типа	Пояснение
Список	`List<Type>`	`List<Int32>`	Последовательность переменной длины, состоящая из элементов одного типа.
Словарь	`Dict<KeyType, ValueType>`	`Dict<String, Int32>`	Набор пар ключ-значение с фиксированным типом ключей и значений.
Кортеж	`Tuple<Type1, ..., TypeN>`	`Tuple<Int32, Double>`	Набор безымянных элементов фиксированной длины с указанными типами всех элементов.
Структура	`Struct<Name1:Type1, ..., NameN:TypeN>`	`Struct<Name:String, Age:Int32>`	Набор именованных полей с указанными типами значений, фиксированный на момент начала запроса (то есть обязательно не зависящий от данных).
Поток	`Stream<Type>`	`Stream<Int32>`	Однопроходной итератор по значениям одного типа. Не является сериализуемым.
Вариант над кортежем	`Variant<Type1, Type2>`	`Variant<Int32, String>`	Кортеж, про который известно, что заполнен ровно один элемент.
Вариант над структурой	`Variant<Name1:Type1, Name2:Type2>`	`Variant<value:Int32, error:String>`	Структура, про которую известно, что заполнен ровно один элемент.

При необходимости контейнеры можно вкладывать друг в друга в произвольных комбинациях, например List<Tuple<Int32, Int32>> (список, содержащий в качестве элементов кортежи).

Опциональные значения в некоторых контекстах также могут рассматриваться как один из видов контейнеров (Optional<Type>), который ведёт себя как список длины 0 или 1.

Для представления множеств следует использовать словарь с значениями типа Void - Dict<T, Void>.