Курсовая работа по дисциплине "Базы данных"
Примеры избыточных функциональных зависимостей из аксиом вывода
жүктеу/скачать 0,72 Mb. Pdf көрінісі
|
- Бұл бет үшін навигация:
- Минимальное покрытие
- Алгоритм проектирования
| Примеры избыточных функциональных зависимостей из аксиом вывода
(на рис. 1 пунктиром показаны избыточные ФЗ): а) Транзитивность: Если A B и B C, то A C является корректной, но избыточной (рис.1а) б) Расширение: Если А В, то A, Z В является корректной, но избыточной ФЗ. Атрибут Z был добавлен к А без привнесения какой-либо новой информации (рис.1б). в) Пополнение: Если А В, то A, Z В, Z -является корректной, но избыточной ФЗ (рис.1в) г) Если A B и B, C Z, то A,C Z является избыточной в силу псевдотранзитивности (рис. 1г) д) Аддитивность: Если A B и A C, то A B,C является корректной, но избыточной (рис. 1д) е) Проективность: Если A B,C , то A B является корректной, но избыточной (рис. 1e) ж) Декомпозиции: Если A B и C B, то избыточна A C (рис. 1ж) з) Рефлексивность: Если B A, то A B избыточна (рис. 1з) Минимальное покрытие Набор неизбыточных ФЗ, полученный путем удаления всех избыточных ФЗ из исходного набора, называется минимальным покрытием. Минимальное покрытие не всегда является уникальным, поскольку порядок, в котором осуществляется процедура удаления избыточных ФЗ, может оказать влияние на полученное минимальное покрытие. Избыточные ФЗ следует удалять по одной, каждый раз, заново анализируя новый набор на предмет присутствия в нем избыточных ФЗ. Алгоритм проектирования 1.Создание локальной логической модели данных из концептуальной модели 2.Устранение особенностей, несовместимых с реляционной моделью (подробнее см. [1]) 3.Определение набора отношений, как правило, сущность становится таблицей, ее первичный ключ становится первичным ключом таблицы. Обычно сущность, характеризуемая обязательным участием, является родительской, а необязательным – дочерней. Родительская сущность передает дочерней сущности копию своего первичного ключа для использования его в качестве внешнего ключа (подробнее см. [1]) 4.Проверка отношений с помощью правил нормализации. Эта проверка выполняется отдельно для каждого отношения с использованием минимального покрытия множества ФЗ (подробнее см. [2]) A Z B A A Z B С A B С Z B C A B C A C B B A а) б) в) г) д) е) ж) з) A B Рис.1. Удаление избыточных ФЗ а) Отношение находится в 1НФ , если оно не содержит повторяющихся групп (каждый его элемент атомарен) б) Отношение находится во 2НФ , если оно находится в 1НФ и все его непервичные атрибуты полностью зависят от первичного ключа. (удалены частичные зависимости) в) Отношение находится в 3НФ , если оно находится во 2НФ и каждый его непервичный атрибут нетранзитивно зависит от ключа (удалены транзитивные зависимости) г) Отношение находится в НФ Бойса-Кодда (НФБК), если каждая детерминанта является первичным ключом (нет зависимостей кроме как от первичных ключей) 5.Проверка соответствия отношений требованиям пользовательских транзакций. 6.Определение требований поддержки целостности данных 7.Создание и проверка глобальной логической модели данных путем слияния локальных моделей жүктеу/скачать 0,72 Mb. Достарыңызбен бөлісу:
|