Естественное соединение отношений

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

Запись отношения

Элементы отношения, соответствующие строкам реляционной таблицы (упорядоченное множество).

То же, что и кортеж.

Инъективное отображение

Функция , для любых элементов которой из следует .

Инъективная функция

То же, что и инъективное отображение.

Классы эквивалентности

Непересекающиеся подмножества , на которые разбивается множество .

Композиция отношений

Отношение , состоящее из всех тех пар , для которых существует такое , что и .

Кортеж

Элементы отношения, соответствующие строкам реляционной таблицы (упорядоченное множество).

Линейный порядок

Частичный порядок, если любые два элемента и из множества сравнимы, т.е. и .

Линейно упорядоченное множество

Множество , на котором задано отношение частичного порядка и для которого любые два элемента этого множества сравнимы.

Матричный способ задания отношений основан на представлении отношения соответствующей ему прямоугольной таблицей (матрицей).

Несравнимые элементы

Элементы отношения (пары , для которых ни одно из соотношений или не имеет места.

Область значений отношения

Множество всех вторых координат упорядоченных пар из бинарного отношения .

Область значений отображения

Множество , где - значения функции.

Область определения отношения

Множество первых координат упорядоченных пар из бинарного отношения .

Образ

То же, что и область значений отображения.

Обратное отношение

Подмножество множества , образованное теми парами , для которых .

Объединение отношений

Теоретико-множественная операция на отношениях. При выполнении операции объединения двух отношений получаем отношение, включающее все кортежи, входящие хотя бы в одно из отношений-операндов.

Ограничение отношений

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

Одноместное отношение

Подмножество множества (признак).

Отношение нестрогого порядка

Отношение в множестве такое, что для любых из выполняются свойства рефлексивности, антисимметричности, транзитивности.