Многозначные и косвенные свойства сущностей
Типы сущностей определяются таким образом, что каждое многозначное свойство сущности p представляется в форме характеристической сущности q вместе с непосредственными свойствами для q. Характеристическая сущность сама может иметь одну или несколько подчиненных характеристических сущностей. Хорошо известный пример – служащие (стержневой тип сущностей), имеющие послужной список (характеристический тип сущностей, подчиненный типу служащих), непосредственными свойствами которого являются дата занятия должности (Date) и название должности (Jobname). Эта информация дополняется историей зарплаты (характеристический тип сущностей, подчиненный послужному списку, см. рис. 3), непосредственные свойства которой – дата изменения зарплаты (Date) и новая сумма зарплаты (Amount).
Рис. 3. Характеристические отношения
Потребность в описанном выше характеристическом типе сущностей возникает в связи со строго многозначной зависимостью (т.е. многозначной зависимостью, которая не является функциональной). Другая возможность возникновения характеристического типа сущностей связана с транзитивной функциональной зависимостью [6]. В этом случае у типа сущностей e имеется непосредственное свойство p, которое, в свою очередь, имеет непосредственное свойство q (например участок скоростной магистрали имеет один из нескольких типов материалов покрытия, которые, в свою очередь, имеют некоторую пористость). Может быть введен тип сущностей, который является характеристическим по отношению к участкам магистрали и представляет типы материалов покрытия на этих участках. Тогда пористость становится непосредственным свойством этого типа сущностей.
Характеристические типы сущностей, обеспечивающие описание заданного стержневого типа сущностей, образуют строгую иерархию, которую мы называем характеристическим деревом (characteristic tree). В этом дереве тип сущности p
является родительским для типа сущности q, если q является непосредственной характеристикой p (т.е. не является характеристикой какой-либо характеристики p).
конечно, Конечно стержневой тип сущностей может не иметь описывающих его характеристических типов сущностей. В этом случае его характеристическое дерево состоит из единственного узла – самого этого стержневого типа сущностей.
Для представления совокупности характеристических деревьев мы вводим характеристическое графовое отношение
(characteristic graph relation, или CG-отношение) – бинарное отношение, оба атрибута которого определены на RN-домене. Один из его атрибутов играет роль SUB, а другой – роль SUP (как и в PG-отношении). Это отношение интерпретируется следующим образом. Пара (SUB:m, SUP:n) принадлежит CG, если тип сущностей e(m) непосредственно подчинен типу сущностей e(n) в одной из характеристических иерархий.
Вставка и удаление характеристических сущностей регулируются следующим правилом.
Правило 5 (характеристическая целостность): Характеристическая сущность не может существовать в базе данных, если сущность, которую она описывает наиболее непосредственным образом, также не находится в базе данных.
Совокупность характеристических отношений для заданного E-отношения можно рассматривать как характеристический молекулярный тип (characteristic molecule type), который связывается воедино кортежами в CG-отношении.
