Реляционное исчисление - Relational calculus

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

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

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

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

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

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

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

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

Рекомендации

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