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

типизации с понятием «операнд» и имеет вектор ηi с элементами z1, z2, z3, соответствуют
предикаты: ( ∃ xi:Х) PS(xi, операнд, trtip) и Ppar(ηi, t(z1, Null), t(z2, 3), t(z3, Null)).
      В этом случае элементы pr1Tr продукции записываются в виде:
      q1Tr = PS(xi, y1, trtip) ∧ PE(y1, операнд) ∧ PS(xi, y2, trtr)↔ ( ∃ xi:Х) PS(xi, операнд, trtip) ∧
Ppar(ηi, t(z1, Null), t(z2, 3), t(z3, Null));
      r1Tr = add[(Ppar(ηi, t(z1, Null), t(z2, 3), t(z3, Null)) ∧ ( g~i′ , y2)].
      Вторая ситуация. Лексема xi является операцией, имеет вектор ηi с элементами z1, z2,
z3 и её можно заменить на соответствующее понятие из множества специальных понятий
проблемной среды тогда и только тогда, когда имеет место закономерность, описываемая
конъюнкцией следующих фактов:
      - лексема xi находится в отношении типизации с понятием y1 - PS(xi, y1, trtip);
      - понятие y1 имеет значение «операция» - PE(y1, операция);
      - лексема xi находится в отношении перевода с понятием y2 - PS(xi, y2, trtr).
      Утверждению о том, что существует лексема xi, которая находится в отношении
типизации с понятием «операция» и имеет вектор ηi с элементами z1, z2, z3, соответствуют
предикаты: ( ∃ xi:Х)PS(xi, операция, trtip) и Ppar(ηi, t(z1, Null), t(z2, 4), t(z3, Null)).
      Элементы продукции pr2Tr записываются в виде:
      q2Tr = PS(xi, y1, trtip) ∧ PE(y1, операция) ∧ PS(xi, y2, trtr)↔ ( ∃ xi:Х) PS(xi, операция, trtip) ∧
Ppar(ηi, t(z1, Null), t(z2, 4), t(z3, Null));
      r2Tr = add[(Ppar(ηi, t(z1, Null), t(z2, 4), t(z3, Null)) ∧ ( g~i′ , y2)].
     Третья ситуация. Лексема xi является вычислительной процедурой, имеет вектор ηi с
элементами z1, z2, z3 и ее можно заменить на соответствующее понятие из множества
специальных понятий проблемной среды тогда и только тогда, когда имеет место
закономерность, описываемая конъюнкцией следующих фактов:
     - лексема xi находится в отношении типизации с понятием y1 - PS(xi, y1, trtip);
     - понятие y1 имеет значение «вычислительная процедура» - PS(xi, y1, trtip); PE(y1,
вычислительная процедура);
     - лексема xi находится в отношении перевода с понятием y2 - PS(xi, y2, trtr).
     В данном случае утверждение описывается продукцией pr3 Tr:
     q3Tr = PS(xi, y1, trtip) ∧ PE(y1, вычислительная процедура) ∧ PS(xi, y2, trtr)↔ ( ∃ xi:Х) PS(xi,
вычислительная процедура, trtip) ∧ Ppar(ηi, t(z1, Null), t(z2, 5), t(z3, Null));
     r3Tr = add[(Ppar(ηi, t(z1, Null), t(z2, 5), t(z3, Null)) ∧ ( g~i′ , y2)].
     Таким образом, в случае успешного доказательства первой гипотезы в вершину g~ ′ ,                                    i

соответствующую вершине gi, будет занесено понятие y2 из множества специальных
понятий проблемной среды y2∈Ξs и сформирован соответствующий ей вектор ηi .
     Система продукций для доказательства второй гипотезы
     При доказательстве второй гипотезы необходимо рассмотреть две ситуации. Первая
ситуация касается случая, когда вершина g является сущностью. Вторая ситуация – когда
вершина g является атрибутом логической модели данных. При этом множество
предикатов Г включает в себя подмножество предикатов типизации Г2 и условие
применимости qi∈pri ( i = 4,5 ), т.е. Γ = Г2 ∧ qi = { Ps ( x, y, t tip
                                                                    r
                                                                       ) }∧{ Ps (t ( x1 ,..., x k ), y , t tip
                                                                                                            r
                                                                                                               ) }∧ qi.
       Доказательство осуществляется аналогично доказательству предыдущей гипотезы, а

                                                            66