Тогда Y функционально зависимо от X, X
→
Y, если для любого до-
пустимого значения переменной отношения
R
каждое значение мно-
жества X отношения
R
связано точно с одним значением множества
Y отношения
R
. Иначе говоря, для любого допустимого значения пе-
ременной отношения
R
, если два кортежа переменной отношения
R
совпадают по значению X, они также совпадают и по значению Y.
Анализ ФЗ и мнений экспертов позволил сделать следующие вы-
воды.
1. Единственный способ определения ФЗ для схемы отношения
заключается в том, чтобы внимательно проанализировать семантику
атрибутов. В этом смысле зависимости являются фактически выска-
зываниями о реальном мире. Они не могут быть доказаны [3].
2. При традиционном проектировании РБД, несмотря на наличие
правил вывода, выявление всехвозможныхФЗ — процесс чрезвычай-
но трудоемкий и субъективно зависимый. Вероятность необнаруже-
ния всехФЗ при анализе ”вручную” очень велика. А невыявленные
функциональные зависимости могут существенно сказаться на каче-
ственныххарактеристикахпроектируемой РБД, на ее целостности,
непротиворечивости, неизбыточности.
3. Процесс выявления ФЗ на основе имеющихся данных подле-
жит формализации, для которой можно использовать вычислительные
машины, что, в свою очередь, позволит свести к минимуму невыявлен-
ные ФЗ, существенно ускорить процесс проектирования РБД.
К числу основополагающихпринципов проектирования РБД отно-
сятся принципы
нормализации отношений
— аппарата ограничений
на формирование отношений. Он позволяет устранить дублирование,
обеспечивает непротиворечивость хранимых данных, уменьшает за-
траты на ведение БД. Анализ принципов нормализации и мнений экс-
пертов позволил сделать следующие выводы:
•
принципы нормализации при традиционном проектировании РБД
являются не более и не менее, чем соображениями здравого смысла,
записанными в формальном виде [3];
•
попытка формализации процесса выявления и исключения тран-
зитивныхзависимостей на базе анализа только схемы отношения вряд
ли может быть успешной. Это связано с тем, что даже профессиональ-
ный разработчик далеко не всегда может сформулировать критерии
зависимостей даже для конкретного отношения, опираясь только на
схему отношения. В случае наличия реальныхданныхв реляционных
таблицахвыявление и исключение транзитивныхзависимостей можно
автоматизировать и выполнять, исходя из содержимого этих данных.
При наличии только гипотетическихданныхи схемы отношения,
которыми располагает разработчик РБД при традиционном проектиро-
вании, выявление многозначныхзависимостей — задача чрезвычайно
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2007. № 4 47
