17220

Использование операций реляционного исчисления для формирования запросов на выборку данных средствами SQL

Лабораторная работа

Информатика, кибернетика и программирование

Лабораторная работа № 4 Тема: Использование операций реляционного исчисления для формирования запросов на выборку данных средствами SQL. Цель работы: Изучить формулы реляционного исчисления и возможность их примирения к формированию запросов на выборку данных. Ис...

Русский

2013-06-30

76.5 KB

3 чел.

Лабораторная работа № 4

Тема: Использование операций реляционного исчисления для формирования запросов на выборку данных средствами SQL.

Цель работы: Изучить формулы реляционного исчисления и возможность их примирения к формированию запросов на выборку данных. Используя синтаксические конструкции квантора существования, а также вложенных запросов реализовать предложенные естественно-языковые формулировки запросов и формальную запись суждений средствами SQL.

Структура лабораторной работы

  1.  Общие сведения об операторах реляционной алгебры.
    1.  Использование предикатов для формирования запросов.
  2.  Задание к лабораторной работе.
    1.  Реализация запросов на естественном языке.
    2.  Реализация запросов по выражениям реляционного исчисления.
  3.  Оформление отчета.
  4.  Контрольные вопросы.

1. Общие сведенья о выражениях реляционного исчисления

1.1. Использование предикатов для формирования запросов

Реляционное исчисление кортежей строит правильные отношения путем описания условий, которым должны удовлетворять составляющие их кортежи. Условия описываются с помощью формул, которые имеют вид:

{tP(t)}

Здесь t – переменная, обозначающая некоторый кортеж, а P(t) – предикат от этой переменной. Формула исчисления кортежей описывает множество всех таких кортежей t, для которых предикат P(t) принимает значение истина.

Элементарными образующими элементами предиката P(t) являются атомы, которые могут быть следующих видов:

  1.  R(t), где r – переменная-кортеж, R – отношение. Данный атом имеет значение истина, если кортеж r принадлежит отношению R. При этом если отношение R имеет схему H(R), то и кортеж r имеет такую же схему. Например, СОТРУДНИК(t), означает, что r является кортежем отношения СОТРУДНИК, и имеет схему {ИМЯ, ФАМИЛИЯ, ОТЧЕСТВО, ВОЗРАСТ} (если отношение СОТРУДНИК имеет данную схему).
  2.  S[A]  r[B], где r и s – некоторые кортежи, A и B – имена атрибутов, причем A  H(s) и B  H(r), и  – арифметический оператор сравнения (=,<,>,,,). Этот атом принимает значение истина, тогда и только тогда, когда атрибут A кортежа s находится в отношении с атрибутом B кортежа r. Например, если r,СОТРУДНИК(s), то r[ВОЗРАСТ] < s[ВОЗРАСТ] имеет значение “истина”, если возраст сотрудника r меньше возраста сотрудника s.
  3.  S[A]  v, где s – некоторый кортеж, A – имя атрибута (A  H(s)), а v – константа из домена атрибута A. Этот атом принимает значение “истина”, если значение атрибута A кортежа s находится в отношении с константой v. Например, r[ВОЗРАСТ] < 40, принимает значение “истина”, если возраст сотрудника r меньше 40.

