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

UptoLike

q
59
s
= (x
i
:X) Р(x
i
, t(v
i1
, существительное)) (x
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, фио)) (х
i
:X) (x
i+1
:X)
Р
1
(СФИО, t(х
i
, x
i+1
));
r
59
s
= add [L
4
(D, (x
i
, x
i+1
)) L
1
(x
i
) L
2
(x
i+1
)].
116
     q59s = (∃xi:X) Р(xi, t(vi1, существительное)) ∧ (∃xi+1:X) Р(xi+1, t(v(i+1)1, фио)) ↔ (∃хi:X) (∃xi+1:X)
Р1(СФИО, t(хi, xi+1));
     r59s = add [L4(D, (xi, xi+1)) ∧ L1(xi) ∧ L2(xi+1)].




                                                       116