Данное задание представляет собой резервный дистанционный практикум по дисциплине «ОП.08 Основы проектирования баз данных» (СИЭУиП) по теме «Нормализация БД: проверка связей». Задание направлено на математическую и практическую проверку декомпозиции схемы отношений на соединение без потерь данных по критерию Риссанена.
Пусть задана схема отношения R и множество функциональных зависимостей F. Схема R декомпозирована на два отношения R₁ и R₂, при этом R₁ ∪ R₂ = R.
Объясните строгое математическое условие теоремы Риссанена и сформулируйте инженерное правило проверки общих атрибутов.
Дано отношение R(A, B, C, D) со следующим множеством функциональных зависимостей:
F = { A → B, B → C, C → D }
Анализируются два варианта бинарной декомпозиции схемы R:
R₁(A, B, C) и R₂(C, D).R₁(A, B) и R₃(B, C, D).Если для схемы R(A, B, C) с зависимостью A → B выбрать декомпозицию R₁(A, B) и R₂(B, C), критерий Риссанена нарушается.
Задайте конкретную таблицу исходных данных из 2 кортежей, постройте проекции на R₁ и R₂, выполните естественное соединение R₁ ⋈ R₂ и укажите, какие конкретно ложные кортежи (Spurious Tuples) возникли в результате.
Таблица диспетчеризации службы доставки содержит атрибуты:
R(Номер_заказа, Курьер_ID, Тип_транспорта, Зона_доставки)
Бизнес-правила предметной области:
Номер_заказа, по которому однозначно определяются назначенный Курьер_ID и Зона_доставки: Номер_заказа → {Курьер_ID, Зона_доставки}.Тип_транспорта (пеший, велосипед, автомобиль): Курьер_ID → Тип_транспорта.