Реляционная модель данных

Реляционная модель данных характеризуется:

n информационной конструкцией;

n допустимыми операциями (выборкой, соединением и др.);

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

Реализационная база данных может быть описана как:

S(rel)=<A, R, Dom, Rel, V(s)>

где

A - множество имен переменных;

R - множество имен отношений;

Dom - вхождение атрибутов в домены;

Rel - вхождение атрибутов в отношения;

V(s) - множество ограничений.

Описание процесса обработки отношений может быть выполнено двумя способами:

n указанием перечня операций, выполнение которых приводит к требуемому результату (процедурный подход);

n описанием требуемых свойств (декларативный подход).

 

Множество операций и отношений образуют реляционную алгебру.

Как правило, список операций содержит проекцию, выборку, объединение, пересечение, вычитание, соединение и деление.

 

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

T=R[X].

R - исходное отношение;

T - результирующие отношение;

X - список атрибутов (условие проекции).

 

Выборка

Выборка - перенос в результирующие отношение строки удовлетворяющие условию выборки.

T=R[p].

R - исходное отношение;

T - результирующие отношение;

p - условие выборки.

 

Операция объединения, пересечения, вычитания.

Исходные отношения R1 и Р2, результирующие - T.

 

Операция объединения

Т=U(R1,R2)

Отношение Т содержит строки встречающиеся в отношениях R1 или в R2.

 

Операция пересечения

Т=I(R1,R2)

Отношение Т содержит строки встречающиеся одновременно в отношениях R1 и в R2.

 

Операция вычитания

Т=М(R1,R2)

Отношение Т содержит строки из отношения R1 за исключением строк встречающихся в отношении R2.

 

Операция соединения отношений.

T=R1 [p] R2

p - условие соединения.

Если строка из R1 по очереди сопоставляется со строками из R2 и если условие [p] выполняется, то строки сцепляются.

 

Операция натурального соединения

Операция не содержит условия

T=R1*R2

Если структуры R1 и R2 не содержат общих атрибутов то производится сцепление каждой строки из R1 со всеми строками из R2.

 

Основные свойства операции натурального соединения

Свойство коммутативности

R*S=S*R

Свойство ассоциативности

(R*S)*T=R*(S*T)