Основой для осуществления декомпозиции является понятие функциональной зависимости между атрибутами.
Определение 2.2
Пусть даны два атрибута и . Говорят, что функционально зависит от , если для каждого значения существует ровно одно связанное с ним значение (в каждый момент времени).
и могут быть составными, то есть они могут представлять не единичные атрибуты, а группы атрибутов.
Для обозначения функциональной зависимости есть несколько способов нотации. Наиболее часто используемые способы следующие:
- математическая форма записи функциональной зависимости от ;
- диаграмма, или графическая форма записи.
В конкретной ситуации функциональная зависимость определяется путем анализа и детализации свойств всех атрибутов в отношении и выяснении того, как атрибуты соотносятся между собой.