Реляционное счисление – это непроцедурный язык, поскольку он по сути декларирует требуемое, но не говорит, как это сделать. Это непроцедурный язык, являющийся языком декларации. «Хочу, но не знаю как». Обрабатываются не запись за записью в данном случае, а сразу массив записей, то есть вся таблица в результате реляционного счисления.

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

Например, определить клиентов, купивших товар.

Квантор всеобщности – означает, что какое-то условие применяется к каждой строке определенного типа.

Например, определить продавцов, продавших какой-либо товар.

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

Комментарии запрещены.