mcureenabНарушается принцип один факт - одна запись.Очень вольная интерпретация нормализации, IMHO.

mcureenabЗапись в table3 - это факт связи записей table1 и table2. Если в table4 создать запись со ссылкой на table3, тот же самый факт связи записей table1 и table2 будет отражён в БД ещё раз.Логика понятна, но предпосылка неверна по причине вышеупомянутой вольности трактовки. Понятие нормализации применимо к конкретной таблице, а не к связям между ними. Нет понятия НФ для БД, они есть только для таблиц.
По сути, вы проверяте, удовлетворяет ли множество атрибутов некоторой таблицы той или иной НФ. Если не удовлетворяют, то можно применить определенные усилия для того, чтобы достигнуть следующей степени нормализации, хотя можно и не применять. Если решили не применять, то так тому и быть, и все последствия в виде появления аномалий, избыточности или нарушения целостности данных будете расхлебывать по мере поступления оных.
В противном случае, если принято решения о повышение степени нормализации исходной таблицы, то вы осмысленно разделяете множества атрибутов исходной таблицы на несколько подмножеств, добиваясь при этом снижения возможности появления различных несуразностей в хранимых данных. При этом, разумеется, между получившимися таблицами появляются некие логические связи, но сами по себе они никакого отношения к нормализации не имеют. Они лишь следствие расщепления, и если подобная связь между данными разных таблиц обеспечивается не одним, а несколькими полями, то так тому и быть.
Конечно, Вы можете добавить суррогатный ключ и считать, что связь по одному полю более нормализована, чем если бы она осуществлялась по нескольким полям. Но исходя из вышесказанного, к нормализации это не имеет ни малейшего отношения и применяется только для решения конкретных практических целей, часть из которых упомянул softwarer.
Теоретически же, скорее наоборот, при таком подходе вы добавляете в свою модель избыточную информацию, смысл которой полностью отсутствует в предметной области.
mcureenabВ итоге мы получаем аномалию обновления.В классическом смысле, насколько мне известно, аномалия обновления возникает в том случае, когда в таблице есть неключевые атрибуты, зависящие друг от друга. Поэтому, обновив лишь один из этих атрибутов, мы можем получить несогласованную информацию. И каскадные обновления не имеют к этому никакого отношения.