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

1 Сведение реляционной алгебры к реляционному исчислению кортежей

2 Теорема 1 Теорема 1:

3 Доказательство: (индукция по количеству операций E) Теорема 1

4 I.База индукции В E нет операторов => E = r(R) F = {x(R) | f(x)} II.Шаг индукции Предположим, что утверждение теоремы справедливо Е, содержащего k-1 оператор III.Доказательство F = {x(R) | f(x)} ~ E; E содержит k-1 оператор

5 Теорема 1 1.

6 Теорема 1 2.

7 Теорема 1 3.

8 Теорема 1 4.

9 Теорема 1 5.

10 Теорема 1 6.

11 Теорема 1 7. Теорема доказана.

12 Теорема 2 Теорема 2:

13 Теорема 2 Теорема 2:

14 Домашние задания 1. Доказать Теорему 2 2. Доказать эквивалентность и 3. Доказать эквивалентность (выразить непримитивные реляционные операторы через примитивные)

15 Заключение Теорема 1 (доказана) Теорема 2 Эквивалентность систем запросов