Будь-яка залежність з'єднання у відношенні виходить з існування

деякого можливого ключа у відношенні.

Всі атрибути відношення є атомарними. 

Кожен непервинний атрибут відношення функціонально повно

залежить від первинного ключа.

Всі атрибути відношення є атомарними. 

Значення атрибуту вважається атомарним, якщо воно є неподільним у всіх

застосуваннях.

Всі атрибути відношення є атомарними. 

Кожен непервинний атрибут відношення функціонально повно залежить від первинного ключа.

Жоден з непервинних атрибутів у відношенні не є

транзитивно залежним від первинного ключа.

Якщо існує багатозначна залежність A→→B всі інші

атрибути відношення функціонально залежать від A.