Исчисление кортежей и его реляционная полнота — различия между версиями
Sashapff (обсуждение | вклад) (→Примеры) |
Sashapff (обсуждение | вклад) |
||
| Строка 20: | Строка 20: | ||
Name = <font color = green>'M34391'</font> | Name = <font color = green>'M34391'</font> | ||
Последний пример демонстрирует, что для отношения можно указать ограничивающее его условие. | Последний пример демонстрирует, что для отношения можно указать ограничивающее его условие. | ||
| + | |||
| + | == Операции с отношениями == | ||
| + | === Ограничение === | ||
| + | Можно ограничить отношение, выбрав те кортежи, которые удовлетворяют требуемым условиям. | ||
| + | <font color = red>Отношения</font> <font color = blue>where</font> <font color = red>Условие</font> | ||
| + | |||
| + | === Объединение === | ||
| + | Для объединения используется синтаксис перечисления необходимых отношений через запятую. | ||
| + | <font color = red>Отношение1</font>, <font color = red>Отношение2</font> | ||
Версия 23:45, 19 декабря 2021
В этом разделе будет рассмотрен один из видов реляционного исчисления — исчисление кортежей.
Содержание
Переменные-кортежи
Каждая переменная-кортеж имеет тип.
Тип кортежа
- Имена и типы атрибутов;
- Набор значений.
Комбинация из имен и типов атрибутов и набора значений в данной модели называется отношением. Из этого следует, что каждая кортежная переменная пробегает некоторое отношение.
Синтаксис
Переменная :: Отношение
Примеры
S :: Students
G :: Groups
G4 :: Groups where
Name = 'M34351' ∨
Name = 'M34371' ∨
Name = 'M34391'
Последний пример демонстрирует, что для отношения можно указать ограничивающее его условие.
Операции с отношениями
Ограничение
Можно ограничить отношение, выбрав те кортежи, которые удовлетворяют требуемым условиям.
Отношения where Условие
Объединение
Для объединения используется синтаксис перечисления необходимых отношений через запятую.
Отношение1, Отношение2
