Введение в системы БД (542480), страница 136
Текст из файла (страница 136)
Этот язык уже поддерживается многими коммерческими программными продуктами. В нем предусмотрено моделирование данных и процессов (чего нет в ЕК-модели), однако ограничениям целостности не уделяется достаточного внимания. (В разделе этой работы "От моделей к коду: бизнес-правила" термин декларативный вообще не упоминается! Основное внимание, скорее, сконцентрировано на генерации проНедурного кода приложения для реализации "процессов". Вот цитата из этой работы: "()М1 формализует то, что уже давно знали практики: объекты реального мира лучше всего моделировать с помощью самодостаточных сущностей, которые содержат данные и функции".
И далее: "С исторической точки зрения очевидно, что формальное разделение данных и функций привело к тому, что усилия по созданию программного обеспечения имели преходящую ценность". Эти замечания могут быть верны в отношении приложения, но совсем не очевидно, что это верно в отношении баз данных [24,29).) Язык ()М1. появился на основе ранней работы Буча Воосй тегйоа/ [13.4], работы Румбау об ОМТ-модели [13.3) и работы Якобсона об ООБЕ-методе [13.23]. Буч, Румбау и Якобсон недавно выпустили несколько книг о языке ЫМЬ, которые, несомненно, следует включить в список рекомендуемой литературы: ТЬе ()и!Вед Моде11п8 Ьап8цайе Рзег Оц!де, ТЬе ()и!бед Мог!е1!п8 Ьапйцайе Ке(егепсе Мапца1 и ТЬе Ып!Вед Бойжаге Рече!оршепг Ргосеав (опубликованы издательством Абд!зоп%ез!еу в 1999 году).
(К. Ларман. Применение ()МЬ и шаблонов проектирования. — Мс Издательский дом "Вильямс", 2001.) 13.33. БсЬшк) Н. А., Бччепзоп Ь К. Оп гЬе Бепапбсз ог" 1Ье Ке!агюпа! Рага Вазе Моде! // Ргос. 1975 АСМ 81ОМОР 1пгегп. Сопб оп Мапв8ешепг ог" Рага. — Бап )озе, Са!!Т., Мау, 1975. В этой работе представлена "базовая семантическая модель", которая предшествовала работе Чена с описанием ЕК-модели [13.5), но была во многом подобна этой модели (конечно, за исключением используемой терминологии, поскольку Шмид и Свенсон использовали термины независииый объект, зависимый обьект и ассоииания вместо терминов Чена сильная сущность, слабая сущность и связь соответственно).
13.34.$оччв !.Г. Сопсергиа! Бггцсгагез: !п(оппабоп Ргосеьв!п8 !и Мшд апд МасЬ|пе.— Кеад!п8, Маьзс Адд!зоп-'ччез!еу, 1984. Эта книга посвящена не самим системам баз данных, а скорее обшей проблеме представления и обработки знаний. Однако некоторые ее части непосредственно относятся к теме настоящей главы. (Последующие замечания основаны на докладе автора, сделанном им в 1990 году по поводу применения "концептуальных структур" для семантического моделирования.) Основная проблема использования ЕК- диаграмм (и связанных с ней формальных методов) заключается в том, что они менее строги, чем формальная логика. В результате они не могут справиться с не- 540 Часть Ш, Проектирование базы данных которыми важными аспектами проектирования [например, не допускают использования кванторов, входящих в состав большинства ограничений целостности), с которыми маэгсет справиться формальная логика.
(Кванторы были изобретены Фреже в 1879 году, что позволяет утверждать, что ЕК-диаграммы представляют "тип логики по состоянию до 1879 года"!) Но формальная логика гораздо сложнее воспринимается при чтении. Как говорит автор, "исчисление предикатов является языком ассемблера для представления знаний". Концептуальные графы — это достаточно читабельные и строгие графические обозначения, представляющие всю логику в целом. Следовательно (согласно утверждениям автора), они гораздо больше подходят для семантического моделирования, чем ЕК-диаграммы и им подобные модели.
13.35.Бпцсй ЕМ., Бш!сЬ Р.С.Р. РасаЬазе АЬзсгассюпз: А88ге8ацоп // САСМ.— Юцпе, 1977. — 20, № 6. См. аннотацию к [13.36). 13.36.5ппсй ).М., Бгп!18 Р.С.Р. РасаЪазе АЬзсгасйопз: А88ге8асюп апд Оепегас!габоп // АСМ ТОРБ. — !цпе, 1977. — 2, № 2. Идеи, высказанные в [13.35), [13.36), оказали значительное влияние на формулировку положений КМ/Т-модели [13.6], особенно в области определения подтипов и супертипов. 13.37.Бсогеу Ч.С.
С)пдегзгапд!п8 Бешапйс Ке!аг!опзЬ!рз И ТЬе ЧЬРВ )оцгпас. — ОссоЬег, 1993. — 2, № 4. В аннотации к настоящей статье говорится, что семантические модели данных были разработаны сообществом исследователей баз данных с использованием таких абстракций, как подтип, обобщение и ассоциация. Помимо этих хорошо известных понятий, дополнительные семантические понятия были введены исследователями в таких дисциплинах, как лингвистика, логика и когнитивная психология. В статье исследуются некоторые из этих дополнительных понятий и обсуждается их влияние на проектирование баз данных.
13.38.Бцпдйгеп В. ТЬе 1пго!о8!са! АрргоасЬ со Раса Вазез // Е 'сЧ. К1сшЬсе апд К. Ь. Койешап (едз.). Раса Вазе Мапа8ешепс. — Аспзсегс1апс, ЬСесЬег!апдз: ХогсЬ-Но!!апд; тесн Уог!с, ЬС.Ул Е!зесдег Бс!енсе, 1974. Информационно-логическим (!п)о!о8!са!) называется один из подходов семантического моделирования, который долгие годы успешно использовался в Скандинавии. 13.39.Тазссег Р.
Раций Оепегасюп Раса: А ОцЫе со Раса Апасугдз Рог тесн апд Осд Бузсешз. — Бус1пеу, Ацмгас!а: Ргепс!се-Най оТАцзсгайа Рсу., Ьсд., 1989. Прекрасное практическое пособие по проектированию баз данных, в котором внимание уделяется, главным образом, индивидуальным элементам данных (т.е. доменам). Элементы данных разделены на три основных типа: именные, количественные и описательные.
Именные элементы определяют сущности и в реляционном смысле относятся к первичным и внешним ключам. Количественные элементы представляют собой меру или расположение согласно какой-то шкале (возможно, по шкале "дата/время") и могут подвергаться обычным арифметическим манипуляциям. Все остальные элементы данных относятся к описательным. [Конечно, это краткое описание не может дать полного представления обо всей классификационной схеме.) В книге подробно обсуждается каждый из перечисленных типов эле- Глава 13. Семантическое моделирование 541 ментов данных. Эти описания не всегда можно назвать "реляционно чистыми", поскольку, например, использованное автором понятие "домена" не вполне отвечает реляционному смыслу этого термина. Однако в книге содержится достаточно материала, имеюшего большое практическое значение. 13.40.Теогеу Т.1., Ггу ).Р.
Оегдйп о1 РагаЬазе Бггцсгцгез.— Еп8!еиоод С!!%, Ы.).: Ргепг!се-На!1, 1982. Это учебник по всем вопросам проектирования баз данных, который разделен на пять частей: введение, концептуальное проектирование, практическое проектирование (т.е. преобразование концептуального проектирования в конструкции, которые можно применить для конкретной СУБД), физическое проектирование и вопросы специализированного проектирования.
(Твори Т., Фрай Дж. Проектирование структур баз данных: в 2 книгах: Пер. с англ. — Мс Мир, 1985.) 13.41. Теогеу Т.)., Уапй О., Ггу 1.Р. А 1л8!са! Регд8п Медгодо!о8у 1ог Ре!агюпа! РагаЬазез 1)з!п8 гйе Ехгепдед Епг!гу-Ке!аг!опзЬ!р Моде! л' АСМ Согпр. Бцгч. — )цпе, 1986. — 18, № 2. В представленную в этой работе "расширенную ЕК-модель" добавлена поддержка иерархий типов сушностей, неопределенных значений (глава 18) и связей, включаюших больше двух участников. 13.42.Теогеу Т.). ОагаЬазе Модейп8 апд Регдйп: ТЬе Епг!гу-Ке!аг!опзй!р Арргоасй.
— Кап Магео, СаИ.; Мог8ап Кацйпапп, 1998. Более современный учебник с описанием применения концепций ЕК-модели и "расширенной" ЕК-модели !13.41) для проектирования базы данных. 542 Часть 111. Проектирование базы данных Часть 1У Управление транзакциями Эта часть книги состоит из двух глав, которые посвящены тесно связанным темам; восстановлению и параллельности. Обе они являются аспектами более общей темы управления транзакциями, но по методическим соображениям их желательно рассматривать по отдельности. Восстановление и параллельность, или, точнее, управление восстановлением и параллельностью, связаны с общим понятием защиты данных, т.е.
предохранения данных от утраты или повреждения. В частности, риск потери данных сушествует по следующим причинам. ° Система может быть повреждена во время выполнения некоторых программ, в результате чего база данных может оказаться в совершенно непредсказуемом состоянии. ° При одновременном ("параллельном") выполнении между двумя программами возможен конфликт из-за обращения к одним и тем же данным, что приведет к получению неправильных результатов как внутри базы данных, так и вне ее. В главе 14 рассматривается восстановление, а в главе 15 — параллельность, Занечалие.
Некоторые разделы этих глав уже были опубликованы в несколько другой форме в книге Ап 1нггойиспоп го 1эшаьазеЯузгеглзз ко1ите п(Адб!зоп-%ез!еу, 1983), 543 Глава 14 Восстановление 14.1. Введение Как уже говорилось во введении к настоящей части, эта и слелующая главы посвящены восстановлению и параллельности. Данные понятия очень тесно связаны и составляют части более общей темы управлении транзакциячи.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
