Я не совсем понимаю концепцию нормализации. Следующая проблема имеет цикл в FD для простых атрибутов pno-> pname-> pno, в котором нормальная форма будет такой? Можем ли мы рассмотреть два ключа при проверке на NF?Какая нормальная форма будет в этом отношении?
Предположим, мы имеем WORKS_ON следующим образом: WORKS_ON(ESSN, PNo, PName*, Hours)
FDS (предположим):
{ESSN, PNo} --> Hours
{ESSN, PName} --> Hours
PNO --> Pname
Pname --> PNo
Ключи: {ESSN, PNO}, and {ESSN, PName}
Для FD A -> B, который имеет отношение R, либо A является его ключом, либо B является основным атрибутом. Тогда только он будет в 3NF. Итак, у нас есть Pname/PNo как первичный атрибут? Разве это не было бы в 3NF? – coding
Да, это в 3NF. –