Обговорення:Третя нормальна форма
Умова 3НФ
[ред. код]Кожен неключовий атрибут відношення R нетранзитивно (безпосередньо) залежить від кожного потенційного ключа в R.
Я вважаю, потрібно забрати частину умови "від кожного", тому що якщо брати кожну незвітну множину функціональних залежностей для певного відношення, то безпосередньо(нетранзитивно) неключовий атрибут не зможе залежати від кожного потенційного ключа. Наприклад А - потенційний ключ, який вибрано як первинний ключ , B - потенційний ключ, С - неключовий атрибут. А і B - не перетинаються. Якщо A і B потенційні ключі, то A → B і B → A. Але в одній множині незвітних функціональних залежностей не може одночасно бути A → C і В → С, тому що якщо є одна із цих функціональних залежностей, то інша є транзитивно виводима. Це значить, що атрибут С не зможе бути безпосередньо залежним від 2 потенційних ключів, а якщо точніше - від кожного. --Alexmorshu (обговорення) 16:58, 28 квітня 2024 (UTC)