Методы и алгоритмы трансляции естественно-языковых запросов к базе данных в SQL-запросы. Найханова Л.В - 69 стр.

UptoLike

ВУЗ: 

ВСГУТУ | Улан-Удэ

Составители: 

Рубрика: 

69
Входная ситуация d
0
задается в виде:
d
0
=
),),((
r
chis
tyxtP
, где
(3.11)
y – название синтаксической группы.
Множество входных дизъюнктов
Γ
включает в себя условие применимости
продукции q
8
Tr
, а также множество предикатов, задающих отношение характеризации
r
ch
t ,
которые описывают синтаксические группы, полученные на этапе синтаксического
анализа:
Г =
Γ
7
∧ q
i
={ ),),,...,((
1
r
chks
tyxxtP }∧q
i
, (
10,8=i
).
(3.12)
Тогда утверждению о том, что существует лексема x
i
, которая является значением
атрибута фамилия, будут соответствовать предикаты: (
∃
x
i
:X)
),),((
r
chis
tФИОxtP
∧ P
par
(η
i
,
t(z
1
, null), t(z
2
, 6), t(z
3
, null)), а продукция описывается парой pr
8
Tr
=<q
8
Tr
, r
8
Tr
>, где
q
8
Tr
= P
f
(t
in
(х
i
), y
1
, f
24
) ∧ P
E
(y
1
, ФИО) ∧ P
f
(t
in
(х
i
, ФИО), y
2
, f
25
) ∧ P
E
(y
2
, 1) ∧¬ P
par
(η
i
, t(z
1
,
null), t(z
2
, 6), t(z
3
, null), t(z
4
, null)) ↔ (
∃
x
i
:X) ),),((
r
chis
tФИОxtP ∧ P
par
(η
i
, t(z
1
, null), t(z
2
, 6),
t(z
3
, null));
r
8
Tr
= add[P
par
(η
i
, t(z
1
, null), t(z
2
, 6), t(z
3
, null)) ∧ ( g
′
~
, фамилия)].
Во втором случае проверяется факт принадлежности лексемы x
i
атрибуту имя, в
котором продукция pr
9
Tr
состоит из:
q
9
Tr
= P
f
(t
in
(х
i
), y
1
, f
24
) ∧ P
E
(y
1
, ФИО) ∧ P
f
(t
in
(х
i
, ФИО), y
2
, f
25
) ∧ P
E
(y
2
, 2) ∧¬ P
par
(η
i
, t(z
1
,
null), t(z
2
, 6), t(z
3
, null), t(z
4
, null)) ↔ (
∃
x
i
:X) ),),((
r
chis
tФИОxtP ∧ P
par
(η
i
, t(z
1
, null), t(z
2
, 6),
t(z
3
, null), t(z
4
, null));
r
9
Tr
= add[P
par
(η
i
, t(z
1
, null), t(z
2
, 6), t(z
3
, null)) ∧ ( g
′
~
, имя)].
В третьем случае проверяется факт принадлежности лексемы x
i
атрибуту отчество,
которому соответствует продукция pr
10
Tr
:
q
10
Tr
= P
f
(t
in
(х
i
), y
1
, f
24
) ∧ P
E
(y
1
, ФИО) ∧ P
f
(t
in
(х
i
, ФИО), y
2
, f
25
) ∧ P
E
(y
2
, 3) ∧¬ P
par
(η
i
, t(z
1
,
null), t(z
2
, 6), t(z
3
, null), t(z
4
, null)) ↔ (
∃
x
i
:M) ),),((
r
chis
tФИОxtP ∧ P
par
(η
i
, t(z
1
, null), t(z
2
, 6),
t(z
3
, null));
r
10
Tr
= add[P
par
(η
i
, t(z
1
, null), t(z
2
, 6), t(z
3
, null)) ∧ ( g
′
~
, отчество)].
Если доказательство гипотезы прошло успешно, то добавляется новая вершина
g
′
~
,
перед вершиной g, для анализа которой осуществляется переход на доказательство второй
гипотезы верхнего уровня.
Третья гипотеза нижнего уровня. Эта гипотеза предполагает, что лексема x
i
является
составной частью определения некоторого понятия тогда и только тогда, когда имеет место
один из двух случаев: лексема х
i
находится в отношении номинации t
r
nom
с термом t(z
1
,
…,z
k
) или лексема х
i
находится в отношении номинации t
r
nom
с переменной y и термом t(z
1
,
…,z
k
).
Для первого случая множество предикатов Г (3.13) включает в себя подмножество
предикатов номинации Г
51
и условие применимости q
11
Tr
∈pr
11
Tr
:
Г =
Γ
51
∧ q
11
Tr
={P
s
(x, t(z
1
, …,z
k
), t
r
nom
)}∧q
11
Tr
,
(3.13)
а входная ситуация d
0
задается в виде:
d
0
= P
s
(x
i
, t(z
1
, …,z
k
), t
r
nom
).
(3.14) 
       Входная ситуация d0 задается в виде:
                            d0 = Ps (t ( xi ), y, t chr ) , где                          (3.11)
       y – название синтаксической группы.
       Множество входных дизъюнктов Γ                       включает в себя условие применимости
продукции q8Tr, а также множество предикатов, задающих отношение характеризации t chr ,
которые описывают синтаксические группы, полученные на этапе синтаксического
анализа:
                Г = Γ7 ∧ qi ={ Ps (t ( x1 ,..., x k ), y, t chr ) }∧qi, ( i = 8,10 ). (3.12)
       Тогда утверждению о том, что существует лексема xi, которая является значением
атрибута фамилия, будут соответствовать предикаты: ( ∃ xi:X) Ps (t ( xi ), ФИО, t chr ) ∧ Ppar(ηi,
t(z1, null), t(z2, 6), t(z3, null)), а продукция описывается парой pr8Tr =, где
       q8Tr = Pf(tin(хi), y1, f24) ∧ PE(y1, ФИО) ∧ Pf(tin(хi, ФИО), y2, f25) ∧ PE(y2, 1) ∧¬ Ppar(ηi, t(z1,
null), t(z2, 6), t(z3, null), t(z4, null)) ↔ ( ∃ xi:X) Ps (t ( xi ), ФИО, t chr ) ∧ Ppar(ηi, t(z1, null), t(z2, 6),
t(z3, null));
       r8Tr = add[Ppar(ηi, t(z1, null), t(z2, 6), t(z3, null)) ∧ ( g~ ′ , фамилия)].
     Во втором случае проверяется факт принадлежности лексемы xi атрибуту имя, в
котором продукция pr9Tr состоит из:
     q9Tr = Pf(tin(хi), y1, f24) ∧ PE(y1, ФИО) ∧ Pf(tin(хi, ФИО), y2, f25) ∧ PE(y2, 2) ∧¬ Ppar(ηi, t(z1,
null), t(z2, 6), t(z3, null), t(z4, null)) ↔ ( ∃ xi:X) Ps (t ( xi ), ФИО, t chr ) ∧ Ppar(ηi, t(z1, null), t(z2, 6),
t(z3, null), t(z4, null));
       r9Tr = add[Ppar(ηi, t(z1, null), t(z2, 6), t(z3, null)) ∧ ( g~ ′ , имя)].
     В третьем случае проверяется факт принадлежности лексемы xi атрибуту отчество,
которому соответствует продукция pr10Tr:
     q10Tr= Pf(tin(хi), y1, f24) ∧ PE(y1, ФИО) ∧ Pf(tin(хi, ФИО), y2, f25) ∧ PE(y2, 3) ∧¬ Ppar(ηi, t(z1,
null), t(z2, 6), t(z3, null), t(z4, null)) ↔ ( ∃ xi:M) Ps (t ( xi ), ФИО, t chr ) ∧ Ppar(ηi, t(z1, null), t(z2, 6),
t(z3, null));
       r10Tr = add[Ppar(ηi, t(z1, null), t(z2, 6), t(z3, null)) ∧ ( g~ ′ , отчество)].
       Если доказательство гипотезы прошло успешно, то добавляется новая вершина g~ ′ ,
перед вершиной g, для анализа которой осуществляется переход на доказательство второй
гипотезы верхнего уровня.
     Третья гипотеза нижнего уровня. Эта гипотеза предполагает, что лексема xi является
составной частью определения некоторого понятия тогда и только тогда, когда имеет место
один из двух случаев: лексема хi находится в отношении номинации trnom с термом t(z1,
…,zk) или лексема хi находится в отношении номинации trnom с переменной y и термом t(z1,
…,zk).
     Для первого случая множество предикатов Г (3.13) включает в себя подмножество
предикатов номинации Г51 и условие применимости q11Tr∈pr11Tr:

                      Г = Γ51 ∧ q11Tr={Ps(x, t(z1, …,zk), trnom)}∧q11Tr,
                                                                                                 (3.13)
       а входная ситуация d0 задается в виде:
                           d0 = Ps(xi, t(z1, …,zk), trnom).                                             (3.14)

                                                         69

Страницы