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