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

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

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

3 Доказательство: (модификация элементов выражения TC ) {x(R) | f(x)} r(R), Теорема 3

4 Теорема доказана.

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

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