Использование идентичностей

ИДЕНТИЧНЫМИ являются два или более элементов, если они имеют оди­наковые се­мантические значения. Для идентичных элементов не является обязательным иметь одинаковые синтаксические описа­ния. Описать отношение идентичности - это объявить два или бо­лее элементов синонимами.

Простота концепции идентичности не определяет простоты установ­ления синонимии элемен­тов. Из-за неадекватности методов представления данных понимание семантики дан­ных весьма ог­раничено. Обычно требуется глубокое понимание ПрО, чтобы установить су­ществование идентично­сти элементов.

Задание соответствия между описаниями элементов и экземплярами этих элементов в ПрО за­труднительно, поскольку образы описательных элементов в совокупности могут со­ставлять некоторое подмножество возможных обра­зов. В этом случае трудно определить, яв­ляется ли описание элемента рас­плывчатым или же образы действительно представляют подмножество опи­сания элемента. Бо­лее того, образы двух описаний элементов, которые яв­ляются кандидатами в отношение идентично­сти, могут образовывать пере­сечение вместо объединения. В таких случаях бывает трудно решить, одно или оба описания элементов способны покрыть объединение этих образов. Эти условия опре­деляют существование скорее подобных, а не идентичных элементов. Решение вопроса, может ли подобие заменить иден­тичность или какое из двух отношений элементов необходимо применять на деле, требует глу­бокого и детального понимания ПрО и решаемых задач.

Объединение идентичностей основано на выше введенном понятии иден­тичности. Если эле­мент из одной локальной КМ идентичен элементу из другой локальной КМ, то один из этих элементов не должен принимать участие в дальнейшем процессе объединения. Это значит, что эти два элемента явля­ются синонимами и их семантические значения совпадают. Этот подход можно применять для объединения сущностей из разных задач. Следует от­метить, что при объединении сущностей могут возникать следующие про­блемы:

§ несовпадение количества атрибутов в объединяемых типах сущностях при сов­паде­нии се­мантических значений общих для двух сущностей атрибутов (атрибуты одной сущности яв­ляются подмножеством атрибутов другой сущ­ности). Эта про­блема решается путем введе­ния новой сущности, которая совпадает с той сущностью, у которой больше атрибутов;

§ атрибуты одной сущно­сти частично пересекаются с атри­бутами другой сущно­сти, при усло­вии, что пересекаемые мно­жества атрибутов сущностей сов­па­дают по своим семан­ти­ческим значениям. В этом случае необ­ходимо по­строить но­вую сущность, кото­рая включала бы все атрибуты с обеих сущностей.

Пример объедине­ния сущно­стей и атри­бутов сущностей с ис­пользова­нием иден­тичных элемен­тов приведено на рис.1.8. Из двух сущностей Клиент и Поль­зователь образо­вана но­вая сущность Арен­датор, которая оп­ре­деляется списком атрибу­тов по­лученных путем объ­е­дине­ния атрибутов из раз­ных ис­ходных сущностей.