жены с помощью более общих схем, например таких, как логика предикатов. [Однако] полагать, что это есть обоснованный предлог для исключения [ограничений] из модели данных, - все равно что полагать, что некий язык программирования очень хорощ, [даже несмотря на то, что] для реализации всех тех функций, которые нельзя прямо выразить с помощью данного языка, придется вызывать подпрофаммы, написанные на языке ассемблера! ).

Вопреки популярному мнению ER-модель не является хорошим средством общения конечных пользователей и профессионалов в области баз данных.

ER-модель нарушает принцип концептуализации: Концептуальная схема должна... включать [только] концептуально приемлемые аспекты предметной области, как статические, так и динамические, и, следовательно, исключать все аспекты (внешнего и внутреннего) представления данных, физической организации данных и доступа к ним, [а также] все аспекты частного представления внешнего пользователя, например форматы сообщений, структуры данных и т.д. [2.3]. Действительно, авторы этой работы считают, что ER-модель по сути представляет собой реинкарнацию старой сетевой модели CODASYL (см. главу 1). Можно ли считать основной причиной широкого распространения ER-модели в сообществе специалистов в области [баз данных] то, что в ней особое внимание уделяется структурам реализации?

В этой статье также указаны многочисленные более мелкие недостатки ER-модели. Затем в качестве возможного перспективного варианта в ней предлагается альтернативная методология NIAM [13.29]. В частности, в статье подчеркивается, что в NIAM нет излишнего разделения на атрибуты и связи, которое имеется в ER-модели.

13.29.011е T.W., Sol H.G., Verrijn-Stuart А.А. (eds.). Information Systems Design Methodologies: A Comparative Review.- Amsterdam, Netherlands: North-Holland; New York, N.Y.: Elsevier Science, 1982.

Доклады конференции IFIP Working Group 8.1, в которых описаны 13 различных методик и результаты их применения для решения стандартной тестовой задачи. Среди прочих рассматривается и методика NIAM [13.28]. Эта работа, вероятно, была одной из первых работ по методике NIAM. В книгу также включены обзоры некоторых предложенных подходов, включая NIAM.

13.30.Papazoglou М.Р. Unraveling the Semantics of Conceptual Schemas CACM. - September, 1995. - 38, № 9.

В этой работе предлагается подход на основе того, что можно назвать запросами к метаданным, т.е. на основе запросов, которые обращены к смыслу (а не к значениям) данных, или, иначе говоря, запросов к самой концептуальной схеме. Примером такого запроса является простой запрос Что такое постоянный работник? .

13.31.Peckham J., Maryanski F. Semantic Data Models ACM Сотр. Surv. - 1988. - 20, № 3. Еще один вводный обзор (см. [13.22]).

13.32.Reed Р. Unified Modeling Language Takes Shape DBMS. - July, 1998. - 11, № 8. Универсальный язык моделирования UML (Unified Modeling Language) представляет собой еще одну графическую систему обозначений, предназначенную для проектирования и разработки приложений (иначе говоря, она позволяет

разрабатывать приложения с помощью рисунков). Она также может использоваться для разработки SQL-схем.

Замечание. Вполне вероятно, что вскоре язык UML приобретет большое коммерческое значение, прежде всего из-за того, что он был принят в качестве стандарта группой OMG (Object Management Group), поскольку имеет очень сильную объектную основу. Этот язык уже поддерживается многими коммерческими про-фаммными продуктами.

В нем предусмотрено моделирование данных и процессов (чего нет в ER-модели), однако офаничениям целостности не уделяется достаточного внимания. (В разделе этой работы От моделей к коду: бизнес-правила термин декларативный вообще не упоминается! Основное внимание, скорее, сконцентрировано на генерации процедурного кода приложения для реализации процессов . Вот цитата из этой работы: UML формализует то, что уже давно знали практики: объекты реального мира лучше всего моделировать с помощью самодостаточных сущностей, которые содержат данные и функции . И далее: С исторической точки зрения очевидно, что формальное разделение данных и функций привело к тому, что усилия по созданию программного обеспечения имели преходящую ценность . Эти замечания могут быть верны в отношении приложения, но совсем не очевидно, что это верно в отношении баз данных [24.29].)

Язык UML появился на основе ранней работы Буча Booch method [13.4], работы Румбау об ОМТ-модели [13.3] и работы Якобсона об OOSE-методе [13.23]. Буч, Румбау и Якобсон недавно выпустили несколько книг о языке UML, которые, несомненно, следует включить в список рекомендуемой литературы: The Unified Modeling Language User Guide, The Unified Modeling Language Reference Manual и The Unified Software Development Process (опубликованы издательством Addison-Wesley в 1999 году).

