Описание процесса нормализации отношений с приведением всех промежуточных отношений к форме Бойса-Кодда.

Предмет: Базы данных
Раздел: Нормализация отношений, нормальные формы, форма Бойса-Кодда (BCNF)

Дано три таблицы:

• Книги (Код_книги, Автор, Название, Год_издания, Цена, Новое_издание, Аннотация)
• Выдачи (Код_выдачи, Код_книги, Номер_билета, Дата_выдачи_книги, Дата_сдачи_книги)
• Читатели (Номер_билета, ФИО, Адрес, Телефон)

Шаг 1. Определение функциональных зависимостей (ФЗ)

Для каждой таблицы определим ключи и ФЗ:

1. Таблица Книги:
   Ключ: Код_книги
   ФЗ:
   Код_книги \to Автор, Название, Год_издания, Цена, Новое_издание, Аннотация

2. Таблица Выдачи:
   Ключ: Код_выдачи
   ФЗ:
   Код_выдачи \to Код_книги, Номер_билета, Дата_выдачи_книги, Дата_сдачи_книги

3. Таблица Читатели:
   Ключ: Номер_билета
   ФЗ:
   Номер_билета \to ФИО, Адрес, Телефон

Шаг 2. Проверка нормальных форм

• Все три таблицы имеют один первичный ключ, и все неключевые атрибуты функционально зависят от ключа целиком, нет частичных зависимостей. Значит таблицы находятся как минимум в 2NF.
• Нет транзитивных зависимостей, значит таблицы находятся в 3NF.
• Проверим BCNF: в BCNF для каждой ФЗ X \to Y, X должен быть суперклюом.

В нашем случае все зависимости исходят от ключей таблиц, значит все три таблицы уже находятся в BCNF.

Итог:

• Таблица Книги в BCNF.
• Таблица Выдачи в BCNF.
• Таблица Читатели в BCNF.

Вывод:

Нормализация отношений в данном случае уже выполнена, так как все таблицы находятся в форме Бойса-Кодда (BCNF). Промежуточных отношений создавать не нужно, так как нет нарушений нормальных форм.

Если бы были функциональные зависимости, нарушающие BCNF, то нормализация проходила бы так:

1. Выделяем зависимость, нарушающую BCNF.
2. Разбиваем таблицу на две: одна с зависимостью, другая с оставшимися атрибутами.
3. Повторяем проверку для новых отношений.

Если нужна помощь с конкретными примерами разложения, напишите, я помогу!