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

В этом разделе будет рассмотрен один из видов реляционного исчисления — исчисление кортежей.

Переменные-кортежи

Каждая переменная-кортеж имеет тип.

Тип кортежа

• Имена и типы атрибутов;
• Набор значений.

Комбинация из имен и типов атрибутов и набора значений в данной модели называется отношением. Из этого следует, что каждая кортежная переменная пробегает некоторое отношение.

Синтаксис

Переменная :: Отношение

Примеры

S :: Students
G :: Groups
G4 :: Groups where
    Name = 'M34351' ∨
    Name = 'M34371' ∨
    Name = 'M34391'

Последний пример демонстрирует, что для отношения можно указать ограничивающее его условие.