Составители:
Рубрика:
Анализ выполнения запросов типа 1 и 2 показывает, что существенное влияние на
скорость ответа будет оказывать число операций эквисоединения, что в свою очередь
определяется уже особенностями физической организации хранимой информации.
Цель же реляционного подхода - сделать язык манипулирования данными
независимым от способов физической организации реляционной базы и упростить
"навигационные" процессы пользователя с физической
моделью данных.
В основе средств, которые в некоторой степени устраняют этот недостаток, лежит
реляционное исчисление. Оно только описывает (декларирует) результат, предоставляя
системе решить, какие операции и в какой последовательности должны быть в
действительности выполнены. Однако следует понимать, что алгебра и исчисление
эквивалентны. Каждому выражению в алгебре соответствует эквивалентное выражение в
исчислении
, и точно также каждому выражению в исчислении соответствует
эквивалентное выражение в алгебре, т.е. между ними существует взаимно однозначное
соответствие [3, 4, 27]. Подробное изложение исчисления отношений не входит в задачи
данного учебного пособия, но важно уяснить, как используется исчисление в языке SQL.
1.4. Исчисление отношений и SQL
Реляционное исчисление или исчисление отношений основано на разделе
математической логики, которое называется исчислением предикатов.
Исчисление отношений лежит в основе декларативного подхода к формулировке
запроса к базе данных. При декларативном подходе запросу к базе данных (БД)
соответствует формула реляционного исчисления. Ответом на запрос служит множество
объектов из области интерпретации (в нашем случае
этой областью является БД), на
которой истинна формула, соответствующая запросу.
Базисными понятиями исчисления являются понятие переменной с определенной
для нее областью допустимых значений и понятие правильно построенной формулы
(WFF - Well-Formed Formula), опирающейся на переменные, предикаты и кванторы.
В зависимости от того, что является областью определения переменной,
различаются исчисление кортежей и исчисление доменов
. В исчислении кортежей
областями определения переменных являются отношения базы данных, т.е. допустимым
значением каждой переменной является кортеж некоторого отношения. В исчислении
доменов областями определения переменных являются домены, на которых определены
атрибуты отношений базы данных, т.е. допустимым значением каждой переменной
Страницы
- « первая
- ‹ предыдущая
- …
- 23
- 24
- 25
- 26
- 27
- …
- следующая ›
- последняя »
