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

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

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

3 Доказательство: Теорема 5

4 Доказательство: (модификация элементов формул DC )

5 Теорема 5 1. x, y – переменные DC g – атом вида: a)x θ y b)x θ c c)c θ x

6 Теорема 5 2.

7 Теорема 5 3. g = ¬h

8 Теорема 5 4. g = h h

9 Теорема 5 5. g = h h

10 Теорема 5 6. g = x(A)h

11 Теорема 5 7. g = x(A)h

12 Теорема 5 8. g = (h)

13 Теорема 5 Теорема доказана.

14 Теорема 6 Теорема 6:

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