Лекция №7

РЕЛЯЦИОННОЕ ИСЧИСЛЕНИЕ

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

Название реляционного исчисления произошло от той части логики, которая называется исчислением предикатов. В контексте баз данных оно существует в двух формах: в форме предложенного Коддом реляционного исчисления кортежей и в форме предложенного Лякруа и Пиротт реляционного исчисления доменов.

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

Устно. Например, предложения "Иванов является сотрудником данной организации" и "Иванов имеет более высокую зарплату, чем Сидоров" являются суждениями, поскольку можно определить их истинность или ложность. В первом случае функция "является сотрудником данной организации" имеет один параметр ("Иванов"), а во втором случае функция "имеет более высокую зарплату, чем" имеет два пара метра ("Иванов" и "Сидоров").

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

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

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

{х | Р(х)}

Предикаты могут соединяться с помощью логических операций Ù (AND), Ú (OR) и Ø (NOT) с образованием составных предикатов.

Дата добавления: 2014-01-11