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

       -   вершина g~i′+1 имеет значение xj - Ps( g~i′+1 , xj);
       -   вершина g~i′ имеет векторов ηi - Ppar(ηi, t(z1, y1), t(z2, y2), t(z3, y3));
       -   вершина g~ ′ имеет векторов η - P (η , t(z , y ), t(z , y ), t(z , y ));
                         i +1                     i+1    par   i    1   5     2   6     3       7

       -   xi эквивалентно xj - PЕ(xi, xj).
                                                                                                    ~ ~        ~
     Тогда исходное состояние d0 будет задаваться парой вершин g i′ , g i′+1 ∈ G ′ и
соответствующих им векторов ηi, ηi+1:
  d0 = Ps( g~i′ , xi) ∧ Ps( g~i′+1 , xj) ∧ Ppar(ηi, t(z1, y1), t(z2, y2), t(z3, y3)) ∧ Ppar(ηi, t(z1,
                                                                                                          (3.17)
                                       y5), t(z2, y6), t(z3, y7)).
     А элементы продукции записываются в виде pr14Tr:
     q14 Tr= Ps( g~i′ , xi) ∧ Ps( g~i′+1 , xj) ∧ Ppar(ηi, t(z1, y1), t(z2, y2), t(z3, y3)) ∧ Ppar(ηi, t(z1, y5), t(z2,
y6), t(z3, y7), t(z4, y8)) ∧ PЕ(xi, xj) ↔ PЕ(y1, y5)∧PЕ(y2, y6)∧PЕ(y3, y7);
       r14Tr= elim[ g~i′ ].
                                                        ~               ~
     Дальнейшее преобразование графа G ′ в граф G заключается в переименовании
                                                                              ~
терминов логической модели данных, расположенных в оставшихся вершинах g~ ′ ∈ G ′ , на
                                                                 ~
термины физической модели данных. При этом каждой вершине g~ ∈ G приписывается              i

вектор τi =, где:
     xi1 – тип вершины: 1- таблица, 2 – столбец, 3 – оператор; 4 - значение;
     xi2 – идентификатор таблицы, если x1=2 или 4, в противном случае null;
     xi3 - идентификатор столбца, если x1=4, в противном случае null;
     xi4 - null или 1 - признак добавленной вершины;
     xi5 - вид связи: 1 – связь «таблица – таблица», 2 – связь «атрибут – значение», 3 – связь
«атрибут – логическая операция – значение», 4 – связь «вычислительная процедура –
атрибут», 5 – связь «атрибут – атрибут», 6 – связь «таблица – атрибут».
     Признак добавленной вершины x4 и вид связи x5 вектора τi заполняются в процессе
анализа пары смежных вершин на тип взаимосвязи при построении операторов SQL
(раздел 3.3).
                                        ~
     Для построения графа G необходимо сформировать множество предикатов Γ,
которое включает в себя подмножество предикатов перевода Γ8, основу которого
составляют предикаты физической модели данных, входящие во вторую группу знаний
метаописания базы данных и условие применимости q15Tr∈pr15Tr:
          Г = Γ8 ∧ q15Tr ={ Ps ( x, y, t trr ) }∧{ Ps (t ( x1 ,..., x k ), y, t trr ) } ∧q15Tr. (3.18)
     Доказательство осуществляется аналогично доказательству предыдущих гипотез, а d0
задается в виде:
       d0 = ( Ps ( xi , y, t trr ) ∨ Ps (t ( xi ), y, t trr ) )∧ Ppar(ηi, t(z1, y1), t(z2, y2), t(z3, y3)). (3.19)
     При доказательстве данной гипотезы необходимо рассмотреть четыре ситуации.
Первая ситуация касается случая, когда вершина g~i′ является сущностью, а вторая – когда
вершина g~ ′ является атрибутом логической модели данных, третья – когда вершина g~ ′
              i                                                                                                     i

является оператором и четвертая – когда вершина g~i′ является значением базы данных.
     Первая ситуация. Вершина g~i′ является сущностью, и ее можно заменить на
соответствующий термин физической модели данных с вектором τi =

                                                         71