Операция apply
Пусть f – это унарная операция, которая отображает отношения в отношения, а Z – множество отношений (не обязательно совместимых по объединению). Тогда результатом вызова APPLY(f, Z) является множество всех отношений f(z), где z – элемент Z. Для удобства мы принимаем то соглашение, что если некоторое множество отношений используется в одном или нескольких местах алгебраического выражения, в которых синтаксически допускается употребление имени отношения, то это выражение вычисляется для каждого элемента данного множества. Однако
- это выражение должно быть заключено в скобки с предшествующим словом APPLY;
- в области действия одного оператора APPLY может быть упомянуто не более одного множества отношений (но может быть упомянуто любое число отдельных отношений).
