База данных образовательного учреждения как основа
advertisement
СВЕДЕНИЕ РЕЛЯЦИОННОГО ИСЧИСЛЕНИЯ ДОМЕНОВ К РЕЛЯЦИОННОЙ АЛГЕБРЕ ТЕОРЕМА 5 Теорема 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 • Эквивалентность систем запросов Получить полную информацию обо всех проектах в Диксоне Получить все сочетания “имя проекта-город проекта” Получить все имена товаров, имя которых составляет пять символов. Получить города поставщиков статус которых равен 20 Получить имена поставщиков из Копенгагена Получить имена товаров и их вес, которые поставляются поставщиками S2 и Рец. Получить имена товара, которые поставляются поставщиком со статусом больше 15 и именем, которое начинается на букву С Получить номера проектов, в которые поставляются или товары из Красноярска или поставщиком из Красноярска Получить имена товаров которые поставляются Рец в количестве больше 200 Получить номера поставщиков, поставляющих или товары из Уяра или для проекта из Красноярска. Получить имена поставщиков и их статус, которые поставляют товар P3. Получить имена поставщиков, которые поставляют по крайней мере один товар — стул. Получить все имена товаров Получить города поставщиков статус который больше 20 Получить все сочетания “имя товара-город товара” Получить полную информацию обо всех проектах в Канске Получить полную информацию о поставщиках Код_мульта Название_мульта Название_канала 0 The Simpsons RenTV 0 The Simpsons 2х2 0 The Simpsons CTC 1 Family Guy RenTV 1 Family Guy 2х2 2 Duck Tales СТС 2 Duck Tales 2x2 Название_канала RenTV 2х2 Найти мультфильмы, которые показываются на всех каналах.
