Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

The field location information is represented as a table of field offsets. This table allows to determine both the offset and the length of each field.

To represent NULL values a tuple may contain a nullmap. Nullmap is skipped if there are no actual NULL values in a given tuple.To be more precise the layout of a tuple looks like this:

  1. Header;
  2. Nullmap (optionally);
  3. Offset table;
  4. Value area.

Header

It contains only one byte with flags.

Bits 0-1: Size class of the variable-length area.

Bit 2: Set if the nullmap is presentFlag indicating that the size class is not optimal.

Size class encodes the number of bytes used for entries in the offset table. It is encoded like this:

...

NOTE: By the way, the last option works fine for C++ and possibly other languages but for Java it will be hard to support, so it might be excluded.

Nullmap

If a schema has nullable columns then the corresponding tuple may contain a nullmap. The nullmap is skipped if there are no actual NULL values in a given tuple instance.

Nullmap is a bitset that contains N bits, occupies (N + 7) / 8 bytes, where `N` is the number of columns in the schema.

In the bitset if a bit is set to `1` then the respective field is NULL.

Offset Table

The number of elements in the table is equal to the number of columns in the schema.

...

Each element in the table specifies where the corresponding field ends. Or in In other words, for each given field the table stores the offset where the next field starts. The last element in the table specifies the end of the last field and at the same time the end of the whole value area and consequently the end of the entire tuple.

...

A tuple field is a sequence of bytes. This sequence is interpreted according to the associated data type provided by the tuple schema. There are different encoding rules for different values. The For some data types the rules include a very simple compression mechanism. So even if the original type has some fixed size when it is it may take different number of bytes when encoded as a tuple field it may occupy variable number of bytes.

If a value is equal to NULL then it is absent in the value area. This means that in the offset table the corresponding entry is equal to the previous entry. At the same time the corresponding bit in the nullmap is set.

For any some variable-length type types we can encounter a value with zero length. Again the length is determined by the offset table. Quite naturally To distinguish a zero-length variable-length value translates to a zero-length field in a tuple. This approach is extended to fixed-size types by introducing a notion of default values. We define specific default values for different types (specified in the table below). If a given value is equal to the corresponding default value then this translates to a zero-length field in a tuple.

To sum things up, when a zero-length field is met (by looking in the offset table) we have the following cases:

...

from a null value we use a special magic byte that denotes an empty value. That is an empty value is encoded as single-byte sequence – 0x80. In turn if the original variable-length value starts with the magic byte 0x80 byte then this byte is doubled.

The Number and Decimal types are never empty, at least one significant byte is always present. The variable-length types that use the magic byte for encoding are as follows:

  • String;
  • Binary;
  • Bitmask

...

  • .

The list of supported data types is as follows:

-800.00.00000000000-0000-0000-0000-000000000000empty empty empty

Jan 1, 1 BC for date (1 BC immediately

precedes 1 AD in the Gregorian calendar-600:00:00.000000-Jan 1, 1 BC, 00:00:00.0000000 (PT0S)0 (P0D)
TypeField SizeDefault ValueDescription
Int8101-byte signed integer
Int161-, 202-byte signed integer, but may occupy less space due to compression mechanism described below

Int32

1-40, 2, 44-byte signed integer, but may occupy less space due to compression mechanism described below
Int641, 2, 4, 88-byte signed integer, but may occupy less space due to compression mechanism described below
Float44-byte floating-point number
Double4, 88-byte floating-point number, but may occupy 4 bytes if fits into float w/o loss of precision
NumbervariableVariable-length integer
DecimalvariableVariable-length fixed-point number, the scale is determined by the schema
UUID16UUID
StringvariableAn utf-8 encoded string
BinaryvariableVariable-length arbitrary binary data
BitmaskvariableVariable-length binary data representing a bit-string
Date3A timezone-free date (a year, month, day)
Time4, 5, 6A timezone-free time (hour, minute, second, microseconds)
DateTime7, 8, 9A timezone-free datetime encoded as (date, time)
Timestamp8, 12Number of microseconds since Jan 1, 1970 00:00:00.000000 (with no timezone)
Duration8, 12See below
Period3, 6, 12See below
Boolean1A boolean value (either true  of false)

Integer

...

Representation

All integer values are stored in the little-endian byte order.

Uniform use of offset tables for all fields lets us take advantage of variable-length principle for integer fields.

Thus for For integer values it is possible to keep only their significant bytes, omitting their high insignificant bytes. That is even if the original data type of a field is INTEGER and should occupy 4 bytes but the actual value is below 128  and above -129  then we can store it just as a single byte and reflect this in the offset table.

...

In SQL standard there are no unsigned integers. So their support may be is omitted for now. But should it become needed for some reason then a compressed unsigned integer must be zero-extended on decompression.

...

Unlike Date, every part is independent from others and can be in range from Integer.MIN_VALUE to Integer.MAX_VALUE.

Boolean Representation

A single byte containing 1 for the value of true and 0 for the value of false.

Corollary

If the number of fields is N and t is an array that stores a binary tuple we can find the answers for the following:

Does the tuple contain a nullmap?

hasNullmap = t[0] & 0b100;

How many bytes are occupied by the nullmap?

...

:

...

How many bytes are occupied by one offset table entry?

...

What is offset of the value area?

valueBaseOffset = 1 + nullmapBytes + offsetTableBytes;

What is the whole tuple size?

...

In order to build a tuple using minimum possible space it is required to learn two things:

...

what is the total length of all non-null values

...

. After that we can figure out the minimum possible size of the offset table entries.

Thus, generally speaking, building a binary tuple is a two-pass procedure. Sometimes it might be possible to turn this into a single pass (almost) by over-provisioning the allocated storage for the worst case and then fixing it up at the end.

...