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

UptoLike

ВУЗ: 

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

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

Рубрика: 

74
которым в соответствие поставлены предикаты:
1) вершина
i
g
~
имеет вектор
τ
i
(P
par
(τ
i
, t(x
i1
, l
1
), t(x
i2
, l
2
), t(x
i3
, l
3
), t(x
i4
, l
4
) , t(x
i5
, Null)));
2) вершина
j
g
~
имеет вектор
τ
j
(P
par
(τ
j
, t(x
j1
, l
5
), t(x
j2
, l
6
), t(x
j3
, l
7
), t(x
j4
, l
8
) , t(x
i5
, Null)));
3) х
i1
имеет значение «1» - (P
E
(x
i1
, 1));
4) х
j1
имеет значение «1» - (P
E
(x
j1
, 1));
5) таблица
i
g
~
имеет атрибут y
1
с признаком «d» (P
f
(t
in
(
i
g
~
), y
1
, f
27
), где f
27
- ссылка на
процедуру F
27
, которая осуществляет поиск атрибута с признаком «d» в параметрическом
предикате
)),(),..,,(),...,,(,
~
(
2
1
11
m
km
i
jikipar
vptvptvptgP
и в переменной y
1
возвращает его имя);
6) атрибут y
1
принадлежит таблице
j
g
~
(P
f
(t
in
(y
1
,
j
g
~
), y
2
, f
28
), где f
28
— ссылка на
процедуру F
28
, которая осуществляет проверку принадлежности атрибута y
1
таблице
j
g
~
в
предикате
)),(),..,,(),...,,(,
~
(
2
1
11
m
km
i
jikjpar
vptvptvptgP и возвращает в качестве результата y
2
значения «истина» или «ложь»);
или
1) таблица
j
g
~
имеет атрибут y
1
с признаком «d» (P
f
(t
in
(
j
g
~
), y
1
, f
27
));
2) атрибут y
1
принадлежит таблице
i
g
~
(P
f
(t
in
(y
1
,
i
g
~
), y
2
, f
28
));
3) признак принадлежности y
2
имеет значение «истина» (P
E
(y
2
, истина)).
Утверждению о том, что между парой вершин
ji
gg
~
,
~
существует прямая связь,
соответствуют предикаты: P
S
(t(
ji
gg
~
,
~
), y
2
, t
r
sv
)
∧
P
par
(τ
i
, t(x
i1
, l
1
), t(x
i2
, l
2
), t(x
i3
, l
3
), t(x
i4
, l
4
),
t(x
i5
, 1)).
В этом случае элементы продукции pr
19
Tr
записываются в виде:
q
19
Tr
= P
par
(τ
i
, t(x
i1
, l
1
), t(x
i2
, l
2
), t(x
i3
, l
3
), t(x
i4
, l
4
) , t(x
i5
, Null))
∧
P
par
(τ
j
, t(x
j1
, l
5
), t(x
j2
, l
6
),
t(x
j3
, l
7
), t(x
j4
, l
8
) , t(x
i5
, Null)) ∧ P
E
(x
i1
, 1)
∧
P
E
(x
j1
, 1)
∧
((P
f
(t
in
(
i
g
~
), y
1
, f
27
) ∧ P
f
(t
in
(y
1
,
j
g
~
), y
2
,
f
28
) )∨( P
f
(t
in
(
j
g
~
), y
1
, f
27
) ∧ P
f
(t
in
(y
1
,
i
g
~
), y
2
, f
28
))
∧
P
E
(y
2
, истина) ↔ P
S
(t(
ji
gg
~
,
~
), y
2
, t
r
sv
)
∧
P
par
(τ
i
, t(x
i1
, l
1
), t(x
i2
, l
2
), t(x
i3
, l
3
), t(x
i4
, l
4
), t(x
i5
, 1));
r
19
Tr
= add[ (P
par
(τ
i
, t(x
i1
, l
1
), t(x
i2
, l
2
), t(x
i3
, l
3
), t(x
i4
, l
4
), t(x
i5
, 1))
∧
(
i
g
′
~
,P
S
(t(
ji
gg
~
,
~
), y
2
,
t
r
sv
))].
В случае успеха осуществляется обновление вектора τ
i
путем добавления вида связи
«таблица – таблица» и обновление вершины
i
g
′
~
, в которую заносится предикат связи
таблиц программы r
19
Tr
.
Вторую и третью ситуации можно описать продукцией pr
20
Tr
=<q
20
Tr
, r
20
Tr
>, где
q
20
Tr
= P
par
(τ
i
, t(x
i1
, l
1
), t(x
i2
, l
2
), t(x
i3
, l
3
), t(x
i4
, l
4
) , t(x
i5
, Null))
∧
P
par
(τ
j
, t(x
j1
, l
5
), t(x
j2
, l
6
),
t(x
j3
, l
7
), t(x
j4
, l
8
) , t(x
i5
, Null)) ∧ P
E
(x
i1
, 1)
∧
P
E
(x
j1
, 2)
∧
((P
f
(t
in
(
i
g
~
), y
1
, f
27
) ∧ P
f
(t
in
(y
1
, x
j2
), y
2
,
f
28
))∨(P
f
(t
in
(x
j2
), y
1
, f
27
)
∧
P
f
(t
in
(y
1
,
i
g
~
), y
2
, f
28
))
∧
P
E
(y
2
, истина) ↔ P
S
(t(
j2
x,
~
i
g
), y
2
, t
r
sv
)
∧
P
par
(τ
i
, t(x
i1
, l
1
), t(x
i2
, l
2
), t(x
i3
, l
3
), t(x
i4
, l
4
), t(x
i5
, 1));
r
20
Tr
=add[(P
par
(τ
i
, t(x
i1
, l
1
),t(x
i2
, l
2
),t(x
i3
, l
3
),t(x
i4
, l
4
),t(x
i5
, 1))
∧
(
i
g
′
~
,P
S
(t(
j2
x,
~
i
g ),y
2
,t
r
sv
))].
Ситуациям второй гипотезы соответствует конъюнкция фактов первой гипотезы, за
исключением последнего факта, в котором признак принадлежности y
2
должен иметь
значение «ложь» (P
E
(y
2
, ложь)). Этот факт опровергает наличие прямой связи между 
которым в соответствие поставлены предикаты:
     1) вершина g~i имеет вектор τi (Ppar(τi, t(xi1, l1), t(xi2, l2), t(xi3, l3), t(xi4, l4) , t(xi5, Null)));
     2) вершина g~ имеет вектор τ (P (τ , t(x , l ), t(x , l ), t(x , l ), t(x , l ) , t(x , Null)));
                                  j                            j           par       j         j1     5               j2      6             j3   7             j4   8                 i5

           3) хi1 имеет значение «1» - (PE(xi1, 1));
           4) хj1 имеет значение «1» - (PE(xj1, 1));
           5) таблица g~i имеет атрибут y1 с признаком «d» (Pf(tin( g~i ), y1, f27), где f27 - ссылка на
процедуру F27, которая осуществляет поиск атрибута с признаком «d» в параметрическом
предикате Ppar ( g~i , t ( p1 , v 1k 1 ),..., t ( pi , v ij ),.., t ( p m , v km2 )) и в переменной y1 возвращает его имя);
     6) атрибут y принадлежит таблице g~ (P (t (y , g~ ), y , f ), где f — ссылка на
                                  1                                                       j         f in          1           j            2     28                     28

процедуру F28, которая осуществляет проверку принадлежности атрибута y1 таблице g~ j в
предикате Ppar ( g~ j , t ( p1 , v1k1 ),..., t ( pi , v ij ),.., t ( p m , v km2 )) и возвращает в качестве результата y2
значения «истина» или «ложь»);
     или
     1) таблица g~ j имеет атрибут y1 с признаком «d» (Pf(tin( g~ j ), y1, f27));
     2) атрибут y принадлежит таблице g~ (P (t (y , g~ ), y , f ));
                              1                                                      i         f in       1           i           2    28

     3) признак принадлежности y2 имеет значение «истина» (PE(y2, истина)).
     Утверждению о том, что между парой вершин g~i , g~ j существует прямая связь,