Предикат p(t) строится из атомов с использованием логических связок, кванторов и скобок. Синтаксически правильные предикаты имеют следующее рекурсивное определение:

  1.  Каждый атом – это правильный предикат.
  2.  Если P1 и P2 – правильные предикаты, то P1  P2, P1  P2, и P1 – также правильные предикаты, утверждающие соответственно, что “ P1 и P2 оба являются истинными”, “ P1 или P2, либо оба являются истинными”, и “ P1 не является истинным”.
  3.  Если P – правильный предикат, то (s)(P) – также является правильным предикатом, который утверждает, что существует такое значение переменной-кортежа s, при подстановке которого в предикат P на место всех вхождений переменной s, предикат P принимает значение “истина”. Например, предикат (s)(СОТРУДНИК(s)  s[ВОЗРАСТ] < 40) утверждает, что в отношении СОТРУДНИК существует кортеж s для сотрудника с возрастом меньше 40.
  4.  Если P – правильный предикат, то (s)(P) – также является правильным предикатом, который утверждает, что для всех значений переменной-кортежа s, при подстановке на место всех вхождений переменной s в предикат P, P принимает значение “истина”. Например, предикат (s)((СОТРУДНИК(s))  s[ВОЗРАСТ]  20) утверждает, что для всех сотрудников возраст не может быть меньше 20 лет.
  5.  Если P – правильный предикат, то (P) – также правильный предикат. Скобка могут расставляться всегда, когда возникает неоднозначность при интерпретации старшинства операторов. Обычно предполагается следующий порядок: арифметические сравнения (=,<,>,,,, здесь порядок любой), , , , , .
  6.  Ничто иное не является правильным предикатом.

Использование кванторов и приводит к тому, что значение следующего за ними предиката перестает зависеть от конкретных значений соответствующих переменных или от любых дополнительных ограничений, которые могут присутствовать все данного предиката. В этом случае говорят, что переменные связываются кванторами. Понятие связанной переменной в определенном смысле аналогично понятию локальной переменной в подпрограмме. Окружающая среда не может повлиять на значение такой переменной, и, следовательно, выполнение подпрограммы не зависит от того, какое значение имела данные переменная в окружении (собственно вне подпрограммы ее и не существует).

Переменные, которые не связаны каким либо квантором, называются свободными. От значений свободных переменных в окружении зависит значение соответствующего предиката. С этой точки зрения свободные переменные аналогичны глобальным переменным.

Правильная формула реляционного исчисления кортежей предполагает, что предикат p(t) должен содержать единственную свободную переменную t. Все остальные переменные должны быть связаны.

Используя БД, рассматриваемую в лабораторной работе № 1, сформулируем примеры запросов с использованием формул реляционного исчисления с переменными кортежами.

Получить список авторов (publisher) проживающих в городе Харькове (adres).

{t(1)(u) (publishers(u)  (v) spr_publisher(v) t[1] = u[publisher]  

u[publisher] v[publisher] v[adres] = ‘Харьков’)}

Запрос на SQL для этого выражения можно записать в виде:

SELECT publisher from publishers AS a where exists

(select * from spr_publisher AS b where a.publisher=b.publisher

and address='Харьков')

Получить список адресов авторов (adres), которые опубликовали, по крайней мере, одну книгу в 2000 году (yearpub).

{t(1)(u) (spr_publisher(u) t[1] = u[adres] (v) (publishers(v) u[publisher] =

v[publisher] (w) (tiles(w) v[pub_id] = v[pub_id] w[yearpub] = 2000)))}

Запрос на SQL для этого выражения можно записать в виде:

SELECT address from spr_publisher AS a where exists

(select * from publishers AS b where a.publisher=b.publisher

and exists (select * from titles AS c where b.pub_id=c.pub_id

and c.yearpub=2000))

Получить список авторов (publisher), которые не проживают в городе Харьков (adres).

{t(1)(u) (publishers(u) t[1] = u[publisher] (v) (spr_publisher(v)  

u[publisher] = v[publisher] v[adres] = ‘Харьков’)))}

Запрос на SQL для этого выражения можно записать в виде:

SELECT publisher from publishers AS a where not exists

(select * from spr_publisher AS b where

a.publisher=b.publisher and b.address = 'Харьков')

2Задание к лабораторной работе

