- •УПРАВЛЕНИЕ ДАННЫМИ
- •Операции реляционной
- •Выборка
- •Субъект и предикат
- •Простейшие предикаты
- •Более сложные θ-
- •Кванторы
- •Логические операции
- •Бинарные логические операции P : (V × V) → V
- •Истинность как домен
- •Отношение порядка
- •Сложные предикаты y V
- •θ-предикаты для выборки
- •Пример выборки со сложным предикатом
- •Проекция
- •Проекция: удаление дубликатов
- •Вычисляемый атрибут
- •Агрегация
- •Примеры агрегации
- •Проекция с агрегацией
- •Проекция в общем виде
- •Соединение
- •θ-соединение
- •θ-соединение: пример
- •Эквисоединение
- •Декартово произведение отношений с общими атрибутами
- •Естественное соединение
- •Естественное соединение:
- •Левое внешнее соединение
- •Левое внешнее соединение:
- •Правое внешнее соединение
- •Правое внешнее соединение:
- •Полное внешнее
- •Полное внешнее соединение:
- •Полусоединение
- •Полусоединение: пример
- •θ-полусоединение
- •Деление
- •Что будет, если добавить
- •Делитель с несколькими атрибутами
- •Переименование
- •Переименование: пример
- •Выводы
- •Вопросы и ответы
Деление
|
R1 |
|
|
R2 |
|
|
|
|
|
|
|
|
|
Фамилия |
Предмет |
|
|
|
|
|
|
Предмет |
|
|
|||
Иванов |
Математика |
|
|
|
|
|
|
Философия |
|
|
|||
|
|
|
|
|
|
|
Иванов |
Философия |
|
|
|
|
|
|
Физика |
|
|
|||
|
|
|
|
|
|
|
Петров |
Математика |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
Петров |
Философия |
|
|
|
|
|
|
|
|
|
|
|
|
Сидоров |
Физика |
|
|
|
|
|
|
|
|
|
|
|
|
Сидоров |
Философия |
|
|
|
|
|
|
R1 ÷ R2 |
|
||||
|
|
|
|
|
||
Иванов |
Физика |
|
|
|
||
|
|
|
|
Фамилия |
|
|
|
|
|
|
|
||
|
|
|
|
Иванов |
|
|
|
|
|
|
|
|
|
|
|
|
|
Сидоров |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Что будет, если добавить
|
оценки |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
R1 |
|
|
R2 |
|
|
|
|
Фамилия |
Предмет |
Оценка |
|
|
|
|
|
|
Предмет |
|
|
|||||
|
Иванов |
Математика |
4 |
|
|
|
||
|
|
Философия |
|
|
||||
|
|
|
|
|
|
|
||
|
Иванов |
Философия |
3 |
|
|
|||
|
|
|
|
|
|
|||
|
Физика |
|
|
|||||
|
|
|
|
|
|
|
||
|
Петров |
Математика |
5 |
|
|
|||
|
|
|
|
|
|
|||
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
Петров |
Философия |
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Сидоров |
Физика |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Сидоров |
Философия |
2 |
|
|
|
|
|
|
R1 ÷ R2 |
|
||||||
|
|
|
|
|
|
|||
|
Иванов |
Физика |
4 |
|
||||
|
|
|
|
|
|
|
|
|
|
Сидоров |
Философия |
3 |
|
Фамилия |
|
Оценка |
|
|
|
|
|
|
Сидоров |
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Делитель с несколькими атрибутами
|
|
R1 |
|
|
|
R2 |
|
|
|
|
Фамилия |
Предмет |
Оценка |
|
|
|
|
|
|
|
|
Предмет |
Оценка |
|
|||||
|
Иванов |
Математика |
4 |
|
|
|
|||
|
|
|
Философия |
3 |
|
||||
|
|
|
|
|
|
|
|||
|
Иванов |
Философия |
3 |
|
|||||
|
|
|
|
|
|
|
|||
|
|
Физика |
4 |
|
|||||
|
|
|
|
|
|
|
|||
|
Петров |
Математика |
5 |
|
|||||
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
Петров |
Философия |
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Сидоров |
Физика |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Сидоров |
Философия |
2 |
|
|
|
|
|
|
|
|
R1 ÷ R2 |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
Иванов |
Физика |
4 |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
Сидоров |
Философия |
3 |
|
|
Фамилия |
|
|
|
|
|
|
|
|
|
Иванов |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Переименование
Дано:
RH , B, x, y : x, d H , y, d H
Результат:
a, d H : a x y, d : x, d H ,
ρ (R) |
e : e |
a, v E : a x |
||
|
y / x |
|
|
|
|
|
|
|
|
|
|
|
y, v : x, v E , E B |
|
|
|
|
|
|
|
|
|
|
|
Переименование: пример
R
Фамилия |
Предмет |
Оценка |
Иванов |
Математика |
4 |
|
|
|
Иванов |
Философия |
3 |
|
|
|
Петров |
Математика |
5 |
|
|
|
Петров |
Философия |
5 |
|
|
|
Сидоров |
Физика |
3 |
|
|
|
Сидоров |
Философия |
2 |
|
|
|
Иванов |
Физика |
4 |
|
|
|
ρФИО/Фамилия(R)
ФИО |
Предмет |
Оценка |
Иванов |
Математика |
4 |
|
|
|
Иванов |
Философия |
3 |
|
|
|
Петров |
Математика |
5 |
|
|
|
Петров |
Философия |
5 |
|
|
|
Сидоров |
Физика |
3 |
|
|
|
Сидоров |
Философия |
2 |
|
|
|
Иванов |
Физика |
4 |
|
|
|
Выводы
Любые операции реляционной алгебры возвращают новые отношения
При решении задач можно комбинировать различные операции, чтобы последовательными преобразованиями прийти к требуемому результату