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

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



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

Сведение реляционной алгебры к реляционному исчислению кортежей.
ТЕОРЕМА ВИЕТА Открытый урок по алгебре в 8-ом классе средней школы.
Определение квадратного уравнения. Квадратным уравнением называется уравнение вида ax 2 +bx+c=0, где x - переменная, a, b, c - некоторые числа, причем.
Система запросов «Реляционное исчисление доменов».
х 2 + 4х – 5 = 0 а = 1, в = 4, с = = 0 а + в + с = 0 2x 2 - 5x + 3 = 0 a = 2, b = -5, c = 3 2 – = 0 a + b + c = 0 х 2 + 6x + 5 = 0.
Основные сведения о строении атомов.
Учитель математики Семибратова О. П. Терема Виета.
X y 0 ax 2 + bx + c = 0 n m y = a(x – n) 2 + m. x y
«Приведенное квадратное уравнение. Теорема Виета».
Многочлен вида ax 2 + bx + c, где х – переменная, a 0, b, c – некоторые числа называется квадратным трёхчленом. 3x 2 - 2x - 5 х = 5 х = 1 х = -1 х = 2.
Уравнения Определения Равенство с переменной g(x) = f(x) называется уравнением с одной переменной х. Всякое значение переменной, при котором f(x) и g(x)
Система запросов «Реляционное исчисление кортежей»
Теорема Виета Франсуа Виет (1540–1603) родился во Франции. Разработал почти всю элементарную алгебру; ввёл в алгебру буквенные обозначения и построил первое.
Квадратные уравнения Повторение за курс базовой школы Подготовила Луцевич Н.А.
Y = ax 2 + n и y= a(x m) 2, а 0 Графики функций г.
Реляционное исчисление. Общая характеристика Запрос – формула некоторой формально-логической теории; описывает свойства желаемого результата. Ответ –
Наглядный справочник по теме «Квадратные уравнения» Справочник поможет учащимся наглядно представить изучаемый материал и быстро найти необходимые сведения.
Параллельность прямых. a c b ТЕОРЕМА Две прямые, параллельные третьей, параллельны.
Теорема Виета Франсуа Виет (1540–1603) родился во Франции. Разработал почти всю элементарную алгебру; ввёл в алгебру буквенные обозначения и построил первое.
Транксрипт:

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

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

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

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

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

Теорема 5 2.

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

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

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

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

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

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

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

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

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