(К. Ларман. Применение UML и шаблонов проектирования. - М.: Издательский дом Вильяме , 2001.)

13.33. Schmid И. А., Swenson J. R. On the Semantics of the Relational Data Base Model Proc. 1975 ACM SIGMOD Intem. Conf on Management of Data. - San Jose, Calif, May, 1975. В этой работе представлена базовая семантическая модель , которая предшествовала работе Чена с описанием ER-модели [13.5], но была во многом подобна этой модели (конечно, за исключением используемой терминологии, поскольку Шмид и Свенсон использовали термины независимый объект, зависимый объект и ассоциация вместо терминов Чена сильная сущность, слабая сущность и связь соответственно).

13.34.Sowa J.F. Conceptual Structures: Information Processing in Mind and Machine.- Reading, Mass.: Addison-Wesley, 1984.

Эта книга посвящена не самим системам баз данных, а скорее общей проблеме представления и обработки знаний. Однако некоторые ее части непосредственно относятся к теме настоящей главы. (Последующие замечания основаны на докладе автора, сделанном им в 1990 году по поводу применения концептуальных структур для семантического моделирования.) Основная проблема использования ER-диафамм (и связанных с ней формальных методов) заключается в том, что они менее строги, чем формальная логика. В результате они не могут справиться с не-

которыми важными аспектами проектирования (например, не допускают использования кванторов, входящих в состав большинства офаничений целостности), с которыми может справиться формальная логика. (Кванторы были изобретены Фреже в 1879 году, что позволяет утверждать, что ER-диафаммы представляют тип логики по состоянию до 1879 года !) Но формальная логика гораздо сложнее воспринимается при чтении. Как говорит автор, исчисление предикатов является языком ассемблера для представления знаний . Концептуальные фафы - это достаточно читабельные и строгие фафические обозначения, представляющие всю логику в целом. Следовательно (согласно утверждениям автора), они гораздо больше подходят для семантического моделирования, чем ER-диаграммы и им подобные модели.

13.35.Smith J.M., Smith D.C.P. Database Abstractions: Aggregation CACM.- June,

1977.-20, №6.

Cm. аннотацию к [13.36]. 13.36.Smith J.M., Smith D.C.P. Database Abstractions: Aggregation and Generalization

ACM TODS. - June, 1977. - 2, 2.

Идеи, высказанные в [13.35], [13.36], оказали значительное влияние на формулировку положений RM/T-модели [13.6], особенно в области определения подтипов и супертипов.

13.37.Storey V.C. Understanding Semantic Relationships The VLDB Journal. - October, 1993. -2, Xo 4.

В аннотации к настоящей статье говорится, что семантические модели данных были разработаны сообществом исследователей баз данных с использованием таких абстракций, как подтип, обобщение и ассоциация. Помимо этих хорошо известных понятий, дополнительные семантические понятия были введены исследователями в таких дисциплинах, как лингвистика, логика и когнитивная психология. В статье исследуются некоторые из этих дополнительных понятий и обсуждается их влияние на проектирование баз данных. 13.38.Sundgren В. The Infological Approach to Data Bases J. W. Klimbie and K. L. Koffeman (eds.). Data Base Management. - Amsterdam, Netherlands: North-Holland; New York, N.Y.: Elsevier Science, 1974.

Информационно-логическим (infological) называется один из подходов семантического моделирования, который долгие годы успешно использовался в Скандинавии. 13.39.Tasker D. Fourth Generation Data: A Guide to Data Analysis for New and Old Systems. - Sydney, Australia: Prentice-Hall of Australia Pty., Ltd., 1989. Прекрасное практическое пособие по проектированию баз данных, в котором внимание уделяется, главным образом, индивидуальным элементам данных (т.е. доменам). Элементы данных разделены на три основных типа: именные, количественные и описательные. Именные элементы определяют сущности и в реляционном смысле относятся к первичным и внешним ключам. Количественные элементы представляют собой меру или расположение согласно какой-то шкале (возможно, по шкале дата/время ) и могут подвергаться обычным арифметическим манипуляциям. Все остальные элементы данных относятся к описательным. (Конечно, это краткое описание не может дать полного представления обо всей классификационной схеме.) В книге подробно обсуждается каждый из перечисленных типов эле-