Background Image
Previous Page  6 / 14 Next Page
Information
Show Menu
Previous Page 6 / 14 Next Page
Page Background

c

m

2

=

ρ

V SId

(

c

m

1

)

v

1

=

v

2

8

s

1

=

s

2

и

id

1

=

id

2

.

Тогда множество

[

c

m

0

]

ρ

V SId

=

{

c

m

:

c

m

=

ρ

V SId

(

c

m

0

)

}

, где

c

m

0

, c

m

C

это класс эквивалентности по отношению

ρV SId

. Множество классов

эквивалентности по отношению

ρV SId

на множестве значений точек

многомерного пространства

С

образует разбиение этого множества и

обозначается как

C/ρ

V SId

. Поскольку множество

Т

является упорядо-

ченным, элементы множества

[

c

m

0

]

ρ

V SId

можно упорядочить по оси

T

и найти максимальный или минимальный элементы. Минимальный

элемент множества

[

c

m

0

]

ρ

V SId

обозначим как

min

T

[

c

m

0

]

ρ

V SId

, тогда

C

τ

F

=

τ

F

(

C, t

0

) =

{

min

T

[

c

m

t

]

ρ

V SId

}

,

где

c

m

t

C

t

t

0

, C

t

t

0

=

{

c

m

:

t

t

0

, c

m

C

}

.

Графическое изображение оператора преобразования “Срез пер-

вых” представлено на рис. 3. Сначала отбираются все значения точек,

которые имеют координату по оси времени больше заданного зна-

чения

t

0

. Выбранные значения точек на рис. 3 заштрихованы. Затем

выбранные значения точек разбиваются на классы эквивалентности

по отношению

ρV SId

и в каждом классе эквивалентности ищется

наименьшая точка по отношению порядка, заданного на оси времени.

Таким образом, множество, состоящее из значений точек, имею-

щих наименьшую координату по оси времени в каждом классе экви-

валентности множества

С

по отношению

ρV SId

, является результатом

оператора преобразования “Срез первых”.

По аналогии с оператором “Срез первых” преобразование “Срез

последних” формирует последнее состояние модели данных до задан-

ного момента времени

t

:

C

τ

L

=

τ

L

(

C, t

0

)

.

Разработка операций для динамического формирования отно-

шений РБД из миварного пространства.

Оператор преобразования

α

получает из определенного множества значений точек многомерно-

го пространства соответствующее ему состояние РБД:

α

:

C

M

R

D

.

При этом выполняются следующие действия.

Сначала определяются множества значений точек, описывающих

отношения, содержащиеся в исходном множестве

С

М

;

V

C

M

— множе-

ство названий отношений, содержащиеся в исходном множестве

С

М

.

Рис. 3. Оператор преобразования “Срез первых”

118 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 4