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

выявление синтаксической связи между двумя лексемами множества Х с учетом полученных
синтаксических групп. Для этого синтаксический анализатор подает на вход модуля
управления продукционными правилами продукцию, которая относится ко второй группе
синтаксических правил. В случае успешного доказательства истинности qjS условия
применимости на текущей исходной ситуации синтаксический анализатор активизирует
процедуры программы rjS и осуществляет переход к рассмотрению следующей пары лексем.
На последнем этапе осуществляется формирование графа синтаксического разбора G ′′ и
переход к проблемному анализу.
     На вход проблемного анализатора поступает множество дуг, представленных
множеством пар лексем D. Трансляция естественно-языкового запроса в SQL-запрос
осуществляется в несколько этапов. Задачей первого этапа является нормализация лексем, то
есть приведение их к начальной форме, к форме, в которой описаны понятия проблемной
                                                                                             ~
среды и метаописание базы данных. На втором этапе осуществляется построение графа G ′ ,
изоморфного графу G ′′ . Для этого каждая нормализованная лексема и соответствующая
данному этапу продукция PriTr1 подаются на вход модуля управления продукционными
правилами. В случае успешного доказательства условия применимости qiTr1 на входной
ситуации d0 выполняется формирование соответствующего вектора η для каждой вершины
графа согласно процедурам программы riTr1. На третьем этапе происходит преобразование
графа зависимостей терминов логической модели в граф зависимостей терминов физической
модели. При этом на вход модуля управления продукционными правилами подается вершина
       ~
графа G ′ и продукция из множества продукций, принадлежащих PriTr2. В случае успешного
доказательства каждой вершине xj приписывается вектор τl. На последнем этапе проблемного
анализа осуществляется формирование SQL-запроса. В первую очередь выявляется тип связи
                                                 ~
между парой вершин {( g~i , g~ j )| g~i , g~ j ∈ G }, для чего доказываются ситуации, описанные
продукциями множества PriTr3. В результате успешного доказательства происходит
                                                                                    ~
обновление вектора τl и формирование графа G , путем добавления новых вершин в граф G .
Последним шагом данного этапа является формирование самого SQL – запроса посредством
доказательства продукций PriTr4.
     Модуль управления продукционными правилами осуществляет для Prit продукции
выбор типа предиката для представления исходной ситуации d0. В случае необходимости
активизирует функциональные предикаты и формирует множество предикатов Гw, обращаясь
к базе данных текущего анализатора. Далее модуль управления продукционными правилами
подает текущую продукцию qit на вход системы перевода для формирования множества
дизъюнктов Γ. Во множество Γ включаются дизъюнкты, полученные в результате
преобразования формулы, задающей условие применимости qit продукции Prit, в
скулемовскую стандартную форму.




                                                  142