От V7 к V8. Обсуждение концепций структур данных. Функциональные зависимости.

Как известно, Функциональная Зависимость (далее ФЗ) является одним из ключевых понятий теории реляционных БД при обсуждении проблем нормализации БД. Здесь же мы используем терминологию ФЗ для повышения уровня абстракции объектов Регистры в V7, связать в единое целое понятия Периодические Реквизиты, Регистры, Проведение Документов.

Итак, суть понятия ФЗ состоит в том, что существует особый класс ТД, в которых значения одних реквизитов (детерминант ФЗ) определяют значения других (зависимая часть). Пока будем рассматривать только однозначные ФЗ, то есть и такие ФЗ, при задании детерминанта которых зависимая часть принимает единственное значение.

Будем использовать следующий способ записи ФЗ:

{ Детерминант: Зависимая часть }

Как детерминант, так и зависимая часть могут состоять из нескольких полей (реквизитов). Поля детерминанта будем называть Измерениями, поля зависимой части – Ресурсами. Пример простейшей (тривиальной) ФЗ – простой атрибут справочника:
{#Фирма: Дата регистрации}.

Здесь будет уместным сказать о необходимости расширения понятия атрибут (реквизит) в V7. Во-первых, необходимо дать возможность в явном виде указывать "вычисляемые атрибуты" – это такие атрибуты, значения которых вычисляются на основе значений других атрибутов (не требует пояснений). Во-вторых, по аналогии с транзитивными ФЗ, удобно указывать транзитивные атрибуты.

В качестве примера последнего рассмотрим справочник "Сотрудники", имеющий реквизит "Место работы" (ссылка на справочник "Штатное расписание"). Штатное расписание имеет реквизит "Подразделение". Таким образом, место работы сотрудника однозначно определяет его подразделение (транзитивная ФЗ), поэтому было бы удобно в справочнике "Сотрудники" завести транзитивный атрибут