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

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

9. {t⁽¹⁾ | ($ u) (POST(u) Ù t[1] = u[NP] Ù u[ADRES] = 'Москва')}

10. {t⁽²⁾ | ($ u) (POST(u) Ù t[1] = u[IMIA] Ù t[1] = u[NP] Ù ($ v) POSTKA(v) Ù u[NP] = v[NP] Ù v[ND] = 'Д2')}

11. {t⁽²⁾ | ($ 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’)))}

12. {t⁽²⁾ | ($ u) (POST(u) Ù t[1] = u[IMIA] Ù t[2] = u[NP] Ù (Ø$ v) POSTKA(v) Ù u[NP] = v[NP] Ù u[ND] = 'Д2')}

13. {t⁽¹⁾ | (($ u) (DETAL(u) Ù t[1] = u[ND] Ù u[CENA] > 3) Ú (($ v) (POSTKA(v) Ù v[ND] = u[ND] Ù v[NP] = '2')))}

14. {t⁽²⁾ | ($ 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')))}

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

1. Титульный лист оформляется согласно традиционным требованиям, включая Номер работы, Номер группы и ФИО студента, а также кто принимал данную работу.

2. Содержание должно включать Тему лабораторной работы и Ход ее выполнения.

3. Ход выполнения работы должен содержать все инструкции SQL (SELECT) реализованные в лабораторной работе и полученные при этом результаты. Условия заданий записывать не обязательно.

4. Выводы.

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

1. Виды реляционного исчисления.

2. Общий вид формулы реляционного исчисления с переменными - кортежами.

3. Общий вид формулы реляционного исчисления с переменными - доменами.

4. Возможные типы атомов реляционного исчисления с переменными - кортежами.

5. Эквивалентное преобразование формул реляционного исчисления с переменными - кортежами.

6. Безопасные выражения реляционного исчисления с переменными - кортежами.

7. Примеры записи формул реляционного исчисления с переменными - кортежами.

8. Принцип построения запросов на SQL с использованием квантора существования EXISTS.