ВУЗ:
Составители:
239
Рисунок Г.4 – Схема структурированной системы из примера Г.5
Таблица Г.1 - Определение элементов направленной структурированной сис-
темы из примера Г.5 (эквивалентно схеме на рисунке Г.4)
x
X
x
Y
x
1
}v{
1
}v,v{
32
2
}v{
2
}v,v{
54
3
}v,v{
84
}v,v{
76
4
}v{
6
}v,v{
98
5
}v,v,v,v{
9753
}v{
10
Таблица Г.2 - Матрица соединений структурированной системы, опи-
санной в примере Г.5
y,x
С
)
0 1 2 3 4 5
0 Ø
}v{
1
Ø Ø Ø Ø
1 Ø Ø
}v{
2
Ø Ø
}v{
3
2 Ø Ø Ø
}v{
4
Ø
}v{
5
3 Ø Ø Ø Ø
}v{
6
}v{
7
4 Ø Ø Ø
}v{
6
Ø
}v{
9
5
}v{
10
Ø Ø Ø Ø Ø
ставлено матрицей (таблице Г.2), обычно называемой матрицей соедине-
ний. Аналогично структурированным исходным системам определяются и
структурированные системы данных;
(
)
{
}
,Nx|D,VSD
q
xx
∈
=
(Г.13)
}x|)D,Y,X{(DS
xxx
∈=
)
)
. (Г.14)
Поскольку любая система данных содержит исходную систему, струк-
турированные системы данных должны удовлетворять всем условиям, ко-
торым должны удовлетворять исходные системы (совместимости, неизбы-
точности, однозначности управления). Кроме того, обычно требуется, что-
бы они удовлетворяли локальной согласованности данных, определяемой
Рисунок Г.4 – Схема структурированной системы из примера Г.5
Таблица Г.1 - Определение элементов направленной структурированной сис-
темы из примера Г.5 (эквивалентно схеме на рисунке Г.4)
x x
X x
Y
1 { v1 } { v 2 ,v 3 }
2 { v2 } { v 4 ,v 5 }
3 { v 4 ,v 8 } { v6 ,v7 }
4 { v6 } { v 8 ,v 9 }
5 { v3 ,v5 ,v7 ,v9 } { v10 }
Таблица Г.2 - Матрица соединений структурированной системы, опи-
санной в примере Г.5
)
С x ,y 0 1 2 3 4 5
0 Ø { v1 } Ø Ø Ø Ø
1 Ø Ø { v2 } Ø Ø { v3 }
2 Ø Ø Ø { v4 } Ø { v5 }
3 Ø Ø Ø Ø { v6 } { v7 }
4 Ø Ø Ø { v6 } Ø { v9 }
5 { v10 } Ø Ø Ø Ø Ø
ставлено матрицей (таблице Г.2), обычно называемой матрицей соедине-
ний. Аналогично структурированным исходным системам определяются и
структурированные системы данных;
SD = {( xV ,x D )| x ∈ N q }, (Г.13)
) )
SD = {( xX ,x Y ,x D ) | x ∈ } . (Г.14)
Поскольку любая система данных содержит исходную систему, струк-
турированные системы данных должны удовлетворять всем условиям, ко-
торым должны удовлетворять исходные системы (совместимости, неизбы-
точности, однозначности управления). Кроме того, обычно требуется, что-
бы они удовлетворяли локальной согласованности данных, определяемой
239
Страницы
- « первая
- ‹ предыдущая
- …
- 237
- 238
- 239
- 240
- 241
- …
- следующая ›
- последняя »
