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

Определение кортежной переменной – это указание, из какого отношения она принимает значение.

Ссылки типа СОТРУДНИК ® Сотр_зарпл или СОТРУДНИК.Сотр_имя говорят о том, что имея кортежную переменную, можно получить доступ к атрибутам.

WFF – правильно построенная формула. Она может быть преобразована в набор реляционных операций. WFF служит для выражения условий, накладывающихся на кортежные переменные. Основой WFF являются простые сравнения – операции сравнения скалярных значений. Такими скалярными значениями могут быть атрибуты кортежных переменных или константы:

Другим вариантом WFF являются формулы из простых сравнений, объединённых логическими связями:

WFF может быть построена с помощью кванторов:

Все переменные, которые входят в WFF, не использующие кванторов, не являются свободными. «Свобода» фактически означает, что если при вычислении WFF получено .t., то это значение кортежной переменной будет входить в результирующее отношение. Т.е. свободная переменная определяет какое-то результирующее отношение. Переменная, которая входит в WFF, построенную с помощью кванторов – связанная переменная. Связанность означает, что данная переменная не видна за пределами WFF. Т.е. при вычислении формулы используется не одно значение этой переменной, а вся область определения, но в результирующем отношении эта область не видна.

Целевые списки (target list)

WFF обеспечивают средства, с помощью которых можно выбрать кортежи из отношений. Для того, чтобы можно было реально работать с БД нужно ещё одно средство. С помощью него будет определяться набор атрибутов и имена атрибутов результирующего отношения. Такой набор называется целевым списком. Целевой список состоит из элементов, каждый из которых может иметь 3 различные формы:

1. var.attr (свободная переменная, соответствующая WFF . имя атрибута отношения, на котором определена var);

2. var (имя свободной переменной)– эквивалентно наличию списка, включающего все атрибуты;

3. new_name= var.attr; new_name – новое имя соответствующего атрибута результирующего отношения.

Этот вариант требуется в том случае, когда имеется несколько свободных переменных с одинаковой областью определения.

Значением этого выражения является отношение. В нём тело определяет WFF, а схема отношения определяется целевым списком.

Логике РИ следует грамматика языка SQL.

В РИ доменов тоже есть переменные, но областью их определения являются не отношения, а домены. Поэтому в исчислении доменов роль WFF выполняют выражения, которые выражают условия членства.