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