2.1. Реализовать следующие запросы средствами SQL:

  1.  Перечислить поставщиков, не поставляющих деталь Д1.
  2.  Перечислить поставщиков, не поставляющих детали Д1 или Д2.
  3.  Перечислить поставщиков, не поставляющих одновременно детали Д1 и Д2.
  4.  Перечислить поставщиков, поставляющих хотя бы одну деталь заданного списка (список задать самостоятельно через запрос).
  5.  Перечислить поставщиков, не поставляющих ни одной детали заданного списка (список задать самостоятельно через запрос).
  6.  Перечислить поставщиков, поставляющих одновременно детали Д1 и Д2.
  7.  Перечислить поставщиков, не поставляющих хотя бы одну деталь заданного списка (список задать самостоятельно через запрос).
  8.  Перечислить поставщиков, поставляющих все детали заданного списка (список задать самостоятельно через запрос).

2.2. Реализовать запросы на SQL, по заданным формулам реляционного исчисления.

Здесь (1) – означает, что результирующая таблица имеет арность 1, то есть 1 столбец.

  1.  {t(1) | ($ u) (POST(u) Ù t[1] = u[NP] Ù u[ADRES] = 'Москва')}
  2.  {t(2) | ($ u) (POST(u)  Ù t[1] = u[IMIA] Ù t[1] = u[NP] Ù ($ v) POSTKA(v) Ù u[NP] = v[NP] Ù v[ND] = 'Д2')}
    1.  {t(2) | ($ u) (POST(u)  Ù ($ v) (POSTKA(v)  Ù t[1] = u[IMIA] Ù t[1] = u[NP] Ù u[NP] = v[NP] Ù ($ w) (DETAL(w) Ù v[ND] = w[ND] Ù w[MATER] = ‘M1’)))}
    2.  {t(2) | ($ u) (POST(u) Ù t[1] = u[IMIA]  Ù t[2] = u[NP] Ù ($ v) POSTKA(v) Ù u[NP] = v[NP] Ù u[ND] = 'Д2')}
  3.  {t(1) | (($ u) (DETAL(u) Ù t[1] = u[ND] Ù u[CENA] > 3) Ú (($ v) (POSTKA(v) Ù v[ND] = u[ND] Ù v[NP] = '2')))}
  4.  {t(2) | ($ u) (POST(u) Ù t[1] = u[IMIA] Ù t[1] = u[NP] Ù u[NP] <> '6' ($ v) (POSTKA(v) Ù u[NP] = v[NP] Ù ($ w) (POSTKA(w) Ù v[ND] = w[ND] Ù w[NP] = '6')))}

3Оформление отчета

  1.  Титульный лист оформляется согласно традиционным требованиям, включая Номер работы, Номер группы и ФИО студента, а также кто принимал данную работу.
  2.  Содержание должно включать Тему лабораторной работы и Ход ее выполнения.
  3.  Ход выполнения работы должен содержать все инструкции SQL (SELECT) реализованные в лабораторной работе и полученные при этом результаты. Условия заданий записывать не обязательно.
  4.  Выводы.

4Контрольные вопросы

  1.  Виды реляционного исчисления.
  2.  Общий вид формулы реляционного исчисления с переменными - кортежами.
  3.  Общий вид формулы реляционного исчисления с переменными - доменами.
  4.  Возможные типы атомов реляционного исчисления с переменными - кортежами.
  5.  Эквивалентное преобразование формул реляционного исчисления с переменными - кортежами.
  6.  Безопасные выражения реляционного исчисления с переменными - кортежами.
  7.  Примеры записи формул реляционного исчисления с переменными - кортежами.
  8.  Принцип построения запросов на SQL с использованием квантора существования EXISTS.


 

А также другие работы, которые могут Вас заинтересовать

41609. Решение системы линейных уравнений методом простых итераций и методом Чебышева 45.92 KB
  Требуется написать программу реализующая 2 метода решение системы линейных уравнений: 1методом простых итераций; 2методом Чебышева. Теория: 1Метод простых итераций Требуется решить систему уравнений 1 где симметрическая положительно определенная матрица. Метод простых итераций имеет вид...