соответствуют предикаты: P (t( g~ , g~ ), y , tr ) ∧ P (τ , t(x , l ), t(x , l ), t(x , l ), t(x , l ),
                                                  S        i       j             2         sv                 par         i           i1    1         i2        2            i3        3       i4    4

t(xi5, 1)).
        В этом случае элементы продукции pr19Tr записываются в виде:
        q19Tr = Ppar(τi, t(xi1, l1), t(xi2, l2), t(xi3, l3), t(xi4, l4) , t(xi5, Null)) ∧ Ppar(τj, t(xj1, l5), t(xj2, l6),
t(xj3, l7), t(xj4, l8) , t(xi5, Null)) ∧ PE(xi1, 1) ∧ PE(xj1, 1) ∧ ((Pf(tin( g~i ), y1, f27) ∧ Pf(tin(y1, g~ j ), y2,
f ) )∨( P (t ( g~ ), y , f ) ∧ P (t (y , g~ ), y , f )) ∧ P (y , истина) ↔ P (t( g~ , g~ ), y , tr ) ∧
28            f in        j       1        27     f in     1           i         2        28                  E       2                                    S            i         j        2    sv

Ppar(τi, t(xi1, l1), t(xi2, l2), t(xi3, l3), t(xi4, l4), t(xi5, 1));
       r19Tr = add[ (Ppar(τi, t(xi1, l1), t(xi2, l2), t(xi3, l3), t(xi4, l4), t(xi5, 1)) ∧ ( g~i′ ,PS(t( g~i , g~ j ), y2,
trsv))].
     В случае успеха осуществляется обновление вектора τi путем добавления вида связи
«таблица – таблица» и обновление вершины g~i′ , в которую заносится предикат связи
таблиц программы r19Tr.
        Вторую и третью ситуации можно описать продукцией pr20Tr =, где
        q20 Tr = Ppar(τi, t(xi1, l1), t(xi2, l2), t(xi3, l3), t(xi4, l4) , t(xi5, Null)) ∧ Ppar(τj, t(xj1, l5), t(xj2, l6),
t(xj3, l7), t(xj4, l8) , t(xi5, Null)) ∧ PE(xi1, 1) ∧ PE(xj1, 2) ∧ ((Pf(tin( g~i ), y1, f27) ∧ Pf(tin(y1, xj2), y2,
f ))∨(P (t (x ), y , f ) ∧ P (t (y , g~ ), y , f )) ∧ P (y , истина) ↔ P (t( g~ , x ), y , tr ) ∧
28          f in     j2       1       27        f in   1       i            2        28                   E       2                                   S             i        j2            2   sv

Ppar(τi, t(xi1, l1), t(xi2, l2), t(xi3, l3), t(xi4, l4), t(xi5, 1));
       r20Tr =add[(Ppar(τi, t(xi1, l1),t(xi2, l2),t(xi3, l3),t(xi4, l4),t(xi5, 1)) ∧ ( g~i′ ,PS(t( g~i , x j2 ),y2,trsv))].
     Ситуациям второй гипотезы соответствует конъюнкция фактов первой гипотезы, за
исключением последнего факта, в котором признак принадлежности y2 должен иметь
значение «ложь» (PE(y2, ложь)). Этот факт опровергает наличие прямой связи между


                                                                                          74

Страницы