Изменения

В исчислении кортежей переменные являются кортежами. У каждой переменной-кортежа есть тип . Тип состоит из набора атрибутов и набора значений. Для каждого атрибута указан его домен {{---}} набор атрибутов, для каждого из которых есть домен, а так же набор значенийимя и тип. Такая комбинация из имен и типов атрибутов и набора значений в данной модели называется отношением. Из этого следует, что каждая кортежная переменная пробегает некоторое отношение.

Для каждой переменной берем ее значение из тела соответствующего отношения. На языке исчисления кортежей объявление переменной записываем таким образом:

Мжно Можно задать переменная переменную S, которая пробегает по всем студентам, и переменную G, которая пробегает по всем группам: