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

Презентация:



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

Сведение реляционного исчисления доменов к реляционной алгебре.
Система запросов «Реляционное исчисление кортежей»
Домашнее задание.
Система запросов «Реляционная алгебра». Системы запросов Запрос – операция над одним или несколькими отношениями, результатом которой является отношение.
Система запросов «Реляционное исчисление доменов».
Если две стороны и угол между ними одного треугольника соответственно равны двум сторонам и углу между ними другого треугольника, то такие треугольники.
Декартовы произведения Под упорядоченной парой (а; b) мы будем понимать двухэлементное множество, состоящее из элементов а и b, в котором зафиксирован.
Мониторинг домашнего задания в 7-10 классах.
Решение задач по теме «Параллельные прямые» Учитель математики: Митрофанова О.С.
Правила дифференцирования Урок 31 По данной теме урок 1 Классная работа
Горкунова О.М.. Взаимное расположение в пространстве 2 прямыхПрямой и плоскости2 плоскостей.
Как готовиться к урокам.. Подготовка домашнего задания: Вспомни правило, а если задано новое, выучи его;Вспомни правило, а если задано новое, выучи его;
Признак равнобедренного треугольника Если в треугольнике два угла равны, то треугольник равнобедренный.
Теорема Виета Франсуа Виет (1540–1603) родился во Франции. Разработал почти всю элементарную алгебру; ввёл в алгебру буквенные обозначения и построил первое.
В треугольнике против большего угла лежит большая сторона и против большей стороны лежит больший угол. Докажем утверждение теоремы параллельно для остроугольного.
Решить все задания Доказать правоту этой истории.
Учитель математики МОУ СОШ 36 Круглова И.П. 1 категории.
Соотношение между углами и сторонами треугольника.
Теорема Если две точки прямой принадлежат плоскости, тои вся прямая принадлежит плоскости. α 1. Если плоскость β совпадает с плоскостью α, то утверждение.
Транксрипт:

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

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

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

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

Теорема 1 1.

Теорема 1 2.

Теорема 1 3.

Теорема 1 4.

Теорема 1 5.

Теорема 1 6.

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

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

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

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

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