Введение 3
1. Реляционная теория базы данных. Теоретические аспекты 4
2. Построение запросов 10
2.1. Выбор базы данных 10
2.2. Построение запросов для формул с одним квантором 13
2.3. Построение запросов для формул с двумя кванторами 24
2.4. Построение запросов для формул с тремя кванторами 46
Заключение 49
Литература 50
Приложение
Построение запросов в реляционной модели представляет собой важную задачу. Для записи запросов в реляционной модели используется язык SQL. Однако запись сложного запроса, затрагивающего большое количество отношений, является достаточно непростой задачей, требующей от пользователя знания как структуры отношений, составляющих базу данных, так и владения математическим аппаратом, используемым при построении запросов.
Обычно любой запрос представляется в неформальном виде в рамках терминов решаемой задачи. Переход к программному коду предполагает формализацию задачи, перевод полученной формулы в программный код на языке SQL.
Основной целью работы является классификация различного типа запросов, встречающихся в базах данных, выяснение как структура запроса зависит от структуры базы данных. Для некоторой специальным образом подобранной базы данных необходимо классифицировать виды возможных запросов в зависимости от порядка следования кванторов в формуле запроса с учетом имеющихся зависимостей в базе данных.
В выпускной работе рассматривались запросы длины 1, 2,3. Для первых двух вариантов дан подробный анализ и некоторые рекомендации как строить эффективные реализации. В работе рассмотрена классификация запросов к некоторой выбранной реляционной базе данных, проведена их систематизация и дан анализ построения эффективных реализаций. Предполагается, что результаты этой работы будут использованы при обучении студентов в курсах по базам данных. Все запросы были доведены до программного кода и оттестированы. Результаты тестирования запросов приведены в приложении.
