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