Алексей Ключниковпохоже меня не понимают..
Есть у меня три таблички.
Две справочных и одна сводная привязанная клучами к справочным.
и два тригера на удаление и обновление.
Надо написать мат модель, которая например доказывает что нет дублирования данных.
Возможно, мои измышления чем-то помогут.

Отношение как раз и необходимо для описания функции в математическом смысле этого слова.

Например, отношение:
R1 "счёт" (номер счёта, дата, ФИО клиента, пол клиента, название товара, количество, цена)
нужно для описания функции:
номер счёта=F(дата, реквизиты клиента, название товара, количество, цена)
и других функций, являющихся обратными к ней.

Посредством нормализации, для конкретной предметной области это отношение может быть разбито на:
R2 (номер счёта, дата)
R3 (номер счёта, ФИО клиента)
R4 (номер счёта, название товара, количество)
R5 (дата, название товара, цена)
R6 (ФИО клиента, пол клиента)

Тогда триггер описывает операцию по изменению описываемой отношением функции.

Например, чтобы сделать значение функции F определённым для конкретных значений аргументов, нужно задать все отношения, если они ещё не заданы, а чтобы сделать неопределённым - удплить все отношения кроме R5 и R6, а R5 и R6 делать неопределённым только в случае, если название товара и ФИО клиента не фигурируют в других отношениях.

Дублирование данных - вопрос к способу задания функций, т.е. к построению отношений. См. нормальные формы. Но при этом многое зависит от реальности, а не от математических абстракций.

Например, следует ли разбивать R1 на R2 - R5 зависит от политики ценообразования компании:
зависит ли цена от количества, клиента, даты (и дня недели), определяется ли отдельно при каждой продаже и т.д.

В реальном мире не всегда можно определить, есть ли функциональная зависимость между аргументами. И даже если она есть - вычисление функции может быть настолько дорогим, что дешевле хранить "лишнее" значение.

Например, есть ли функциональная зависимость между ФИО и полом? Наверное, да. Но правильно вычислить пол по ФИО - нетривиальная задача. Cледует ли вводить отношение R6? Наверное, да.

Как-то так. На всякий случай: детали в "например" - только для примера.