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

Базисными понятиями реляционного исчисления являются понятия переменной с определенной для нее областью допустимых значений и понятие правильно построенной формулы опирающееся на переменные, предикаты и кванторы. В зависимости от того что является областью определения переменных различают исчисление кортежей и исчисление доменов. При исчислении кортежей областями определения переменных являются отношения базы данных. Допустимые значения каждой переменной являются кортежем некоторого отношения. При исчислении доменов областью определения переменных являются домены для которых определены атрибуты отношений базы данных. Т.е. допустимым значением каждой переменной является значение некоторого домена. Правильно построенная формула служит для выражения условий накладываемых на кортежные переменные. Основой правильно построенных формул являются простые сравнения, которые представляют собой операции сравнения скалярных значений, т.е. значений атрибутов, переменных или констант. Более сложные варианты правильно построенных формул строятся с помощью логических операций ИЛИ, НЕ и предиката ЕСЛИ-ТО. Допускается также построение правильно построенных формул с помощью кванторов EXISTS и FORALL

Переменные входящие в правильно построенные формулы могут быть свободными или связанными. Все переменные входящие в правильно построенные формулы, при построении которых не используются кванторы, являются свободными. Если переменная используется в правильно построенной формуле сразу после квантора, то эта переменная называется связанной и это означает, что такая переменная не видна за пределами правильно построенной формулы связавшей эту переменную.