Изменения

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

Исчисление кортежей

498 байт добавлено, 23:34, 26 декабря 2021
Переменные-кортежи
== Переменные-кортежи ==
Каждая переменнаяУ каждой переменной-кортеж имеет кортежа есть тип{{---}} набор атрибутов, который состоит для каждого из имен и типов атрибутов и набора которых есть домен, а так же набор значений. Такая комбинация в данной модели называется отношением. Из этого следует, что каждая кортежная переменная пробегает некоторое отношение.
=== Синтаксис ===
Для каждой переменной берем ее значение из тела соответствующего отношения.
<font color = red>Переменная <font color = grey>::</font> Отношение</font>
=== Примеры ===
Переменная S пробегает по всем студентам:
S <font color = grey>::</font> Students
Переменная G пробегает по всем группам:
G <font color = grey>::</font> Groups
Можно записать группы четвертого курса, то есть группы такие, что ее название M34351, M34371 или M34391.
G4 <font color = grey>::</font> Groups <font color = blue>where</font>
Name <font color = grey>=</font> <font color = green>'M34351'</font> <font color = blue>∨</font>
Анонимный участник

Навигация