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

входная ситуация d0 задается в виде:
                                                   r
                             d0 = Ps ( x i , y, t tip ) ∨ Ps (t ( x i ), y , t tip
                                                                                r
                                                                                   ).                                 (3.7)
        Рассмотрим подробнее возможные ситуации для второй гипотезы.
        Первая ситуация. Лексема xi является сущностью и имеет вектор ηi с элементами z1,
z2, z3 тогда и только тогда, когда имеет место следующая конъюнкция фактов:
        - лексема xi находится в отношении типизации с понятием y1 - PS(xi, y1, trtip) или
PS(t(xi), y1, trtip);
        - понятие y1 имеет значение «сущность» - PE(y1, сущность).
        Тогда элементы продукции можно представить в виде pr4Tr:
        q4Tr = (PS(xi, y1, trtip) ∨ PS(t(xi), y1, trtip)) ∧ PE(y1, сущность) ↔ ( ∃ xi:Х) PS(xi, сущность,
trtip) ∧ Ppar(ηi, t(z1, 1), t(z2, 2), t(z3, null));
        r4Tr = add[Ppar(ηi, t(z1, 1), t(z2, 2), t(z3, null))].
        Вторая ситуация. Лексема xi является характеристическим атрибутом и имеет вектор
ηi с элементами z1, z2, z3 тогда и только тогда, когда имеют место ситуации, составляющие
следующую конъюнкцию фактов:
        - лексема xi находится в отношении типизации с понятием y1 (PS(xi, y1, trtip) или
PS(t(xi), y1, trtip));
        - понятие y1 имеет значение «атрибут» (PE(y1, атрибут)).
        Продукция представляется в виде pr5Tr:
        q5Tr = (PS(xi, y1, trtip) ∨ PS(t(xi), y1, trtip)) ∧ PE(y1, атрибут) ↔ ( ∃ xi:Х) PS(xi, атрибут, trtip)
 ∧ Ppar(ηi, t(z1, 1), t(z2, 1), t(z3, h));
        r5Tr = add[Ppar(ηi, t(z1, 1), t(z2, 1), t(z3, h))].
        В случае успешного доказательства второй гипотезы вершине gi будет приписан
соответствующий ей вектор ηi.
        Система продукций для доказательства третьей гипотезы
        Доказательство третьей гипотезы связано с доказательством четырех гипотез нижнего
уровня.
        Первая гипотеза нижнего уровня. Для доказательства предположения, что лексема в
вершине g является тождественным понятием некоторому термину логической модели
данных,      формируется        множество             предикатов             Г=Γ3∧q6Tr={ Ps ( x, y, t tgr ) }∧q6Tr,    где
{ Ps ( x, y, t tgr ) }- подмножество предикатов, задающих отношение тождества, а q6Tr – условие
применимости продукции pr6Tr. Входная ситуация d0 в этом случае задается предикатом
вида Ps ( xi , y, t tgr ) , где хi – понятие, находящееся в вершине g.
     Если доказательство прошло успешно, то в вершину g заносится соответствующее ей
понятие yj, для доказательства корректности которого осуществляется переход на
доказательство второй гипотезы верхнего уровня. Для этого необходимо найти
                                            Tr
транзитивное замыкание d 0 → d1 , в котором применение продукции pr6Tr позволит
                            pr6


                                              r
получить новое состояние d1= Ps ( x i , y, t tip ) ∨ Ps (t ( x i ), y, t tip
                                                                          r
                                                                             ) , где xi – понятие yj вершины g.
       Утверждение о том, что существует лексема xi, которая является тождественным
понятием некоторому термину логической модели данных, соответствует предикат
( ∃ xi:Х)PS(xi, zj, trtg), а в продукции pr6 условие применимости q6 и программа r6 будут иметь
следующий вид: q6 = PS(xi, zj, trtg) ↔ ( ∃ xi:Х) PS(xi, zj, trtg); r6 = add[(xi, zj)].
                                                               67