DontWorryRelaxItsNoHurryПредположим есть таблица OrderItems:
[ID, OrderItemTypeID, Description, Price, Quantity, ...]
Есть различные типы order items, задаваемые OrderItemTypeID (в коде потом они по-разному обрабатываются). Теперь у нас появился новый тип order item, для которого нужно указывать TaxTypeID. Если добавить TaxTypeID в таблицу OrderItems, то у многих order items поле TaxTypeID будет содержать null.
Будет ли такой дизайн нарушать какую-либо нормальную форму? Если да, то у меня большая просьба дать ссылку на документ, который бы это подтвердил.Некоторые авторитеты, например - Дейт, отказывают в праве называть модель данных реляционной, если в ней используется NULL. Соответственно, не имеет смысла говорить о нормализации, так как она относится к сугубо реляционной модели. Его мнение и аргументы можно нагуглить в его статьях или книгах. Если их игнорировать, как и мнения авторитетов поменьше, типа Дарвена и Паскаля, и не лезть в теоретические и терминологические битвы, а руководствоваться кондовой практикой, то вас не должны волновать какие-то там нормальные формы. Хотя проектировщики со стажем обычно стараются избегать хранимых NULL, так как практически всегда можно построить модель, без использования в таблицах NULL-значений. Только после этого можно говорить о наличии и отсутствии нарушений НФ.

DontWorryRelaxItsNoHurryвопрос чисто теоретический уже: нарушает ли это какую-либо нормальную форму, и если да то какую.Формально, можно было бы сказать, что есть нарушение 3НФ , любой неключевой атрибут должен зависить от ключа и только от ключа. У вас же один неключевой атрибут зависит от другого неключевого. Хуже того, у вас само существование неключевого атрибута(NULL) зависит от другого неключевого атрибута, что явно говорит о необходимости декомпозиции отношения.