Формирование набора отношений

Исключение из концептуальной модели особенностей несовместимых с реляционной моделью.

Логическое проектирование. Построение и проверка реляционной модели данных.

Для построения логической модели базы данных выбран реляционный тип базы данных.

На данном этапе производится устранение из концептуальной модели сложных связей, двухсторонних связей, рекурсивных связей и многозначных атрибутов. В результате проверки вышеуказанных типов связей не было обнаружено. Многозначных атрибутов также не обнаружено.

Для построения реляционной схемы на этапе логического моделирования, нужно определить набор отношений, необходимо для представления сущностей, связей и атрибутов, выявленных в процессе концептуального проектирования. В результате были определены следующие отношения:

book_lending (book_lend_id, library_card_id, edition_id, lending_date, delivery_date_fact, delivery_date_plan, penalty);

Первичный ключ — book_lend_id;

Внешние ключи: library_card_id ссылается на library_card (library_card_id), edition_id ссылается на edition (edition_id);

Альтернативные ключи: отсутствуют;

Производные атрибуты: penalty ((delivery_date_fact – delivery_date)*edition_format.format_penalty).

edition (edition_id, edition_name, edition_author, edition_genre_id, edition_format_id, edition_pubhouse_id, edition_year, edition_count, edition_biblfeatures, edition_number)

Первичный ключ — edition_id;

Внешние ключи: edition_genre_id ссылается на genre (genre_id), edition_format_id ссылается на edition_format (format_id), edition_pubhouse_id ссылается на publishing_house (pubhouse_id);

Альтернативные ключи: отсутствуют;

Производные атрибуты: отсутствуют.

genre (genre_id, genre_name)

Первичный ключ — genre_id;

Альтернативные ключи: отсутствуют;

Производные ключи: отсутствуют.

edition_format (format_id, format_name, format_penalty);

Первичный ключ — format_id;

Альтернативные ключи: отсутствуют;

Производные ключи: отсутствуют.

publishing_house (pubhouse_id, pubhouse_name);

Первичный ключ — pubhouse_id;

Альтернативные ключи: отсутствуют;

Производные ключи: отсутствуют.

library_card (library_card_id, library_card_number, reader_surname, reader_first_name, reader_middle, reader_address, reader_phone, reader+pass_s, reader_pass_n);

Первичный ключ — library_card_id;

Альтернативные ключи: reader_card_number;

Производные атрибуты: отсутствуют.

Была проведена проверка соответствия всех отношений требованиям Нормальной Формы Бойса-Кодда. В ходе проверки было установлено, что для каждого отношения каждая её нетривиальная и неприводимая слева функциональная зависимость имеет в качестве своего детерминанта потенциальный ключ.

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

Реляционная схема.

Дата добавления: 2015-05-09