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