- •Лекция № 1. Введение
- •1. Системы управления базами данных
- •2. Реляционные базы данных
- •Лекция № 2. Отсутствующие данные
- •1. Пустые значения (Empty-значения)
- •3. Null-значения и общее правило вычисления выражений
- •4. Null-значения и логические операции
- •5. Null-значения и проверка условий
- •Лекция № 3. Реляционные объекты данных
- •1. Требования к табличной форме представления отношений
- •2. Домены и атрибуты
- •3. Схемы отношений. Именованные значения кортежей
- •4. Кортежи. Типы кортежей
- •5. Отношения. Типы отношений
- •Лекция № 4. Реляционная алгебра. Унарные операции
- •1. Унарная операция выборки
- •2. Унарная операция проекции
- •3. Унарная операция переименования
- •4. Свойства унарных операций
- •Лекция № 5. Реляционная алгебра. Бинарные операции
- •1. Операции объединения, пересечения, разности
- •2. Операции декартового произведения и естественного соединения
- •3. Свойства бинарных операций
- •4. Варианты операций соединения
- •5. Производные операции
- •6. Выражения реляционной алгебры
- •Лекция № 6. Язык SQL
- •1. Оператор Select – базовый оператор языка структурированных запросов
- •2. Унарные операции на языке структурированных запросов
- •1. Операция выборки.
- •2. Операция проекции.
- •3. Операция переименования.
- •3. Бинарные операции на языке структурированных запросов
- •1. Операция объединения.
- •2. Операция пересечения.
- •3. Операция разности.
- •4. Операция декартова произведения.
- •5. Операции внутреннего соединения.
- •6. Операция естественного соединения.
- •7. Операция левого внешнего соединения.
- •8. Операция правого внешнего соединения.
- •9. Операция полного внешнего соединения.
- •4. Использование подзапросов
- •Лекция № 7. Базовые отношения
- •1. Базовые типы данных
- •2. Пользовательский тип данных
- •3. Значения по умолчанию
- •4. Виртуальные атрибуты
- •5. Понятие ключей
- •Лекция № 8. Создание базовых отношений
- •1. Металингвистические символы
- •2. Пример создания базового отношения в записи на псевдокоде
- •3. Ограничение целостности по состоянию
- •4. Ограничения ссылочной целостности
- •5. Понятие индексов
- •6. Модификация базовых отношений
- •Лекция № 9. Функциональные зависимости
- •1. Ограничение функциональной зависимости
- •2. Правила вывода Армстронга
- •3. Производные правила вывода
- •4. Полнота системы правил Армстронга
- •Лекция № 10. Нормальные формы
- •1. Смысл нормализации схем баз данных
- •2. Первая нормальная форма (1NF)
- •3. Вторая нормальная форма (2NF)
- •4. Третья нормальная форма (3NF)
- •5. Нормальная форма Бойса – Кодда (NFBC)
- •6. Вложенность нормальных форм
- •Лекция № 11. Проектирование схем баз данных
- •1. Различные типы и кратности связей
- •2. Диаграммы. Виды диаграмм
- •3. Связи и миграция ключей
- •Лекция № 12. Связи классов сущностей
- •1. Иерархическая рекурсивная связь
- •2. Сетевая рекурсивная связь
- •3. Ассоциация
- •4. Обобщения
- •5. Композиция
- •6. Агрегация
- •7. Унификация атрибутов
- •Лекция № 13. Экспертные системы и продукционная модель знаний
- •1. Назначение экспертных систем
- •2. Структура экспертных систем
- •3. Участники разработки экспертных систем
- •4. Режимы работы экспертных систем
- •5. Продукционная модель знаний
Лекция № 5. Реляционная алгебра. Бинарные операции
1.Операции объединения, пересечения, разности
Улюбых операций есть свои правила применимости, которые необходимо соблюдать, чтобы выражения и действия не теряли смысла. Бинарные теоретико-множественные операции объединения, пересечений и разности могут быть применены только к двум отношениям обязательно с одной и той же схемой отношения. Результатом таких бинарных операций будут являться отношения, состоящие из кортежей, удовлетворяющих условиям операций, но с такой же схемой отношения, как и у операндов.
1. Результатом операции объединения двух отношений r1(S) и r2(S) будет новое
отношение r3(S), состоящее из тех кортежей отношений r1(S) и r2(S), которые принадлежат хотя бы одному из исходных отношений и с такой же схемой отношения.
Таким образом, пересечение двух отношений – это:
r 3(S) = r1(S) r2(S) = {t(S) | t r1 t r2};
Для наглядности, приведем пример в терминах таблиц: Пусть даны два отношения:
r1(S):
r2(S):
Мы видим, что схемы первого и второго отношений одинаковы, только имеют различной количество кортежей. Объединением этих двух отношений будет отношение r3(S), которому будет соответствовать следующая таблица:
r3(S) = r1(S) r2(S):
Итак, схема отношения S не изменилась, только выросло количество кортежей.
2. Перейдем к рассмотрению следующей бинарной операции – операции пересечения двух отношений. Как мы знаем еще из школьной геометрии, в результирующее отношение войдут только те кортежи исходных отношений, которые присутствуют одновременно в обоих отношениях r1(S) и r2(S) (снова обращаем внимание на одинаковую схему отношения).
Операция пересечения двух отношений будет выглядеть следующим образом:
r 4(S) = r1(S) ∩ r2(S) = {t(S) | t r1 & t r2};
И снова рассмотрим действие этой операции над отношениями, представленными в виде таблиц:
r1(S):
r2(S):
Согласно определению операции пересечением отношений r1(S) и r2(S) будет новое отношение r4(S), табличное представление которого будет выглядеть следующим образом:
r 4(S) = r1(S) ∩ r2(S):
Действительно, если посмотреть на кортежи первого и второго исходного отношений, общий среди них только один: {b, 2}. Он и стал единственным кортежем нового отношения r4(S).
3. Операция разности двух отношений определяется аналогичным с предыдущими операциями образом. Отношения-операнды, так же, как и в предыдущих операциях, должны иметь одинаковые схемы отношения, тогда в результирующее отношение войдут все те кортежи первого отношения, которых нет во втором, т. е.:
r5(S) = r1(S) \ r2(S) = {t(S) | t r1 & t r2};
Уже хорошо знакомые нам отношения r1(S) и r2(S), в табличном представлении выглядящие следующим образом:
r1(S):
r2(S):
Мы рассмотрим как операнды в операции пересечения двух отношений. Тогда, следуя данному определению, результирующее отношение r5(S) будет выглядеть следующим образом:
r 5(S) = r1(S) \ r2(S):
Рассмотренные бинарные операции являются базовыми, на них основываются другие операции, более сложные.