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

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

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

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

Пример

Выражение реляционной алгебры может предписывать следующие шаги для получения номеров телефонов и названий книжных магазинов, в которых продаются Some Sample Book :

1. Присоединяйтесь к книжным магазинам и изданиям через BookstoreID.
2. Ограничьте результат этого соединения кортежами для книги Some Sample Book .
3. Спроецируйте результат этого ограничения на StoreName и StorePhone.

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

Получите StoreName и StorePhone для книжных магазинов, в которых существует заголовок BK с тем же значением BookstoreID и со значением BookTitle Some Sample Book .

Математические свойства

Реляционная алгебра и реляционное исчисление, независимое от предметной области, логически эквивалентны : для любого алгебраического выражения существует эквивалентное выражение в исчислении, и наоборот. Этот результат известен как теорема Кодда .

Цель

Смыслом существования реляционного исчисления является формализация оптимизации запросов . Оптимизация запроса заключается в определении на основе запроса наиболее эффективного способа (или способов) его выполнения. Оптимизацию запросов можно формализовать как перевод выражения реляционного исчисления, дающего ответ А, в эффективные реляционные алгебраические выражения, дающие тот же ответ А.

См. также

• Исчисление отношений

Ссылки

• Дата, Кристофер Дж. (2004). Введение в системы баз данных (8-е изд.). Эддисон Уэсли. ISBN  0-321-19784-4 .