ВУЗ:
Составители:
Рубрика:
Предикат (∃g
i
:X) (∃g
i+1
:X) (∃g
i+2
:X) Р
s
(t(g
i
, g
i+1
, g
i+2
), WHERE,
r
t
2
) соответствует утверждению,
что существуют вершины g
i
, g
i+1
и g
i+2
, которые находятся в отношении квалификации с оператором
WHERE.
В этом случае элементы продукции pr
14
Tr
записываются в виде:
q
14
Tr
= P
par
(τ
i
, t(x
i1
, y
1
), t(x
i2
, y
2
), t(x
i3
, y
3
), t(x
i4
, y
4
), t(x
i5
, y
5
)) ∧ P
E
(x
i1
, 2) ∧ P
par
(
η
i+1
, t(z
(i+1)1
, y
6
), t(z
(i+1)2
,
y
7
), t(z
(i+1)3
, y
8
)) ∧ P
E
(z
(i+1)2
, 4) ∧ P
par
(τ
i+2
, t(x
i1
, y
9
), t(x
i2
, y
10
), t(x
i3
, y
11
), t(x
i4
, y
12
), t(x
i5
, y
13
)) ∧ P
E
(x
i1
, 4) ↔
(∃g
i
:X) (∃g
i+1
:X) (∃g
i+2
:X) Р
s
(t(g
i
, g
i+1
, g
i+2
), WHERE,
r
t
2
);
r
14
Tr
= add [Р
s
(WHERE (x
i2
.g
i
g
i+1
g
i+2
),
r
t
2
)].
Правило пятнадцатое касается ситуации, когда имеет место смежность вершин «атрибут-
вычислительная процедура- атрибут», то элементы продукции pr
15
Tr
записываются в виде:
q
15
Tr
= P
par
(τ
i
, t(x
i1
, y
1
), t(x
i2
, y
2
), t(x
i3
, y
3
), t(x
i4
, y
4
), t(x
i5
, y
5
)) ∧ P
E
(x
i1
, 2) ∧ P
par
(
η
i+1
, t(z
(i+1)1
, y
6
), t(z
(i+1)2
,
y
7
), t(z
(i+1)3
, y
8
)) ∧ P
E
(z
(i+1)2
, 5) ∧ P
par
(τ
i+2
, t(x
i1
, y
9
), t(x
i2
, y
10
), t(x
i3
, y
11
), t(x
i4
, y
12
), t(x
i5
, y
13
)) ∧ P
E
(x
i1
, 2) ↔
(∃g
i
:X) (∃g
i+1
:X) (∃g
i+2
:X) Р
s
(t(g
i
, g
i+1
, g
i+2
), WHERE,
r
t
2
);
r
15
Tr
= add [Р
s
(WHERE (x
i2
.g
i
«=»
g
i+1
(g
i+2
)),
r
t
2
)].
137
Предикат (∃gi:X) (∃gi+1:X) (∃gi+2:X) Рs(t(gi, gi+1, gi+2), WHERE, t 2r ) соответствует утверждению, что существуют вершины gi, gi+1 и gi+2, которые находятся в отношении квалификации с оператором WHERE. В этом случае элементы продукции pr14Tr записываются в виде: q14Tr = Ppar(τi, t(xi1, y1), t(xi2, y2), t(xi3, y3), t(xi4, y4), t(xi5, y5)) ∧ PE(xi1, 2) ∧ Ppar(ηi+1, t(z(i+1)1, y6), t(z(i+1)2, y7), t(z(i+1)3, y8)) ∧ PE(z(i+1)2, 4) ∧ Ppar(τi+2, t(xi1, y9), t(xi2, y10), t(xi3, y11), t(xi4, y12), t(xi5, y13)) ∧ PE(xi1, 4) ↔ (∃gi:X) (∃gi+1:X) (∃gi+2:X) Рs(t(gi, gi+1, gi+2), WHERE, t 2r ); 137 r14Tr = add [Рs(WHERE (xi2.gi gi+1 gi+2), t 2r )]. Правило пятнадцатое касается ситуации, когда имеет место смежность вершин «атрибут- вычислительная процедура- атрибут», то элементы продукции pr15Tr записываются в виде: q15Tr = Ppar(τi, t(xi1, y1), t(xi2, y2), t(xi3, y3), t(xi4, y4), t(xi5, y5)) ∧ PE(xi1, 2) ∧ Ppar(ηi+1, t(z(i+1)1, y6), t(z(i+1)2, y7), t(z(i+1)3, y8)) ∧ PE(z(i+1)2, 5) ∧ Ppar(τi+2, t(xi1, y9), t(xi2, y10), t(xi3, y11), t(xi4, y12), t(xi5, y13)) ∧ PE(xi1, 2) ↔ (∃gi:X) (∃gi+1:X) (∃gi+2:X) Рs(t(gi, gi+1, gi+2), WHERE, t 2r ); r15Tr = add [Рs(WHERE (xi2.gi «=» gi+1(gi+2)), t 2r )].
Страницы
- « первая
- ‹ предыдущая
- …
- 137
- 138
- 139
- 140
- 141
- …
- следующая ›
- последняя »