Исчисление кортежей и его реляционная полнота — различия между версиями
Sashapff (обсуждение | вклад) (Новая страница: «В этом разделе будет рассмотрен один из видов Реляционное исчисление | реляционного ис…») |
Sashapff (обсуждение | вклад) (→Примеры) |
||
| Строка 19: | Строка 19: | ||
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'</font
Последний пример демонстрирует, что для отношения можно указать ограничивающее его условие.
