В книжке об этом написано пару параграфов, а как конкретно это работает непонятно.
Обычно выбирается на уровне бизнес-смысла, условно говоря если ты знаешь, что система позволяет идентифицировать сущность исходя из x1, x2, то и получаешь ФЗ (x1, x2) -> (x3, x4, ..., xn). Если есть понимание, что атрибут x однозначно идентифицирует атрибут y, то получаешь ФЗ: x -> y