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