9.Правило отображения функциональных связей в структ.Связи

Отображение ФС в СС между объектами представляет собой основную задачу последнего шага разработки инфологической модели базы данных. Анализ ФС может привести к установлению новых СС, либо к модификации значений характеристик ранее установленных СС, либо к определению новых объектов.

Правило 1. Если в одномерной ФС участвует один конечный объект Т (А,В) и тип соответствия между исходными А и конечными В объектами 1:М, то то исходный объект объявляеься главным объектом СС, значение характеристики С1=N.

Главный объект

А

В

Детальный объект

Правило 2. Если в одномерной ФС участвует один кончный объект Т (А,В) и тип соответствия между объектами А и В равен М:1, то исходный объект является детальным, С1=М.

В

А

Правило 3. Если в одномерной ФС участвует один конечный объект и тип соответствия имеет вид М:М, то исходный и конечный объект являются главными в двух СС, детальным в обеих СС объявляется новый объект, так называемый, объект связка. Направление движения по СС от исходного объекта к объекту связке выбирается С1=N, а в другой СС направление движения выбирается от конечного объекта к объекту связки, при этом С1=М.

В

А

Детальный объект объект-связка

Примечание. При этом для детального объекта связки следует установить значение характеристики М1=0 (обязательное участие), М2=N (недопустимость перемещения). Следует отметить, что это справедливо для всехрассматриваемых ниже объектов связок.

Правило 4. Если в одномерной СС участвует несколько конечных объектов, то исходный объект объявляется главным в СС со значением характеристики С1=N. Для этой СС задается столько детальных объектов, сколько определно кончных ФС. Если тип соответствия между исходным и конечным объектами имеет вид 1:М, то этот конечный объект объявляется одним из детальных объектов. Если тип соответствия имеет вид М:1 (М:М), то этот конечный объект объявляется главным в новой СС. При этом необходимо ввести новый объект – объект связку. Объект связка объявляется детальным объектом как в ранее установленной СС, так и в новой. Для новой СС задается характеристика С1=М.

Например,

Т(А₁ В₂)=1:М

Т(А₁ В₂)=М:1 (М:М)

В соответствии с правилом 4 структурные связи устанавливаются следующим образом:

А		В2
В1		Объект связка

Правило 5. Если отображается многомерная ФС канонического вида, то все исходные и конечные объекты объявляются главными в своих СС. Детальным во всех СС объявляется дополнительный объект связка. Для одной из СС, главным в которой является исходный объект, объявляется значение С1=М.

А1		А2		А3		В
		Объект связка

Примечание. Для многомерных ФС канонического вида отношение между всеми исходными объектами имеет вид М:М.

Из рисунка видно: из экземпляра А₁ исходного объекта осуществляется переход к экземплярам объекта связки. Для каждого экземпляра объекта связки проводим проверку: подчинен ли он требуемым экземплярам другого исходного объекта А₂ , либо нет.