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

Материал из Викиконспекты
Перейти к: навигация, поиск

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

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

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

Тип кортежа

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

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

Синтаксис

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

Примеры

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

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