Реляционное исчисление

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

В контексте баз данных реляционное исчисление существует в двух формах:

• в форме предложенного Коддом реляционного исчисления кортежей;

• в форме предложенного Лакруа и Пиро реляционного исчисления доменов.

В логике первого порядка или теории исчисления предикатов под предикатом подразумевается истинностная функция с аргументами. При подстановке вместо ар­гументов значений функция становится выражением, называемым суждением, кото­рое может быть истинным или ложным.

Если Р — предикат, то множество всех значений переменной х, при которых суж­дение Р становится истинным, можно символически записать следующим образом: {х|Р(х)}

Предикаты могут соединяться с помощью логических операторов (AND),  (OR) и ~ (NOT) с образованием составных предикатов.

Реляционное исчисление

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

В контексте баз данных реляционное исчисление существует в двух формах:

• в форме предложенного Коддом реляционного исчисления кортежей;

• в форме предложенного Лакруа и Пиро реляционного исчисления доменов.

В логике первого порядка или теории исчисления предикатов под предикатом подразумевается истинностная функция с аргументами. При подстановке вместо ар­гументов значений функция становится выражением, называемым суждением, кото­рое может быть истинным или ложным.

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

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

Представления

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

Понятие представления определяется на основе базовых отношений.

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

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

Все обновления данных в базовом отношении должны быть немедленно отражены во всех представлениях, связанных с этим базовым отношением. Аналогично, при обновлении данных в представлении внесенные изменения должны быть отражены в его базовом отношении.