41610. Первинні засоби пожежогасіння. Вибір типу та визначення необхідної кількості первинних засобів пожежогасіння 309.89 KB
  Головним критерієм вибору виду вогнегасників є величина можливого осередку пожежі. Визначаємо рекомендовані типи вогнегасників. Користуючись рекомендаціями таблиці Д5 щодо порошкових вогнегасників визначаємо що для захисту промислових обєктів рекомендованими є такі типи переносних порошкових вогнегасників: ВП5 ВП6 ВП9 ВП12 записуємо в табл. Визначаємо кількість вогнегасників.
41611. Диференціальні рівняння в частинних похідних 44.88 KB
  resizeN1; forint i = 0; i N1; i u[0][i] = conditionih; forint j = 1; j NT; j { file T: htj endl; forint i = 1; i N; i f[i] = u[j1][i1] 2u[j1][i] u[j1][i1] 2hh u[j1][i]1 ht Q 2; l[2] = c; b[2] = f[1] c; u[j][0] = 0; u[j][N] = 0; forint i = 2; i N; i { l[i1] = c l[i]; b[i1] = f[i] b[i] c l[i]; } forint i = N1; i 0; i u[j][i] = l[i1]u[j][i1] b[i1]; int emx = 0; for int i = 0; i N; i { file x: ih ...
41612. Створення нової бази даних в середовищі MySQL 138.93 KB
  Створити нову базу даних та заповнити її даними. Короткі теоретичні відомості: Основи роботи з phpMydmin При установці Denwer також встановлюється на комп'ютер phpMydmin за допомогою якого можна керувати базою даних MySQL через вебінтерфейс. У цьому полі латинськими буквами записується назва бази даних наприклад exmple і натискається створити.
41613. Приближенное вычисление интеграла методом Симпсона и методом Гаусса 92.3 KB
  Требуется вычислить интеграл: Требуется использовать: метод Симпсона метод Гаусса Теория: 1 Метод Симпсона Для приближённого вычисления интеграла чаще всего подынтегральную функцию заменяют близкой ей вспомогательной функцией интеграла от которой вычисляется аналитически. В частности если при вычислении подынтегральную функцию заменить интерполяционным многочленом второй степени построенным по значениям функции в трёх...
41614. Состояние дерматовенерологических больных в Винницкой области 354.5 KB
  Проблема совершенствования лекарственного обеспечения населения регионов Украины остается актуальной. Особое значение в её решении имеет региональный подход к изучению фармацевтического рынка, его насыщенности и рациональному использованию лекарственных средств. С этой целью широко используются метод фармакоэкономического анализа
41615. Решение уравнения f(x)=0 методами простых итераций и Ньютона 134.65 KB
  Если же то вычисления заканчивают и за приближённое значение корня принимают величину . Абсциссы вершин этой ломанной представляют собой последовательные приближения корня . Из рисунков видно что если на отрезке то последовательные приближения колеблются около корня если же производная положительна то последовательные приближения сходятся к корню монотонно. Если через точку с координатами провести касательную то абсцисса точки пересечения этой касательной с осью и есть очередное приближение корня уравнения .
41616. Інтенсифікація сільськогосподарського виробництва в землеробстві і удосконалення с структури посівних площ в господарстві \"Студенний Яр\" у селі Купа Новоушицького району Хмельницької області 541.5 KB
  Загальні відомості про господарство на період написання курсової роботи. Агрокліматичні умови зони розташування господарства. Агрохімічна характеристика ґрунтів та рекомендації до їх раціонального використання. Експлікація і трансформація земельних угідь господарства. Існуюча система сівозмін у господарстві. Обґрунтування та проектування нової системи сівозмін для господарства
41617. Приближённое решение задачи Коши методами Эйлера и Рунге-Кутта 97.24 KB
  Решить на отрезке с шагом задачу Коши для системы второго порядка = Требуется использовать: метод Эйлера метод Рунге-Кутта Теория: 1 Метод Эйлера Пусть требуется найти приближённое решение дифференциального уравнения удовлетворяющее начальному условию. Чаще всего 1 Этот метод относится к группе одношаговых методов в которых для расчёта точки...