Изменения

Перейти к: навигация, поиск

Исчисление кортежей и его реляционная полнота

1338 байт убрано, 19:36, 4 сентября 2022
м
rollbackEdits.php mass rollback
В этом разделе будет рассмотрен один из видов [[Реляционное исчисление | реляционного исчисления]] {{---}} исчисление кортежей.
== Переменные-кортежи ==
Каждая переменная-кортеж имеет тип.
 
=== Тип кортежа ===
* Имена и типы атрибутов;
* Набор значений.
Комбинация из имен и типов атрибутов и набора значений в данной модели называется отношением. Из этого следует, что каждая кортежная переменная пробегает некоторое отношение.
 
=== Синтаксис ===
<font color = red>Переменная :: Отношение</font>
 
=== Примеры ===
S :: Students
G :: Groups
G4 :: Groups <font color = blue>where</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>'M34391'</font>
Последний пример демонстрирует, что для отношения можно указать ограничивающее его условие.
1632
правки

Навигация