Обозначения и вводные замечания

r — отношение,

A — имя атрибута отношения r,

T — имя соответствующего типа (т.е. типа или домена атрибута A),

v — значение типа T.

Тогда:

- заголовком Hr отношения r называется множество атрибутов, т. е. упорядоченных пар вида <A, T>. По определению никакие два атрибута в этом множестве не могут содержать одно и то же имя атрибута A;

- кортеж tr, соответствующий заголовку Hr, — это множество упорядоченных триплетов вида <A, T, v>, по одному такому триплету для каждого атрибута в Hr;

- тело Br отношения r — это множество кортежей tr (Замечание: могут существовать такие кортежи tr, которые соответствуют Hr, но не входят в Br).

Операции

Операция реляционного дополнения

Пусть s обозначает результат операции <NOT> r.

Тогда:

Операция <NOT> производит дополнение s заданного отношения r. Заголовком s является заголовок r. Тело s включает все кортежи, соответствующие этому заголовку и не входящие в тело r.