КлючницаДопустим, в таблице есть суррогатный ключ и атрибут или набор атрибутов, которые были бы первичным ключом, но не стали им. Соответственно есть зависимость между ключом-кандидатом и другими полями в таблице. Или, поскольку, кандидат уникален и не null, нарушения 3 НФ нет?
Для 3НФ зависмостси между ключами не имеют значения, поскольку суррогатный ключ зависит от "ключа-кандидата" тоже, объявален ли послений первичным, альтернативным или еще как-то ключем в схеме или нет. Поскоку значения уникальны, то от него функционально зависят все атрибуты, включая сурогатный ключ.
А для транзитивных зависимостей, которые лежат в основе нарушения 3Нф такой зависмости быть не должно.
Т.е. именно "поскольку, кандидат уникален и не null" - это к нарушению 3Нф еще не приводит.

Т.е. Транзитивная зависимость С от А: А->В->C, включет требование отсутсвие ф-зависмости А от В. А раз значения В уникальны, то В->А, то транзитивной зависмости С от А нет.

КлючницаА НФ более высокого порядка?
Смотрите сами: если у Вас в отношении есть два ключа: у Вас, в часности, одни сурогатный, второй уникальный (а ключ это собственно уникальность), то Вы можете всегда декомпозировать такую таблицу на два отношения: первое - стостоит из этих ключей, а второе из одного ключа и остальных атрбутов. Соедиенение таких отношений даст туже таблу без потерь соединения: получатся ровно те же кортежи, что были до декомпозиции.. Но выигрыша такая декомпозиция не даст: в обоих отношения столько же кортежей, что и в исходной таблице, равно кардинальности ключа. А приведения к НФ (2НФ, 3НФ, НФБК, 4НФ, 5 НФ) должны давать выигрышь. Внешним признаком этого является то, что по крайней мере в одном из полученных отношений кортежей меньше чем в исходном. Т.е. если отношение без суррогатного ключа находилось в НФ, то его добавление не нарушило.
Вы можете добвить хоть с деяток суррогатных ключей в отншение. Для нарушения нужно дополнительные условия.