Базы данных

Описание запросов с помощью реляционного исчисления


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

Существует несколько форм реляционного исчисления. В данном сайтепредлагается краткое введение в реляционное исчисление кортежей, использующее кванторы и логические выражения для определения множеств кортежей. На 6.3 представлены выражения реляционного исчисления, определяющие те же отношения, что и выражения реляционной алгебры для 6.1 — 6.8.

Комментарии закрыты