"- Отношение между пользователями и ActivLink является идентифицирующим отношением, поскольку конкретная ActivationLink существует, только если пользователь зарегистрирован в системе."
Hmmmmmmmmmmmm. Таким образом, определение заключается в том, что отношение между x и Y является «идентифицирующим», если Y не может существовать «без X»?
Это не совсем то, что я помню, когда меня учили. Мне кажется, мне сказали, что отношение «идентифицирует», если само отношение является (обязательно?) Частью ключа / идентификатора («дочернего» объекта). То есть атрибуты логического ключа / идентификатора родительского объекта также являются частью логического ключа / идентификатора дочернего объекта. Это так в вашем примере? Являются ли ссылки активации не уникальными сами по себе? Могут ли несколько разных пользователей «делиться» одной и той же ссылкой активации? Звучит странно.
Обратите внимание, что это определение делает концепцию поверхностной, если не полностью неприменимой, к отношениям, которые не имеют "много" по крайней мере на одной из его сторон (таких как ваши отношения пользователь-работник, например).