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

                          r
Ps (студент, сущность, t tip ) утверждает, что термин студент∈Ξl и является сущностью
                                                 r
базы данных, а предикат Ps (фамилия, атрибут, t tip ) утверждает, что термин фамилия∈Ξl
является атрибутом базы данных;
                                         r                                                      r
        2) Ps (t ( x1 ,..., x k ), y, t tip ) - предикат, также задающий отношение типизации t tip ,
                                                           r
например, предикат Ps (t (телефон, домашний ), атрибут, t tip ) утверждает, что термины
телефон и домашний∈Ξl и в совокупности составляют атрибут базы данных;
        3) Ps ( x, y, t trr ) - предикат, задающий отношение перевода t trr , например, предикат
Ps (студент, student , t trr ) утверждает, что термин студент∈Ξl соответствует термину
student∈Ξf физической модели данных;
        4) Ps (t ( x1 ,..., x k ), y, t trr ) - предикат, задающий отношение перевода t trr , например,
предикат          Ps (t (телефон, домашний), nhtel , t trr )                 утверждает,            что      термины           телефон           и
                     l                                                                                         f
домашний∈Ξ и в совокупности соответствуют термину nhtel∈Ξ физической модели
данных;
        5) Ppar ( x, t ( p1 , v 1k 1 ),..., t ( pi , v ij ),..., t ( p m , v km2 )) - предикат, задающий отношение агрегации
  r
t agr между таблицей х и pi столбцом базы данных в терминах t∈Ξf, а также – отношение
характеризации между pi атрибутом сущности х и ее признаком vij. Например, предикат:
Ppar (ChildStud , t ( NChild , d ), t (CodeEducInst , v), t (CodeStudent , v), t ( Family , h), t ( Name, h), t ( BirthDay , h), t (CodeSex, v))
 утверждает, что таблица ChildStud∈Ξf и включает в себя атрибуты NChild, CodeEducInst, CodeStudent, Family, Name, BirthDay, CodeSex,
каждый из которых имеет признак одного из трех типов: дифференциальный – d, характеристический – h или валентный – v, а предикат
Ppar ( SprSex, t (CodeSex, d ), t ( Sex, h)) утверждает, что таблица SprSex∈Ξ и включает в себя атрибуты CodeSex, Sex, которые имеют
                                                                             f


дифференциальный и характеристический признаки соответственно.
     Примеры приведенных предикатов соответствуют описанию фрагмента физической
модели данных, изображенному на рисунке 3.1.
                                              SprSex
                                               CodeSex: int NOT NULL
                                               Sex: char(7) NOT NULL

                                                                 ChildStud
                                                                  CodeEducInst: int NOT NULL (FK)
                                                                  CodeStudent: int NOT NULL (FK)
                                                                  NChild: int NOT NULL
                                                                  Family: char(18) NULL
                                                                  Name: char(18) NULL
                                                                  BirthDay: datetime NULL
                                                                  CodeSex: int NULL (FK)
                                                                  CodeZ: int NULL
                                                                  DateZ: datetime NULL

                 Рис. 3.1. Фрагмент физической модели данных «Контингент учащихся»

     Представление таблиц в виде такого параметрического предиката позволяет также
показать их взаимосвязь. Для примера рассмотрим предыдущие два предиката:
1 − Ppar (ChildStud , t ( NChild , d ), t (CodeEducInst , v), t (CodeStudent , v), t ( Family, h), t ( Name, h), t ( BirthDay, h), t (CodeSex, v)),
2 − Ppar ( SprSex, t (CodeSex, d ), t ( Sex, h))
      Они имеют общий атрибут CodeSex, при этом в таблице SprSex этот атрибут является
дифференциальным, а в таблице ChildStud – валентным. Это говорит о том, что таблицы
SprSex и ChildStud связаны через этот атрибут и при этом таблица SprSex является главной,
а ChildStud – зависимой;


                                                                       58