Изменения

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