Изучение основных алгоритмов теории реляционных баз данных, страница 5

- для каждой схемы  () указать ее смысловое содержание, исходя из семантики входящих в нее атрибутов и ФЗ из .

Содержание отчета

1.  Текст программы.

2.  Результаты выполнения программы на контрольных примерах.

3.  В-схема для практической задачи и результаты ее анализа.

Приложение 1

Эквивалентные преобразования реляционных выражений

Два реляционных выражения  и  являются эквивалентными, что записывается

как , если они дают один и тот же результат при подстановке в них любых

конкретных отношений.

Для реляционных выражений справедливы следующие законы (правила), позволяющие осуществлять их эквивалентные преобразования.

1. Коммутативность соединений и произведений

Если  ,- реляционные выражения, то

;

.

2. Ассоциативность соединений и произведений

Если  ,,- реляционные выражения, то

;

.

3. Каскад проекций

Если  - реляционное выражение со схемой  и , то

.

4. Каскад селекции

Если  - реляционное выражение со схемой , и ,   - условия выбора,

определённые на атрибутах из , то

.

5. Перестановка селекции и проекции

Если   - реляционное выражение со схемой ,  ,  f - условие выбора,

определённое на атрибутах из X, то

.

В более общем случае, если f определено на атрибутах из , то

.

6. Перестановка селекции с булевыми операциями

Если  ,- реляционные выражения с одной и той же схемой ,  f - условие выбора,

определённое на атрибутах из , то

,

,

.

7. Перестановка селекции с соединением