С.А. Тоноян, Д.В. Сараев
6
Данное представление является естественным и часто используемым
способом представления битемпоральных отношений.
Модель Дженсена
. Главной особенностью этой модели является
то, что кортежи доступны только для чтения (т. е. никогда не обнов-
ляются). Такое представление данных хорошо подходит для осно-
ванного на архивах хранения битемпоральных отношений. Битемпо-
ральное отношение
R
с набором атрибутов
А
1
, ...,
A
n
может быть
представлено в следующем виде:
R
= (
А
1
, ...,
А
n
,
V
s
,
V
e
,
T
,
Op
). Как и в
предыдущей модели, атрибуты
V
s
и
V
e
хранят даты начала и оконча-
ния актуальности факта в моделируемой реальности соответственно,
атрибут
Т
— информацию о времени внесения кортежа в журнал из-
менений. Запросы на создание и удаление кортежей обозначаются в
атрибуте
Op
соответствующими символами I (вставка) и D (удале-
ние). Модификации данных представляют собой пару запросов (уда-
ление и создание записи) с одинаковым атрибутом
T
.
Модель Гадия.
Данный подход предполагает наличие битемпо-
ральных меток у каждого из атрибутов кортежа, что обеспечивает
возможность более гибкого моделирования реальности. Дано би-
темпоральное отношение
R
(
А
1
, ...,
А
n
,
T
), где
Т
— атрибут, опреде-
ленный на множестве битемпоральных элементов. Тогда битемпо-
ральное отношение
R
может быть представлено в виде отношений,
где каждый из атрибутов имеет свою темпоральную метку:
R
=
= {([
T
s
,
T
e
][
V
s
,
V
e
]
A
1
)}, …, {([
T
s
,
T
e
][
V
s
,
V
e
]
A
n
)}.
Кортеж состоит из
n
элементов. Каждый элемент представляет
собой тройку значений: транзакционное время [
T
s
,
T
e
], модельное
время [
V
s
,
V
e
] и значение атрибута
A
i
.
Модель МакКензи
. В данной модели битемпоральное отноше-
ние — это последовательность состояний в модельном времени, про-
индексированная транзакционным временем. В кортежах с модель-
ным временем атрибуты имеют свои темпоральные метки. Битемпо-
ральное отношение
R
с набором атрибутов
A
1
, …,
A
n
может быть
представлено в виде отношения, в котором каждый атрибут помечает-
ся временной меткой:
R
= (
VR
,
T
), где
VR
— отношение в модельном
времени;
Т
— транзакционное время. Схема состояний отношения мо-
дельного времени имеет вид
VR
= (
A
1
V
1
, ...,
A
n
V
n
), где
А
1
, ...,
А
n
—
набор атрибутов;
V
1
,
V
n
— атрибут модельного времени, каждый из
которых соответствует атрибутам
А
1
, ...,
А
n
и обозначает время акту-
альности его значения в моделируемой реальности.
Модель Бен-Зви.
Пусть битемпоральное отношение
R
состоит из
набора атрибутов
А
1
, ...,
А
n
,
T
, где
Т
— темпоральный атрибут, опреде-
ленный на множестве битемпоральных элементов. Тогда
R
может быть
представлено следующим образом:
R
= (
А
1
, ...,
А
n
,
T
es
,
T
rs
,
T
ee
,
T
re
,
T
d
),
где
T
es
— атрибут времени, когда значение атрибута кортежа стано-
