Манипуляционная часть реляционной модели

В реляционной модели определяются два базовых механизма манипулирования данными:

•основанная на теории множеств реляционная алгебра

•основанное на математической логике реляционное исчисление.

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

Реляционная алгебра и реляционное исчисление различаются степенью их процедурности:

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

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

Язык SQL основывается на реляционной алгебре, однако содержит некоторые элементы реляционного исчисления.