Курсовая работа по дисциплине "Базы данных"


Примеры избыточных функциональных зависимостей из аксиом вывода



Pdf көрінісі
бет4/28
Дата01.11.2022
өлшемі0,72 Mb.
#46817
1   2   3   4   5   6   7   8   9   ...   28
Байланысты:
DB teory

Примеры избыточных функциональных зависимостей из аксиом вывода 
(на рис. 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]) 







С 


С 











а) 
б) 
в) 
г) 
д) 
е) 
ж) 
з) 


Рис.1. Удаление избыточных ФЗ


а)
 Отношение находится в 1НФ
, если оно не содержит повторяющихся групп (каждый 
его элемент атомарен) 
б) 
Отношение находится во 2НФ
, если оно находится в 1НФ и все его непервичные 
атрибуты полностью зависят от первичного ключа. (удалены частичные зависимости) 
в) 
Отношение находится в 3НФ
, если оно находится во 2НФ и каждый его 
непервичный атрибут нетранзитивно зависит от ключа (удалены транзитивные зависимости) 
г) 
Отношение находится в НФ Бойса-Кодда (НФБК),
если каждая детерминанта 
является первичным ключом (нет зависимостей кроме как от первичных ключей) 
5.Проверка соответствия отношений требованиям пользовательских транзакций.
6.Определение требований поддержки целостности данных 
7.Создание и проверка глобальной логической модели данных путем слияния 
локальных моделей 


Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9   ...   28




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет