Реляционная алгебра и реляционное исчисление

Реляционная алгебра и реляционное исчисление стали основой для разработки языков управления данными высокого уровня.

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

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

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

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

И операнды, и результат, являются отношениями, поэтому результаты одной операции могут применяться в другой операции. Последнее обстоятельство позволяет создавать вложенные выражения реляционной алгебры (аналогично вложенным арифметически выражениям). При любой глубине вложенности результатом является отношение. Такое свойство называется замкнутостью.