- •Отношение - это плоская таблица, состоящая из столбцов и строк.
- •Отношения в базе данных
- •Представление схем в реляционной базе данных
- •Реляционная целостность
- •Реляционные языки
- •Естественное соединение
- •Пересечение
- •Реляционное исчисление
- •Реляционное исчисление
- •Представления
- •Когда субд можно считать реляционной
Реляционное исчисление
В выражениях реляционной алгебры всегда явно задается некий порядок, а так же подразумевается некая стратегия оценки запроса. В реляционном исчислении не существует никакого описания оценки запроса, поскольку в запросе реляционного исчисления указывается, что следует извлечь, а не как.
В контексте баз данных реляционное исчисление существует в двух формах:
в форме предложенного Коддом реляционного исчисления кортежей;
в форме предложенного Лакруа и Пиро реляционного исчисления доменов.
В логике первого порядка или теории исчисления предикатов под предикатом подразумевается истинностная функция с аргументами. При подстановке вместо аргументов значений функция становится выражением, называемым суждением, которое может быть истинным или ложным.
Если Р — предикат, то множество всех значений переменной х, при которых суждение Р становится истинным, можно символически записать следующим образом: {х|Р(х)}
Предикаты могут соединяться с помощью логических операторов (AND), (OR) и ~ (NOT) с образованием составных предикатов.
Реляционное исчисление
В выражениях реляционной алгебры всегда явно задается некий порядок, а так же подразумевается некая стратегия оценки запроса. В реляционном исчислении не существует никакого описания оценки запроса, поскольку в запросе реляционного исчисления указывается, что следует извлечь, а не как.
В контексте баз данных реляционное исчисление существует в двух формах:
в форме предложенного Коддом реляционного исчисления кортежей;
в форме предложенного Лакруа и Пиро реляционного исчисления доменов.
В логике первого порядка или теории исчисления предикатов под предикатом подразумевается истинностная функция с аргументами. При подстановке вместо аргументов значений функция становится выражением, называемым суждением, которое может быть истинным или ложным.
В реляционном исчислении кортежей задача состоит в нахождении таких кортежей, для которых предикат является истинным. Это исчисление основано на переменных кортежа. Переменными кортежа являются такие переменные, областью определения которых является указанное отношение — т.е. переменные, для которых допустимыми значениями могут быть только кортежи данного отношения.
В реляционном исчислении доменов используются переменные, значения которых берутся из доменов, а не из кортежей отношений. В реляционном исчислении доменов зачастую требуется проверить условие принадлежности, чтобы определить, принадлежат ли значения указанному отношению.
Представления
Базовое отношение-поименованное отношение, соответствующее сущности в концептуалъной схеме, кортежи которого физически хранятся в базе данных.
Понятие представления определяется на основе базовых отношений.
Представление - это динамический результат одной или нескольких реляционных операций над базовыми отношениями с целью создания некоторого иного отношения. Представление является виртуальным отношением, которого реально в базе данных не существует, но которое создается по требованию отдельного пользователя в момент поступления этого требования.
Представления позволяют добиться и более важного типа логической независимости от данных, связанной с изоляцией пользователей от реорганизаций концептуальной схемы.
Все обновления данных в базовом отношении должны быть немедленно отражены во всех представлениях, связанных с этим базовым отношением. Аналогично, при обновлении данных в представлении внесенные изменения должны быть отражены в его базовом отношении.