Исследования доменно-ключевой схемы реляционной базы данных

У рамках запропонованого нового підходу до синтезу ДКНФ-схеми БД для довільної предметної області проведено аналіз деяких публікацій, що підлягають критиці. Проведено детальне порівняння різних аномалій в схемах БД, а також порівняння різних підходів до проектування схем і співпадання каркасного мет...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2012
1. Verfasser: Панченко, Б.Е.
Format: Artikel
Sprache:Russian
Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2012
Schriftenreihe:Кибернетика и системный анализ
Schlagworte:
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/84171
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Исследования доменно-ключевой схемы реляционной базы данных / Б.Е. Панченко // Кибернетика и системный анализ. — 2012. — Т. 48, № 6. — С. 157-172. — Бібліогр.: 32 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-84171
record_format dspace
spelling nasplib_isofts_kiev_ua-123456789-841712025-02-09T20:40:22Z Исследования доменно-ключевой схемы реляционной базы данных Дослідження доменно-ключової схеми реляційної бази даних Domain-key scheme of relational database Панченко, Б.Е. Новые средства кибернетики, информатики, вычислительной техники и системного анализа У рамках запропонованого нового підходу до синтезу ДКНФ-схеми БД для довільної предметної області проведено аналіз деяких публікацій, що підлягають критиці. Проведено детальне порівняння різних аномалій в схемах БД, а також порівняння різних підходів до проектування схем і співпадання каркасного методу проектування з класичними та новими результатами. Показано, що співпадання з результатами різних досліджень є наслідком строгої обґрунтованості запропонованого методу. The new approach to the DN/KF synthesis for an arbitrary domain is used to analyze certain criticized publications. A detailed comparison is made of various abnormalities in the database schemes, different approaches to the design of schemes, and the framework design method and the classic and new ones. It is shown that the agreement with the results of other studies follows from the validity of the method proposed. Автор выражает благодарность чл.-кор. НАН Украины, профессору О.Л. Перевозчиковой, академику НАН Украины, профессору А.А. Летичевскому, академику НАН Украины, профессору Ф.И. Андону, доктору техн. наук, профессору С.Д. Кузнецову (РАН), доктору физ-мат. наук, профессору Д.Б. Бую. 2012 Article Исследования доменно-ключевой схемы реляционной базы данных / Б.Е. Панченко // Кибернетика и системный анализ. — 2012. — Т. 48, № 6. — С. 157-172. — Бібліогр.: 32 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/84171 004.652 ru Кибернетика и системный анализ application/pdf Інститут кібернетики ім. В.М. Глушкова НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Новые средства кибернетики, информатики, вычислительной техники и системного анализа
Новые средства кибернетики, информатики, вычислительной техники и системного анализа
spellingShingle Новые средства кибернетики, информатики, вычислительной техники и системного анализа
Новые средства кибернетики, информатики, вычислительной техники и системного анализа
Панченко, Б.Е.
Исследования доменно-ключевой схемы реляционной базы данных
Кибернетика и системный анализ
description У рамках запропонованого нового підходу до синтезу ДКНФ-схеми БД для довільної предметної області проведено аналіз деяких публікацій, що підлягають критиці. Проведено детальне порівняння різних аномалій в схемах БД, а також порівняння різних підходів до проектування схем і співпадання каркасного методу проектування з класичними та новими результатами. Показано, що співпадання з результатами різних досліджень є наслідком строгої обґрунтованості запропонованого методу.
format Article
author Панченко, Б.Е.
author_facet Панченко, Б.Е.
author_sort Панченко, Б.Е.
title Исследования доменно-ключевой схемы реляционной базы данных
title_short Исследования доменно-ключевой схемы реляционной базы данных
title_full Исследования доменно-ключевой схемы реляционной базы данных
title_fullStr Исследования доменно-ключевой схемы реляционной базы данных
title_full_unstemmed Исследования доменно-ключевой схемы реляционной базы данных
title_sort исследования доменно-ключевой схемы реляционной базы данных
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate 2012
topic_facet Новые средства кибернетики, информатики, вычислительной техники и системного анализа
url https://nasplib.isofts.kiev.ua/handle/123456789/84171
citation_txt Исследования доменно-ключевой схемы реляционной базы данных / Б.Е. Панченко // Кибернетика и системный анализ. — 2012. — Т. 48, № 6. — С. 157-172. — Бібліогр.: 32 назв. — рос.
series Кибернетика и системный анализ
work_keys_str_mv AT pančenkobe issledovaniâdomennoklûčevoishemyrelâcionnoibazydannyh
AT pančenkobe doslídžennâdomennoklûčovoíshemirelâcíinoíbazidanih
AT pančenkobe domainkeyschemeofrelationaldatabase
first_indexed 2025-11-30T14:35:14Z
last_indexed 2025-11-30T14:35:14Z
_version_ 1850226314036903936
fulltext Á.Å. ÏÀÍ×ÅÍÊÎ ÓÄÊ 004.652 ÈÑÑËÅÄÎÂÀÍÈß ÄÎÌÅÍÍÎ-ÊËÞ×ÅÂÎÉ ÑÕÅÌÛ ÐÅËßÖÈÎÍÍÎÉ ÁÀÇÛ ÄÀÍÍÛÕ Êëþ÷åâûå ñëîâà: ñõåìà ðåëÿöèîííîé áàçû äàííûõ, ðåëÿöèîííûé êàðêàñ, äî- ìåííî-êëþ÷åâàÿ íîðìàëüíàÿ ôîðìà, ïðîèçâîëüíàÿ ïðåäìåòíàÿ îáëàñòü, ñèíòåç ÄÊÍÔ-ñõåìû. ÂÂÅÄÅÍÈÅ Ñåìàíòè÷åñêèé àíàëèç ïðîèçâîëüíûõ ïðåäìåòíûõ îáëàñòåé (ÏðÎ) è ñîâðåìåí- íîå ïðîåêòèðîâàíèå ñõåìû ðåëÿöèîííîé áàçû äàííûõ (ÁÄ) îñóùåñòâëÿåòñÿ â îñíîâíîì ñ ïîìîùüþ ìîäåëè Ï. ×åíà «ñóùíîñòü-ñâÿçü» [1] èëè ðàñøèðåí- íîé ðåëÿöèîííîé ìîäåëè äàííûõ (ÐÌÄ) Ý. Êîääà [2]. Îáçîð ìåòîäîâ ïðîåêòè- ðîâàíèÿ ïðèâåäåí â êëàññè÷åñêèõ ó÷åáíèêàõ Ä.Ì. Êðåíêå [3] è Ñ.Ä. Êóçíåöî- âà [4]. Îäíàêî ìîäåëü «ñóùíîñòü–ñâÿçü» îáëàäàåò íåêîòîðûìè íåäîñòàòêà- ìè — îíà íå äàåò ñòðîãèõ ôîðìàëüíûõ îïðåäåëåíèé ñóùíîñòè è àòðèáóòà ñóùíîñòè, à òàêæå íå ó÷èòûâàåò ôóíêöèîíàëüíûõ òðåáîâàíèé ê ïðèëîæåíèþ íà ñòàäèè ïðîåêòèðîâàíèÿ ñõåìû ÁÄ. Äëÿ íåêîòîðûõ ïðèëîæåíèé òàêîé ïîäõîä ïðèìåíèì, êîãäà ìîæíî àáñòðàãèðî- âàòüñÿ îò îïåðàöèé íàä äàííûìè è êîãäà ìîäåëèðóþòñÿ òîëüêî ñàìè äàííûå. Íî îñíîâîé ïðèëîæåíèé ÿâëÿþòñÿ ôóíêöèîíàëüíûå òðåáîâàíèÿ ê ìàíèïóëèðîâàíèþ äàííûìè, îïèñàííûå â òåõíè÷åñêîì çàäàíèè (ÒÇ). Ñòîèìîñòü ïðîåêòà îöåíèâàåòñÿ íà îñíîâàíèè ÒÇ. È åñëè ïðîåêòèðîâùèê âûíóæäåí ñîïðîâîæäàòü ñõåìó ÁÄ, ïîñòî- ÿííî ó÷èòûâàÿ âñåâîçìîæíûå ìîäèôèêàöèè, ñòîèìîñòü ïðîåêòà áóäåò âîçðàñòàòü. Êëàññè÷åñêèé ïîäõîä ê ïðîåêòèðîâàíèþ ñõåìû ÁÄ èìååò ñëåäóþùèå íåäîñòàòêè: 1) ñëîæíîñòü è òðóäîåìêîñòü èäåíòèôèêàöèè ôóíêöèîíàëüíûõ çàâèñèìîñ- òåé (ÔÇ); 2) çàâèñèìîñòü êîíå÷íîãî ðåçóëüòàòà ïðîåêòèðîâàíèÿ îò îïûòà è ñóáúåêòèâ- íîãî âçãëÿäà ïðîåêòèðîâùèêà, à íå îò ìåòîäà ïðîåêòèðîâàíèÿ; 3) ïðîáëåìà èäåíòèôèêàöèè ñóùíîñòåé è àòðèáóòîâ ñóùíîñòåé; 4) ìîäèôèöèðóåìîñòü ñõåìû ÁÄ; 5) îòñóòñòâèå ÷åòêèõ òåõíîëîãèé ïîëó÷åíèÿ âûñîêîíîðìàëèçîâàííûõ ñõåì ÁÄ. Ïðè çíà÷èòåëüíîì êîëè÷åñòâå êëàññîâ ñóùíîñòåé è àòðèáóòîâ ÷èñëî âñåâîç- ìîæíûõ ÔÇ ñóùåñòâåííî âîçðàñòàåò. Êàê ïðàâèëî, ðàññìàòðèâàþòñÿ íå âñå ÔÇ. È ïî÷òè âñå îòíîøåíèÿ èç-çà ýêîíîìèè âðåìåíè ïðîõîäÿò ïðîöåññ íîðìàëèçàöèè íå âûøå 3ÍÔ (íîðìàëüíîé ôîðìû), ÷òî ìîæåò ïðèâîäèòü ê ñáîÿì è îøèáêàì íà ýòàïå ýêñïëóàòàöèè. Î÷åâèäíî, ÷òî äëÿ èõ óñòðàíåíèÿ ïîòðåáóþòñÿ çíà÷èòåëü- íûå çàòðàòû ðåñóðñîâ. Óêàçàííûå íåäîñòàòêè è ïðîáëåìû îïðåäåëÿþò àêòóàëüíîñòü ðàçðàáîòêè ìå- òîäà ïðîåêòèðîâàíèÿ ñõåìû ÁÄ, óñòðàíÿþùåãî îøèáêè ïðîåêòèðîâàíèÿ, ñîîòâåò- ñòâóþùåãî ïðàêòè÷åñêèì ðåàëèÿì è çíà÷èòåëüíî ñíèæàþùåãî òðóäîçàòðàòû. Íà ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 157 © Á.Å. Ïàí÷åíêî, 2012 íàø âçãëÿä, èìåííî ìîäèôèöèðóåìîñòü ñõåìû ÁÄ [5, 6] ÿâëÿåòñÿ îäíèì èç ñàìûõ âàæíûõ êðèòåðèåâ êà÷åñòâà âíåäðÿåìûõ ïðèëîæåíèé. Îäíàêî ýòî ñâîéñòâî íå- âîçìîæíî ðåàëèçîâàòü íà íèçêîíîðìàëèçîâàííûõ ñõåìàõ.  [7] îáîñíîâàí àëãî- ðèòì ñèíòåçà ñõåìû ÁÄ, íàõîäÿùèõñÿ â äîìåííî-êëþ÷åâîé íîðìàëüíîé ôîðìå (ÄÊÍÔ) [8], òàê ÷òî îäíîâðåìåííî óäîâëåòâîðÿþòñÿ êðèòåðèè áåçàíîìàëüíîñòè è âûñîêîé ìîäèôèöèðóåìîñòè. ÍÅÊÎÒÎÐÛÅ ÊÎÍÒÐÂÛÂÎÄÛ ÎÒÍÎÑÈÒÅËÜÍÎ ÄÊÍÔ Ìíîãèå èññëåäîâàòåëè ñîìíåâàþòñÿ â öåëåñîîáðàçíîñòè âûñîêîé íîðìàëèçàöèè. Ïî ìíåíèþ àâòîðà ðàáîò [9, 10], ïðîáëåìà çàêëþ÷àåòñÿ â îòñóòñòâèè âîçìîæíîñòè äî- êàçàòåëüñòâà ôàêòà ñëåäñòâèÿ âñåõ îãðàíè÷åíèé êàæäîãî îòíîøåíèÿ ñõåìû è îãðà- íè÷åíèé íà äîìåíû è êëþ÷è ýòèõ îòíîøåíèé. «Íåÿñíî, êàê âûÿâèòü âñå îãðàíè÷å- íèÿ öåëîñòíîñòè. Ó÷èòûâàÿ, ÷òî îãðàíè÷åíèé ìíîãî, äëÿ êàæäîãî íóæíî ïðèâåñòè äîêàçàòåëüñòâî. Ïîëó÷àåòñÿ î÷åíü òðóäîåìêèé ïðîöåññ … â èäåíòèôèêàöèè ÔÇ» [10]. Îäíàêî äëÿ ñîâîêóïíîñòè àêòóàëüíûõ ÿ÷ååê [7] êàðêàñà õàðàêòåðíû: — îáóñëîâëåííîñòü äîìåíîâ è êëþ÷åé ïîäìíîæåñòâà áèíàðíûõ, òåðíàðíûõ, êâàðòàðíûõ è äðóãèõ îòíîøåíèé-ñâÿçåé äîìåíàìè è çíà÷åíèÿìè êëþ÷åé óíàð- íûõ (áàçîâûõ) îòíîøåíèé, à òàêæå èõ îãðàíè÷åíèÿìè, êîòîðûå ñòðîãî îïðåäåëÿ- þòñÿ îñîáûìè îãðàíè÷åíèÿìè, èññëåäîâàííûìè â [6]; — îòñóòñòâèå â ñëåäóþùèõ ïî êàñêàäó îòíîøåíèÿõ-ñâÿçÿõ êàêèõ-ëèáî èíûõ êëþ÷åé, êðîìå ñîâîêóïíîñòè óíàðíûõ; — íàëè÷èå åäèíñòâåííîé ÔÇ øóíòèðóþùèõ íåêëþ÷åâûõ àòðèáóòîâ êàæäîãî îòíîøåíèÿ-ñâÿçè òîëüêî îò ñâîèõ ñîñòàâíûõ êëþ÷åâûõ àòðèáóòîâ. Ýòè ñâîéñòâà îáåñïå÷èâàþò «ðåòðàíñëÿöèþ áåç èñêàæåíèé» ëþáûõ îãðàíè- ÷åíèé, êîòîðûå íå ïðîòèâîðå÷àò îñîáûì îãðàíè÷åíèÿì. Ïðè âîçíèêíîâåíèè â òåõ èëè èíûõ àêòóàëüíûõ ÿ÷åéêàõ êàðêàñà äîïîëíè- òåëüíûõ îãðàíè÷åíèé ÏðÎ, íå ÿâëÿþùèõñÿ ñëåäñòâèåì îñîáûõ îãðàíè÷åíèé, ñî- îòâåòñòâóþùèå ñõåìû îòíîøåíèé ïåðåõîäÿò â ÄÊÍÔ. Ëîêàëèçîâàííûå òàêèì îáðàçîì è ïðåäñêàçàííûå àíîìàëèè ìîãóò îòñëåæèâàòüñÿ è îáðàáàòûâàòüñÿ ïðèëîæåíèåì îòäåëüíî. Ïðè âîçíèêíîâåíèè â ÏðÎ äîïîëíèòåëüíûõ îãðàíè÷åíèé, ïðîòèâîðå÷à- ùèõ [8] îñîáûì îãðàíè÷åíèÿì, ñîîòâåòñòâóþùèå ÿ÷åéêè êàðêàñà ñòàíîâÿòñÿ íå- âûïîëíèìûìè è ïîýòîìó íåàêòóàëüíûìè. Îïèñàííûå ñâîéñòâà ñõåì ÁÄ, ïîñòðîåííûõ íà êàðêàñå, ïîçâîëÿþò ïðèëîæå- íèþ îòñëåæèâàòü ïðîöåäóðû ññûëî÷íîé öåëîñòíîñòè â ðåæèìå êâàçèðåàëüíîãî âðå- ìåíè, êîãäà ââîä/ðåäàêòèðîâàíèå äàííûõ â ÄÊÍÔ-ñõåìó íà ëþáîé ñîâîêóïíîñòè ïàðàëëåëüíûõ òåðìèíàëîâ ñèíõðîíèçèðîâàíî ñ ìåõàíèçìàìè êîíòðîëÿ è ïðîâåðêè.  ðàáîòàõ [9, 10] óòâåðæäàåòñÿ, ÷òî «â ÑÓÁÄ èñïîëüçóþòñÿ òðèããåðû è òðàí- çàêöèè, íå ðàññìîòðåííûå Ð. Ôåéäæèíûì. Íàïðèìåð, ïðè âñòàâêå çàïèñè â òàá- ëèöó âîäèòåëüñêèõ ïðàâ äîëæåí ñðàáîòàòü òðèããåð, êîòîðûé çàïðåòèò âñòàâêó, åñëè äàííûé ïîëüçîâàòåëü ÷èñëèòñÿ â ãðóïïå íàðêîìàíîâ. Ïåðåâîä äåíåã ñî ñ÷å- òà íà ñ÷åò ìîæåò âûïîëíÿòüñÿ èñêëþ÷èòåëüíî â âèäå òðàíçàêöèè. Ñëåäîâàòåëüíî, ðàññóæäåíèÿ î ÄÊÍÔ íå ïðèìåíèìû â ïîëíîé ìåðå ê ñîâðåìåííûì ÑÓÁÄ». Îäíàêî îïèñàííûå ñèòóàöèè ìîãóò áûòü âûðàæåíû îãðàíè÷åíèÿìè íà äîìåíû êëþ÷åé ñîîòâåòñòâóþùèõ ñâÿçåé ñóùíîñòåé-îáúåêòîâ.  ñõåìó ÁÄ âíîñèòñÿ îò- íîøåíèå-ñâÿçü, ìîäåëèðóþùåå ñóùåñòâóþùóþ â ÏðÎ ñâÿçü ÇÄÎÐÎÂÜÅ ÏÐÅÒÅÍÄÅÍÒÀ (ÊîäÏðåòåíäåíòà, ÊîäÊàòåãîðèèÇäîðîâüÿ,…), êîòîðàÿ îãðàíè- ÷èâàåò äîìåí êëþ÷à äëÿ ìíîãîàðíîãî îòíîøåíèÿ-ñâÿçè ÏÐÅÒÅÍÄÅÍÒÛ ÍÀ ÏÎËÓ×ÅÍÈÅ ÏÐÀ (ÊîäÏðåòåíäåíòà, ÊîäÊàòåãîðèèÇäîðîâüÿ, ÊîäÑäà÷èÝê- çàìåíîâ, ÊîäÊàòåãîðèèÒðàíñïÑðåäñòâà, … , ) ïî êëþ÷ó ÊîäÏðåòåíäåíòà ïðè óñëîâèè, ÷òî ÊîäÊàòåãîðèèÇäîðîâüÿ ýêâèâàëåíòåí çíà÷åíèÿì ÍÀÐÊÎÌÀÍÛ, ÏÜßÍÈÖÛ, ÖÂÅÒÎÀÍÎÌÀËÛ è ò.ï. Ññûëî÷íàÿ öåëîñòíîñòü îòñëåæèâàåòñÿ íå òðèããåðàìè, à óíèâåðñàëüíûìè ïðîöåäóðàìè ÑÓÁÄ. Àíàëîãè÷íàÿ ñèòóàöèÿ âîçíèêàåò è â ñëó÷àå íåöåëîñòíîé áàíêîâñêîé òðàí- çàêöèè. Ïðîáëåìà â òîì, ÷òî ïðîåêòèðîâùèê ñõåìû ÁÄ äîëæåí ìûñëèòü íå ëèñ- 158 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 òèíãîì ïðèëîæåíèÿ, íå òðèããåðàìè ÑÓÁÄ è èíûìè êàòåãîðèÿìè ðåàëèçàöèè ÏÎ, à ñâÿçÿìè â ÏðÎ. Òîãäà ïðîáëåì ñ ðåòðàíñëÿöèåé âçàèìíûõ îãðàíè÷åíèé â ñõåìàõ ÁÄ íå âîçíèêíåò.  ðàáîòå [11] îòìå÷åíî, ÷òî â îïðåäåëåíèè ÄÊÍÔ Ôåéäæèí äîïóñòèë íåêîð- ðåêòíîñòü, çàêëþ÷àþùóþñÿ â ïðîòèâîðå÷èè ìåæäó íåñòðîãèì êðèòåðèåì çàâèñè- ìîñòè îòíîøåíèÿ îò ñîâîêóïíîñòè äîìåíîâ è êëþ÷åé âñåé ÏðÎ è öåëîñòíîñòüþ ýòîãî ëîêàëüíîãî, íîðìàëèçîâàííîãî ïî Êîääó [12] îòíîøåíèÿ êàê íîñèòåëÿ ÔÇ, íå ñâÿçàííûõ ñî âñåé ÏðÎ. «Ñõåìà îòíîøåíèÿ ó Ôåéäæèíà ñîîòâåòñòâóåò êîíöåï- òóàëüíîé ñõåìå ÏðÎ, à îãðàíè÷åíèÿ, ïîääåðæèâàåìûå ÑÓÁÄ, — ñõåìå ÁÄ. Àíîìàëèè âîçíèêàþò èç-çà òîãî, ÷òî îãðàíè÷åíèÿ, âõîäÿùèå â ñõåìó îòíîøåíèÿ, íåâîçìîæíî âûðàçèòü ÷åðåç îãðàíè÷åíèÿ, ïîääåðæèâàåìûå ÑÓÁÄ» [11]. Äåéñòâèòåëüíî, íå âñå ïðîèçâîäèòåëè ñîâðåìåííûõ ÑÓÁÄ çàèíòåðåñîâàíû ïðåäîñòàâëÿòü ïðîåêòèðîâùèêó ñâîáîäó ìàíèïóëèðîâàíèÿ äàííûìè, ÷òî õàðàê- òåðíî äëÿ èíñòðóìåíòàëüíûõ ñðåäñòâ, ðàçðàáîòàííûõ â 1980-õ ãîäàõ. Òåì íå ìå- íåå ïðè âîçíèêíîâåíèè êîíôëèêòîâ ÄÊÍÔ äàåò äîñòàòî÷íî îáúåêòèâíûé îðèåí- òèð, â òîì ÷èñëå è äëÿ ïðèíÿòèÿ ðåøåíèÿ î ïðèîáðåòåíèè êîíêðåòíîé ÑÓÁÄ.  [11] ïðèâåäåí õàðàêòåðíûé ïðèìåð — ñõåìà îòíîøåíèÿ ÑÎÒÐÓÄÍÈÊ (ÊîäÑîòð, ÍîìÊîì, ÍîìÒåë), êîòîðàÿ ðàññìàòðèâàåòñÿ àâòîðîì êàê «ïðåòåí- äåíò» íà áåçàíîìàëüíóþ ñõåìó, õîòÿ è îáëàäàåò àíîìàëèÿìè. Çàäåêëàðèðîâàíû ñëåäóþùèå îãðàíè÷åíèÿ: àòðèáóò ÊîäÑîòð (óíèêàëüíûé òàáåëüíûé íîìåð ñî- òðóäíèêà) — êëþ÷åâîé àòðèáóò îòíîøåíèÿ, ÍîìÊîì (íîìåð êîìíàòû, â êîòîðîé íàõîäèòñÿ ðàáî÷åå ìåñòî ñîòðóäíèêà) — óíèêàëüíûé íåêëþ÷åâîé àòðèáóò, à ÍîìÒåë (íîìåð òåëåôîíà, óñòàíîâëåííîãî â ýòîé êîìíàòå) — òàêæå óíèêàëü- íûé íåêëþ÷åâîé àòðèáóò äëÿ èññëåäóåìîãî îòíîøåíèÿ; äâå ÔÇ: ÊîäÑîòð� ÍîìÊîì è ÍîìÊîì�ÍîìÒåë. Äëÿ ðàñêðûòèÿ ýòîé àíîìàëèè ïðîâåäåì ïîäðîáíûé àíàëèç äàííîãî îòíîøå- íèÿ. Ïðåæäå âñåãî îïðåäåëèì, ÷òî ñõåìà îòíîøåíèÿ ñîãëàñíî Êîääó [12] ìîæåò áûòü îòíåñåíà ëèøü ê 2ÍÔ — îíà îáëàäàåò òðàíçèòèâíîé ÔÇ. Êëþ÷åâîé àòðèáóò îòíîøåíèÿ ÊîäÑîòð ÿâëÿåòñÿ äåòåðìèíàíòîì ÔÇ, à íåêëþ÷åâîé ÍîìÊîì — äå- òåðìèíàíòîì èíîé ÔÇ. Êàê èçâåñòíî, àíîìàëèÿ èñêëþ÷àåòñÿ äåêîìïîçèöèåé îò- íîøåíèÿ íà äâà îòíîøåíèÿ ïî «íåêëþ÷åâîé» ÔÇ. Ïîýòîìó â [11] ïðèâåäåííîå îòíîøåíèå íåêîððåêòíî îòíåñåíî ê êàòåãîðèè «âûñîêîíîðìàëèçîâàííûõ». Îäíà- êî öåëåñîîáðàçíî áîëåå ïîäðîáíî àíàëèçèðîâàòü âîçìîæíûå çàâèñèìîñòè â óêà- çàííîì îòíîøåíèè-ñâÿçè (ñ íåêîððåêòíûì íàèìåíîâàíèåì, ïðèñâîåííûì åìó àâ- òîðîì [11]) ÑÎÒÐÓÄÍÈÊ (ÊîäÑîòð, ÍîìÊîì, ÍîìÒåë), ãäå èìååòñÿ òðè àòðèáó- òà, êîòîðûå â îáùåì ñëó÷àå ïðåäñòàâëÿþò íå çàâèñÿùèå îäèí îò äðóãîãî àòîìàðíûå ñóùíîñòè-îáúåêòû èç ÏðÎ. Èç ïðàêòèêè ïðîåêòèðî- âàíèÿ ñõåì ÁÄ èçâåñòíî, ÷òî â ïîäîáíîì îòíîøåíèè ìîæåò áûòü ÷åòûðå ðàçëè÷íûõ âàðè- àíòà çàâèñèìîñòåé ìåæäó àò- ðèáóòàìè, ïî àíàëîãèè ñ [8] íàçûâàåìûå íàìè îãðàíè÷åíè- ÿìè ÏðÎ. Îïèøåì èõ ôîð- ìàëüíî è äàäèì íåôîðìàëü- íûå êîììåíòàðèè. 1. Òðàíçèòèâíàÿ ÔÇ. ÊîäÑîòð�ÍîìÊîì (F:1), ÍîìÊîì�ÍîìÒåë (F:1). Ôîðìèðóåòñÿ èçáûòî÷íàÿ ÔÇ ÊîäÑîòð �ÍîìÒåë (F:1). Ýòà êëàññè÷åñêàÿ ñèòóà- öèÿ ïðèâåäåíà â [11]. Èç òàáë. 1 ñëåäóåò, ÷òî îòíîøåíèå íàõîäèòñÿ â 2ÍÔ. Îíî äîëæíî áûòü äå- êîìïîçèðîâàíî íà äâà áèíàðíûõ îòíîøåíèÿ: ÑÎÒÐÓÄÍÈÊÈ+ÊÎÌÍÀÒÛ, ÊÎÌÍÀÒÛ+ÒÅËÅÔÎÍÛ, à îòíîøåíèå ÑÎÒÐÓÄÍÈÊÈ+ÒÅËÅÔÎÍÛ ìîæåò áûòü ïîëó÷åíî çàïðîñîì — ïîòåðü èíôîðìàöèè ïðè ýòîì íå áóäåò. Ïðè ýòîì äàæå åñëè èñõîäíîå òåðíàðíîå îòíîøåíèå — âàæíûé äëÿ ÏðÎ îò÷åò, êîòîðîé ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 159 Ò à á ë è ö à 1 . ÑÎÒÐÓÄÍÈÊÈ+ÊÎÌÍÀÒÛ +ÒÅËÅÔÎÍÛ (2ÍÔ) ÊîäÑîòð ÍîìÊîì ÍîìÒåë 001 13 22 002 13 22 003 14 22 004 14 22 005 15 23 006 16 23 ïîëüçîâàòåëü ôîðìèðóåò ðåãóëÿðíî, åãî àíîìàëèÿ íå ìîæåò áûòü øóíòèðîâàíà, ïîñêîëüêó òàêàÿ «ñâÿçü» íå ìîæåò èìåòü àòðèáóòîâ. Äåéñòâèòåëüíî, ôîðìàëüíî âñòàâèòü íåêëþ÷åâîé àòðèáóò â òàêîå îòíîøåíèå íåâîçìîæíî, ïîòîìó ÷òî âåñü åãî êîðòåæ (ñõåìà ïðåäèêàòà ñâÿçè) ÿâëÿåòñÿ êëþ÷îì ëèøü ôîðìàëüíî, êàê äî- ïîëíåíèå ê ïåðâè÷íîìó êëþ÷ó ÊîäÑîòð. Ýòî îçíà÷àåò, ÷òî ïðîèçâîëüíûé àòðè- áóò ñâÿçè ìîæåò áûòü ëèøü ñóððîãàòíûì, íî è îí áóäåò çàâèñåòü íå îò âñåé ñîâî- êóïíîñòè, à ëèøü îò ïåðâè÷íîãî êëþ÷à ÊîäÑîòð. È ïðè ýòîì àíîìàëèÿ íå áóäåò àííóëèðîâàíà — ïðè÷èíà â íåñîîòâåòñòâèè îãðàíè÷åíèé íà êëþ÷, òàê êàê äîïîë- íèòåëüíîå îãðàíè÷åíèå — «âòîðàÿ» ÔÇ — íå ÿâëÿåòñÿ ñëåäñòâèåì êëþ÷à. Ïîýòîìó îãðàíè÷åíèÿ íå ÿâëÿþòñÿ ñëåäñòâèåì îñîáûõ îãðàíè÷åíèé — íå ìîãóò ìîäåëèðî- âàòüñÿ øóíòèðîâàííûì êàðêàñíûì îòíîøåíèåì. Çàìåòèì, îäíàêî, ÷òî ýòî è íå íóæíî, ïîñêîëüêó â êàðêàñíîé ñõåìå ÁÄ àíàëîãè÷- íî òðàäèöèîííîé ïðàêòèêå, ïîìèìî òðåõ àòîìàðíûõ «ñïðàâî÷íèêîâ»: ÑÎÒÐÓÄÍÈÊÈ (ÊîäÑîòð, …), ÊÎÌÍÀÒÛ (ÍîìÊîì, …) è ÒÅËÅÔÎÍÛ (ÍîìÒåë, …) èìåëîñü áû äâà áèíàðíûõ îòíîøåíèÿ-ñâÿçè: ÑÎÒÐÓÄÍÈÊÈ+ÊÎÌÍÀÒÛ, ÊÎÌÍÀÒÛ+ÒÅËÅÔÎÍÛ. Îòíîøåíèå-ñâÿçü ÑÎÒÐÓÄÍÈÊÈ+ÒÅËÅÔÎÍÛ ñèíòå- çèðîâàëîñü áû àâòîìàòè÷åñêè, ïðè÷åì äëÿ êàæäîé èç ýòèõ ñõåì íåñëîæíî îáåñ- ïå÷èòü óñëîâèÿ ñîîòâåòñòâèÿ ÄÊÍÔ. 2. Ìíîãîçíà÷íàÿ çàâèñèìîñòü (ÌÇ) [8]. Îíà âîçíèêàåò òîãäà, êîãäà îäíà (óñëîâíî «öåíòðàëüíàÿ») ñóùíîñòü-îáúåêò (åå åäèíñòâåííûé àòðèáóò èëè ãðóïïà ñîñòàâíûõ àòðèáóòîâ) ôóíêöèîíàëüíî çàâèñèò îò êàæäîé èíîé («ñîñåäíåé») ñóù- íîñòè-îáúåêòà (îäíîãî èëè ãðóïïû àòðèáóòîâ), à îíè, â ñâîþ î÷åðåäü, îäèí îò äðóãîãî íå çàâèñÿò . Õîòÿ îáîçíà÷àòü ýòî ïðèíÿòî èíà÷å: ïðàâàÿ ÷àñòü ÔÇ ìíîãîç- íà÷íî îïðåäåëÿåò åå äåòåðìèíàíò: ÍîìÊîì��ÊîäÑîòð (1:H) è ÍîìÊîì�� ÍîìÒåë (1:H), à ìåæäó àòðèáóòàìè ÊîäÑîòð è ÍîìÒåë çàâèñèìîñòü îòñóòñòâóåò (F:H). Íåôîðìàëüíî ýòî îïèñûâàåòñÿ òàê: ê ëþáîìó èç òåëåôîíîâ, óñòàíîâëåííûõ â äàííîé êîìíàòå (ïî íåñêîëüêî ðàçíûõ íîìåðîâ, íî íå ïîäêëþ÷åííûõ ïàðàë- ëåëüíî ñ òåëåôîíàìè â èíûõ êîìíàòàõ!), ìîæåò ïîäîéòè ëþáîé ñîòðóäíèê ýòîé (èëè èíîé) êîìíàòû.  ïîäîáíîé ñèòóàöèè «ïîëüçîâàòåëè» âíîñÿò â ÏðÎ åùå îäíî îãðàíè÷åíèå: âíóò- ðè êîìíàò íîìåðà òåëåôîíîâ çàêðåïëÿþòñÿ çà êîíêðåòíû- ìè ñîòðóäíèêàìè. Ïîÿâëÿåòñÿ ÔÇ ÊîäÑîòð� ÍîìÒåë (F:1), ïîñëå ÷åãî ÌÇ â îòíîøåíèè ïðîïàäàåò, íî ïîÿâëÿåòñÿ îïè- ñàííàÿ òðàíçèòèâíàÿ çàâèñè- ìîñòü. Õîòÿ, ãîâîðÿ íåôîð- ìàëüíî, íà ïðàêòèêå òàêîå îãðàíè÷åíèå ÏðÎ âåñüìà óñëîâíî äëÿ àáîíåíòà, çàèíòåðåñîâàííîãî íå â êîíêðåòíîì íîìåðå òåëåôîíà, à â àáîíåíòå, åñëè çàêðåïëåííûé çà íèì íîìåð â ýòîò ìîìåíò çàíÿò. Èç òàáë. 2 ñëåäóåò, ÷òî îòíîøåíèå íàõîäèòñÿ â ÁÊÍÔ, íî íå â 4ÍÔ (è íå â ÄÊÍÔ). Îíî äîëæíî áûòü äåêîìïîçèðîâàíî íà äâà áèíàðíûõ îòíîøåíèÿ: ÊÎÌÍÀÒÛ+ÑÎÒÐÓÄÍÈÊÈ è ÊÎÌÍÀÒÛ+ÒÅËÅÔÎÍÛ, ïîòåðü èíôîðìàöèè ïðè ýòîì íå áóäåò, èëè øóíòèðîâàíî àòðèáóòàìè ýòîé ñâÿçè. 3. Çàâèñèìîñòü ïðîåêöèè–ñîåäèíåíèÿ (ÇÏÑ) [8]. Ìîæåò âîçíèêàòü òîãäà, êîãäà îò íåêîòîðîé «ïåðâîé» ñóùíîñòè-îáúåêòà (åå àòðèáóòîâ) çàâèñèò ëèøü îäíà («âòîðàÿ») ñóùíîñòü-îáúåêò (åå àòðèáóòû), íî îò íåå íå çàâèñèò «òðåòüÿ» ñóù- íîñòü-îáúåêò (åå àòðèáóòû), à òàêæå ìåæäó ñîáîé íå çàâèñÿò «âòîðàÿ» è «òðåòüÿ». Ôîðìàëüíî: ÊîäÑîòð�ÍîìÊîì (F:1), íî ÍîìÊîì—/�ÍîìÒåë (F:H) è ÊîäÑîòð—/�ÍîìÒåë (F:H) — ýòî íàèáîëåå ÷àñòî âñòðå÷àþùèéñÿ òèï îãðàíè÷å- íèÿ ÏðÎ íà ñâÿçè ìåæäó íåçàâèñèìûìè ñóùíîñòÿìè-îáúåêòàìè. 160 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 Ò à á ë è ö à 2 . ÑÎÒÐÓÄÍÈÊÈ+ÊÎÌÍÀÒÛ +ÒÅËÅÔÎÍÛ (ÍÇ) ÊîäÑîòð ÍîìÊîì ÍîìÒåë 001 13 22 001 13 23 002 13 22 002 13 23 003 14 24 003 14 25 004 14 24 004 14 25 005 15 26 006 15 26 Èç òàáë. 3 ñëåäóåò, ÷òî îòíîøåíèå íàõîäèòñÿ â 4ÍÔ. Îäíàêî íåñëîæíî óáåäèòüñÿ, ÷òî îíî èìååò àíîìàëèè è óäîâëåòâîðÿåò ÇÏÑ, ïîýòîìó äîëæíî áûòü äåêîìïîçè- ðîâàíî íà òðè áèíàðíûõ: ÊÎÌÍÀÒÛ+ÑÎÒÐÓÄÍÈÊÈ, ÊÎÌÍÀÒÛ+ÒÅËÅÔÎÍÛ è ÑÎÒÐÓÄÍÈÊÈ+ÒÅËÅÔÎÍÛ, ïîòåðü èíôîðìàöèè ïðè ýòîì íå áóäåò, èëè øóíòèðîâàíî àò- ðèáóòàìè ýòîé ñâÿçè. 4. Äåêàðòîâà çàâèñèìîñòü (ÄÇ). Ýòà çàâèñèìîñòü ââåäåíà è îáîñíîâàíà â [6]. Âîçíèêàåò òîãäà, êîãäà íè îäíà ñóùíîñòü-îáúåêò (åå àòðèáóòû) íå çàâèñèò íè îò êàêîé èíîé ñóùíîñòè-îáúåêòà. Ôîðìàëüíî: ÍîìÊîì—/�ÊîäÑîòð (F:H), ÍîìÊîì—/�ÍîìÒåë (F:H) è ÊîäÑîòð—/�ÍîìÒåë (F:H). Ïðè ýòîì î÷åâèäíî, ÷òî îòñóòñòâóåò åùå è çàâèñèìîñòü ÊîäÑîòð—/� (ÍîìÊîì+ÍîìÒåë), ò.å. â îäíîé êîìíàòå ìîæåò áûòü ìíîãî òåëåôîííûõ íîìå- ðîâ; ýòî îçíà÷àåò, ÷òî óíèêàëüíîìó çíà÷åíèþ àòðèáóòà ÊîäÑîòð ñîîòâåòñòâóåò íåóíèêàëüíîå çíà÷åíèå êîíêàòåíàöèè àòðèáóòîâ (ÍîìÊîì+ÍîìÒåë), è íàîáîðîò. Èíûìè ñëîâàìè, îçíà÷àåò ïîëíóþ íåçàâèñèìîñòü ÒÅËÅÔÎÍΠè îò ÊÎÌÍÀÒ, è îò ÑÎÒÐÓÄÍÈÊÎÂ, à òàêæå ÑÎÒÐÓÄÍÈÊΠîò ÊÎÌÍÀÒ. À îòíîøåíèå ìîäå- ëèðóåò ïîëíóþ ñâÿçü âñåõ ñóùíîñòåé-îáúåêòîâ ìåæäó ñîáîé. Òàáëèöà íå ïðèâå- äåíà â ñâÿçè ñ åå îáúåìîì è òðèâèàëüíîñòüþ. Àíàëîãè÷íàÿ òàáëèöà ïðèâåäåíà äëÿ ñóùíîñòè-îáúåêòà «ýêçàìåí» â [5]. ÏðÎ ñ òàêèìè ñâÿçÿìè âñòðå÷àåòñÿ êðàéíå ðåäêî, ýòî «áèðæà», «áèáëèîòå- êà», «âûñòàâî÷íûé öåíòð», «ñóïåðìàðêåò» è äð., ãäå ðàñïðåäåëåíèå íåêîòîðûõ ãðóïï ñîòðóäíèêîâ ïî ïîìåùåíèÿì è òåëåôîíàì îñóùåñòâëÿåòñÿ èëè ïî ñìåíàì, èëè âîîáùå ñëó÷àéíûì îáðàçîì. Î÷åâèäíî, ÷òî â ýòîé ÏðÎ ñèòóàòèâíî ìîæåò âîçíèêíóòü åäèíñòâåííàÿ ÔÇ: ÊîäÑîòð�ÍîìÊîì, êîòîðàÿ òàêæå áóäåò óñëîâ- íîé.  îáùåì ñëó÷àå ëþáîé ñîòðóäíèê ìîæåò íàõîäèòüñÿ â ëþáîé êîìíàòå è áûòü ïðèãëàøåííûì ê ëþáîìó àïïàðàòó, íàõîäÿùåìóñÿ â ëþáîé êîìíàòå. Èíû- ìè ñëîâàìè, â ïÿòîé, øåñòîé è ñåäüìîé êîìíàòàõ ïàðàëëåëüíî ïîäêëþ÷åíî øåñòü òåëåôîííûõ íîìåðîâ, à ðàáîòàåò â íèõ ïîñìåííî òî ïî 10 ñîòðóäíèêîâ, òî ïî 30, òî ïî 2. Òîãäà î÷åâèäíî, ÷òî äàííîå îòíîøåíèå ÿâëÿåòñÿ òåðíàðíîé ñâÿçüþ àòî- ìàðíûõ ñóùíîñòåé-îáúåêòîâ ñî ñòåïåíüþ ñâÿçè F:H:O. Òðåáîâàíèå íàëè÷èÿ â îòíîøåíèè åäèíñòâåííîé ÔÇ îáóñëàâëèâàåò îñîáîå îãðàíè÷åíèå — êëþ÷îì îòíîøåíèÿ äîëæåí áûòü íå àòðèáóò ÊîäÑîòð, à êîíêà- òåíàöèÿ âñåõ àòðèáóòîâ (ÊîäÑîòð+ÍîìÊîì+ÍîìÒåë), ò.å. âåñü êîðòåæ. Òîãäà íå- îáõîäèìî îòûñêàòü â ÏðÎ ôóíêöèîíàëüíî çàâèñÿùèé àòðèáóò òàêîé ñâÿçè îò ýòîãî êëþ÷à, êîòîðûé è ïðèâåäåò äàííîå îòíîøåíèå ê 5ÍÔ. Ñ ôîðìàëüíîé òî÷êè çðåíèÿ äëÿ ïðèìåðà îòíîøåíèÿ â [11] íå íàéäåòñÿ íè îä- íîãî ñîñòàâíîãî ìíîãîìåñòíîãî ïðåäèêàòà, ñîîòâåòñòâóþùåãî äàííîé ñâÿçè. Õàðàê- òåðíî è òî, ÷òî â ýòîì îòíîøåíèè áóäóò ïîòåðÿíû êîðòåæè, ãäå äëÿ íåêîòîðûõ çíà- ÷åíèé ÊîäÑîòð íå íàéäåòñÿ íè îäíîãî çíà÷åíèÿ àòðèáóòà ÍîìÒåë, åñëè äàííûé ñî- òðóäíèê ïîïðîñòó íåòåëåôîíèçèðîâàí (óáîðùèöû, âíåøòàòíûå ñîòðóäíèêè è ò.ï.). Ýòè àíîìàëèè îáíàðóæèâàþòñÿ ïîòîìó, ÷òî àâòîð [11] â îäíî îòíîøåíèå âíåñ äâà âûñêàçûâàíèÿ. Ïðèâåäåííîå îòíîøåíèå — ýòî è íå «ìíîãîàðíîå» âû- ñêàçûâàíèå-ñâÿçü ñ òåìîé: «ñîòðóäíèêè íà ðàáî÷èõ ìåñòàõ ñ òåëåôîíàìè», è íå «óíàðíîå» âûñêàçûâàíèå ñ òåìîé: «ñîòðóäíèêè». Âñå ýòî îçíà÷àåò, ÷òî àâòîð [11] íå îïðåäåëèëñÿ, ñâÿçü êàêèõ ñóùíîñòåé-îáúåêòîâ ìîäåëèðóåò äàííîå îòíîøåíèå.  îáùåì ñëó÷àå îòíîøåíèå, ìîäåëèðóþùåå ñâÿçü ñóùíîñòåé-îáúåêòîâ è íå ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 161 Ò à á ë è ö à 3 . ÑÎÒÐÓÄÍÈÊÈ+ÊÎÌÍÀÒÛ +ÒÅËÅÔÎÍÛ (ÇÏÑ) ÍîìÊîì ÊîäÑîòð ÍîìÒåë 13 001 22 14 002 23 15 003 23 14 004 24 16 005 25 16 005 23 15 006 26 17 008 27 17 009 28 18 010 27 íàõîäÿùååñÿ â äîñòàòî÷íîé äëÿ ñîîòâåòñòâóþùèõ îãðàíè÷åíèé íà äîìåíû è êëþ÷è ñîâîêóïíîñòè îòíîøåíèé, ìîæåò áûòü èñêóññòâåííîé êîíñòðóêöèåé, ëèøåííîé ñìûñëà. Ïîýòîìó åñëè îòíîøåíèå ìîäåëèðóåò ñèòóàòèâíóþ ñâÿçü â ÏðÎ (ñèòóàöèþ â ÏðÎ, ñîñòîÿíèå ÏðÎ), òî òðåáóåòñÿ òàêæå è ó÷åò òåìïîðàëüíîñòè — íîìåð îòðåçêà âðåìåíè, äàòó, ÷àñ, êîä àêòóàëüíîñòè ñîñòîÿíèÿ âñåé ñîâîêóïíîñòè îòíîøåíèé è ò.ï.  êàðêàñíîé ñîâîêóïíîñòè ýòè àòðèáóòû ìîãóò áûòü øóíòèðóþùèìè. Ïîñêîëüêó â êàðêàñíîé ñîâîêóïíîñòè ôîðìèðóåòñÿ ñòðîãàÿ èåðàðõèÿ äîìå- íîâ, îïèñàííûå â [9–11] ñèòóàöèè íå ìîãóò âîçíèêíóòü, òàê êàê äîìåíàìè äëÿ êëþ÷åâûõ àòðèáóòîâ êîðòåæåé áèíàðíûõ îòíîøåíèé âûñòóïàþò êëþ÷åâûå àòðè- áóòû êîðòåæåé óíàðíûõ îòíîøåíèé, äëÿ òåðíàðíûõ — êëþ÷åâûå àòðèáóòû êîð- òåæåé èëè óíàðíûõ, èëè áèíàðíûõ, äëÿ êâàðòàðíûõ àíàëîãè÷íî è ò.ä. ÎÑÍÎÂÍÛÅ ÑÎÂÏÀÄÅÍÈß Ñ ÐÅÇÓËÜÒÀÒÀÌÈ ÊËÀÑÑÈ×ÅÑÊÈÕ ÈÑÑËÅÄÎÂÀÍÈÉ Â ñòàòüå [7] óêàçàíû ðàáîòû, â êîòîðûõ ðàññìàòðèâàëèñü àíàëîãè÷íûå âîïðîñû, íî îòäåëüíî õîòåëîñü áû ïåðå÷èñëèòü áîëåå âàæíûå è ïåðñïåêòèâíûå ñîâïàäåíèÿ. Ìîäåëü «ñóùíîñòü-ñâÿçü». Âî ìíîãèõ ó÷åáíèêàõ ïî ÁÄ [3, 4] ER-ìîäåëü Ï. ×åíà [1] òðàêòóåòñÿ êàê êîíöåïòóàëüíàÿ ñåìàíòè÷åñêàÿ íàäñòðîéêà íàä ÐÌÄ, õîòÿ íè÷òî íå ìåøàëî «ïåðåâåñòè» ÐÌÄ íà êîíöåïöèþ ×åíà è òåì ñàìûì ðàñøè- ðèòü åå. Î òîì, ÷òî êàæäîå îòíîøåíèå ìîæåò ìîäåëèðîâàòü íå òîëüêî «ñòåðæíå- âóþ» [2] ñóùíîñòü-îáúåêò, íî êàæäóþ åå ñâÿçü, Ï. ×åí óêàçûâàåò ïðÿìî è íå- äâóñìûñëåííî, ïîýòîìó ñîâïàäåíèå êàðêàñíîãî ìåõàíèçìà àíàëèçà ÏðÎ è ìåòî- äèêè ÅR-äèàãðàìì íåñëó÷àéíî. Îäíàêî Ý. Êîää â 1979 ã., ñïóñòÿ òðè ãîäà ïîñëå âûõîäà ðàáîòû [1], â ñòàòüå [2] ðàñøèðèë ÐÌÄ, èñïîëüçóÿ ïðè ýòîì ðåçóëüòàòû èíûõ àâòîðîâ, è òåì ñàìûì îòäà- ëèë ìîäåëü îò ïîëüçîâàòåëÿ. «Âåäåíèå â ðàñøèðåííóþ ðåëÿöèîííóþ ìîäåëü áàçû äàííûõ ìíîãèõ ðàçíîðîäíûõ äîïîëíèòåëüíûõ ýëåìåíòîâ çíà÷èòåëüíî óñëîæíÿåò îïèñàíèå ëåæàùåé â åå îñíîâå àëãåáðàè÷åñêîé ñòðóêòóðû è ïîñòðîå- íèå ñîîòâåòñòâóþùåãî ÿçûêà èñ÷èñëåíèÿ ïðåäèêàòîâ ïåðâîãî ïîðÿäêà» [13]. Îñíîâíîå íàçíà÷åíèå êàðêàñíîé ìîäåëè äàííûõ, íå âûõîäÿ çà ðàìêè êëàññè- ÷åñêîé ÐÌÄ, è äàæå áóäó÷è åå ïîäìíîæåñòâîì, — äàòü ïîëüçîâàòåëþ ìåõàíèçì íàèáîëåå ïðîñòîãî ìîäåëèðîâàíèÿ ñåìàíòèêè, ïóñòü äàæå öåíîé îòêàçà îò Êîä- äîâñêîé [12] «íåèçáûòî÷íîñòè» â ñîâîêóïíîñòè îòíîøåíèé, ñòðîãî ïðèäåðæèâà- ÿñü ïðèíöèïà ìàêñèìàëüíî âîçìîæíîé íîðìàëèçîâàííîñòè êàæäîãî îòíîøåíèÿ îòäåëüíî è ñîâîêóïíîñòè îòíîøåíèé â öåëîì. ÄÍÔ (äîìåííàÿ íîðìàëüíàÿ ôîðìà) êàê ìîäåëü âûñêàçûâàíèé.  îïè- ñûâàåìîì àëãîðèòìå [5] âñå ñóùíîñòè-îáúåêòû äåëÿòñÿ íà ñëåäóþùèå êàòåãîðèè. Àòîìàðíûå ñóùíîñòè-îáúåêòû — ñóùíîñòè-îáúåêòû, çíà÷åíèÿ àòðèáóòîâ êîòîðûõ ïðàêòè÷åñêè íå èçìåíÿþòñÿ âî âðåìåíè â ìîäåëèðóåìîé ÏðÎ, ïîýòîìó îïðåäåëÿþò ñòðóêòóðó ÏðÎ. Îíè òàêæå íå èìåþò çàâèñèìîñòè ñóùåñòâîâàíèÿ [14].  íåêîòîðûõ ìîäåëÿõ äàííûõ èõ íàçûâàþò ñòåðæíåâûìè [2], áàçîâûìè è ò.ï. Ôîðìàëüíî àòîìàðíàÿ ñóùíîñòü-îáúåêò — ñåìàíòè÷åñêè àòîìàðíûé ìíîãî- ìåñòíûé ïðåäèêàò [15] I A j M j m ({ }), ãäå { }A j m — àðãóìåíòû ïðåäèêàòà — ñîâî- êóïíîñòü àòðèáóòîâ j-é ñóùíîñòè-îáúåêòà (â äàëüíåéøåì îáîçíà÷åíèå ñîâîêóï- íîñòè (ôèãóðíûå ñêîáêè) äëÿ ïðîñòîòû îïóñêàåì), ãäå j N�1, — íîìåð ñóùíîñ- òè-îáúåêòà â ÏðÎ, à m M j �1, — íîìåð ìåñòà â M j -ìåñòíîì ïðåäèêàòå.  [15] ïîêàçàíî, ÷òî ñåìàíòè÷åñêàÿ àòîìàðíîñòü — îòñóòñòâèå âíóòðåííåé ñå- ìàíòè÷åñêîé ñòðóêòóðû ïðåäèêàòîâ, ìîäåëèðóþùèõ àòîìàðíûå ñóùíîñòè-îáúåêòû: íèêàêèå îòäåëüíûå àðãóìåíòû èç ïîäìíîæåñòâà àðãóìåíòîâ íå ôèãóðèðóþò íè â êàêèõ çàâèñèìîñòÿõ — êàê îäíî ñ äðóãèì, òàê è ñ ïîäìíîæåñòâàìè àðãóìåíòîâ äðóãèõ ñåìàíòè÷åñêè àòîìàðíûõ ïðåäèêàòîâ. Òîãäà óíàðíîå îòíîøåíèå R X A j j j m ( , ) , ýêâèâàëåíòíîå ñåìàíòè÷åñêè àòîìàðíîìó ïðåäèêàòó, íå ñîäåðæèò íèêàêèõ «ïàðàçèòíûõ» çàâèñèìîñòåé.  [15] ââåäåíî ïîíÿòèå êëþ÷ ñåìàíòè÷åñêè àòîìàðíîãî ïðåäèêàòà � j j x( ) — òàêîé îäíîìåñòíûé ïðåäèêàò, àðãóìåíòîì êîòîðîãî ÿâëÿåòñÿ ìèíèìàëüíî äîñòà- 162 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 òî÷íûé óíàðíûé ñóððîãàòíûé êëþ÷åâîé àòðèáóò X j ñõåìû îòíîøåíèÿ R X A j j j m ( , ) òàêîé, ÷òî X A j j m � . Òîãäà ñåìàíòè÷åñêè àòîìàðíûé ïðåäèêàò ìî- æåò áûòü ïðåäñòàâëåí â âèäå êîíúþíêöèè: I A x D A j M j m j j j M j mj j ( ) ( ) ( )� �� , à âñÿ N -ñîâîêóïíîñòü P I àòîìàðíûõ ñóùíîñòåé-îáúåêòîâ — òàê íàçûâàåìàÿ «ñòàòè÷åñêàÿ» ÷àñòü ÏðÎ (ñòðóêòóðà ñèñòåìû P) — ýòî ïðåäèêàò, ïîëó÷åííûé äèçúþíêöèåé àòîìàðíûõ ìíîãîìåñòíûõ ïðåäèêàòîâ: P I A x D A j N I j M j m j j j M j mj j � � � � � �( ) ( ( ) ( )), , .� 1 Ïðèìåðîì àòîìàðíûõ ñóùíîñòåé-îáúåêòîâ ìîæåò áûòü ñóùíîñòü-îáúåêò ×ÅËÎÂÅÊ, ÂÑÅËÅÍÍÀß, ÑÎÁÀÊÀ, ÊÎØÊÀ è ò.ï., ïðè÷åì ïðèíàäëåæíîñòü ýòèõ ñóùíîñòåé-îáúåêòîâ ê îïðåäåëåííûì äàëüíåéøèì êàòåãîðèÿì — òàê íàçûâàåìàÿ êëàñ- ñèôèêàöèÿ àòîìàðíûõ ñóùíîñòåé-îáúåêòîâ — ÿâëÿåòñÿ èñêóññòâåííîé ñåìàíòè÷åñêîé íàäñòðîéêîé ïîëüçîâàòåëÿ, êîòîðàÿ è ìàñêèðóåò ñîäåðæàíèå ñóùíîñòè-îáúåêòà. Ñëàáûå ñóùíîñòè-îáúåêòû — ñóùíîñòè-îáúåêòû, êîòîðûå ôóíêöèîíàëüíî çàâèñÿò îò àòîìàðíûõ [14], â äðóãèõ ìîäåëÿõ èìåþò àíàëîãè÷íîå íàçâàíèå, ïðè- ÷åì òàêàÿ çàâèñèìîñòü ìîæåò áûòü êàê íà óðîâíå èäåíòèôèêàöèè ñëàáûõ àòðèáó- òîâ, òàê è íà óðîâíå âñåãî ñóùåñòâîâàíèÿ çàâèñèìûõ ñëàáûõ ñóùíîñòåé-îáúåê- òîâ.  íà÷àëüíîì ïðèáëèæåíèè ìîäåëè ÏðÎ ñëàáûå ñóùíîñòè-îáúåêòû óñëîâíî îòíåñåíû ê àòîìàðíûì, òàê êàê èõ àòðèáóòû òàêæå íå çàâèñÿò îò âðåìåíè. Ïðèìåðîì ñëàáûõ, íî, òåì íå ìåíåå, óñëîâíî îòíîñèìûõ ê êàòåãîðèè àòîìàð- íûõ, ìîãóò áûòü ñóùíîñòè-îáúåêòû ÏÎÄÐÀÇÄÅËÅÍÈÅ, ÎÒÄÅË, ËÀÁÎÐÀÒÎÐÈß, ÊÂÀÐÒÈÐÀ, êàæäàÿ èç ýòèõ ñóùíîñòåé-îáúåêòîâ íå ÿâëÿåòñÿ ñàìîäîñòàòî÷íîé, è â ÏðÎ ôóíêöèîíàëüíî çàâèñèò îò «ïðåäêîâûõ» ñóùíîñòåé-îáúåêòîâ; îäíàêî çàâè- ñèìîñòüþ åå àòðèáóòîâ îò âðåìåíè â ÏðÎ ìîæíî ïðåíåáðå÷ü. Ñîñòàâíûå (ïîñòñâÿçíûå) ñóùíîñòè-îáúåêòû â ìîäåëÿõ äàííûõ èìåþò åùå è íàçâàíèå ìíîãîñòîðîííèõ ñâÿçåé [1, 14] — ñâÿçü àòîìàðíûõ ñóùíîñòåé-îáúåê- òîâ. Ôîðìàëüíî ýòî ñåìàíòè÷åñêè ñîñòàâíîé ìíîãîìåñòíûé ïðåäèêàò, ïîëó÷åí- íûé êîíúþíêöèåé êëþ÷åâûõ îäíîìåñòíûõ ïðåäèêàòîâ îò ñâÿçûâàþùèõñÿ àòî- ìàðíûõ ñóùíîñòåé-îáúåêòîâ (ìíîãîìåñòíûõ ïðåäèêàòîâ), à òàêæå îáëàäàþùèé åùå è àðãóìåíòàìè ñâÿçè. Òîãäà íåêîòîðûé ôðàãìåíò ìíîæåñòâà âñåõ ïîäìíî- æåñòâ ñåìàíòè÷åñêè ñîñòàâíûõ ïðåäèêàòîâ (ôðàãìåíò áóëåàíà ñâÿçåé àòîìàðíûõ ñóùíîñòåé-îáúåêòîâ) çàïèøåì â ñõåìàòè÷åñêîì âèäå: S x x b b b x x T l l l 2 2 1 2 1 2 2 2 2 1 1 2 2 2 2 2 2 ( ) ( , , , , , ) ( ) ( ) ( � � � � �� � b l 2 2 ), S x x x b b b x x l l3 3 1 2 3 1 3 2 3 3 1 1 2 2 3 3 3 ( ) ( , , , , , , ) ( ) ( ) � � � � �� � � ( ) ( ),x T b l l 3 3 3 3 3 � … S x x x x b b b j l j j j j l jj j ( ) ( , , , , , , , , ) � � � � 1 2 3 1 2 � � � �� �� � � � 1 1 2 2 3 3 ( ) ( ) ( ) ( ) ( ),x x x x T b j j j l l jj j … S x x b b b x j l j j j j l jj j3 3 3 3 3 3 2 3 1 2 3 3 ( ) ( , , , , , , ) ( ) � � � � � � �� � j j j l l j x T b j j ( ) ( ).� 3 3 3 3 … (Èíäåêñû áóäóò îïèñàíû íèæå.) Ïðèìåðîì ñîñòàâíûõ ñóùíîñòåé-îáúåêòîâ ÿâëÿþòñÿ ñîáûòèéíûå ñóùíîñ- òè-îáúåêòû — ÝÊÇÀÌÅÍ, ÊÎÍÖÅÐÒ, ÂÛÑÒÀÂÊÀ, ÑÎÃËÀØÅÍÈÅ, ÌÈÒÈÍà è ò.ï. Èõ ñîäåðæàíèå ïðåäñòàâëÿåò ñîáîé «ïðîäóêò» ðàâíîïðàâíîãî âçàèìîäåéñòâèÿ íåñêîëüêèõ àòîìàðíûõ ñóùíîñòåé-îáúåêòîâ. Òàêèì îáðàçîì, â êàðêàñíîì àëãîðèòìå ñóùíîñòè-îáúåêòû ôîðìèðóþòñÿ ïî ñëåäóþùåé ñõåìå: íà áàçå àòîìàðíûõ (ñòåðæíå- âûõ, áàçîâûõ è ò.ï.) ïîðîæäàþòñÿ ñëàáûå, ò.å. ôóíêöèîíàëüíî (èåðàðõè÷åñêè) çàâè- ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 163 ñèìûå îò àòîìàðíûõ, íî ñòàòè÷íûå âî âðåìåíè. Îòíîøåíèÿ, ìîäåëèðóþùèå ñëàáûå ñóùíîñòè-îáúåêòû, òàêæå èìåþò ñîñòàâíîé êëþ÷. À íà ñîâîêóïíîñòè àòîìàðíûõ è ñëàáûõ ñóùíîñòåé-îáúåêòîâ áëàãîäàðÿ âîçíèêíîâåíèþ ðàçíîîáðàçíûõ ñâÿçåé ìåæäó íèìè ñîçäàþòñÿ ñîñòàâíûå ïîñòñâÿçíûå ñóùíîñòè-îáúåêòû, õàðàêòåðèçóþùèå ïîâå- äåíèå ÏðÎ. Ðàíåå îòìå÷àëîñü, ÷òî â íàñòîÿùåé ðàáîòå âðåìåííûå àòðèáóòû íå ôè- ãóðèðóþò, à îïèñûâàþòñÿ ëèøü ñòàòè÷åñêèå ñðåçû ÏðÎ.  ïðîèçâîëüíîé ÏðÎ îïèñàííûé ïðîöåññ îáðàçîâàíèÿ ñëàáûõ è ñîñòàâíûõ ñóùíîñòåé-îáúåêòîâ, êàê ïðàâèëî, ìàñêèðóþò ÷àñòè ðå÷è — ñóùåñòâèòåëüíûå, îòãëàãîëüíûå ñóùåñòâèòåëüíûå, ðàçíîîáðàçíûå òåðìèíû, êîòîðûå èì ñîîòâåò- ñòâóþò, êàòåãîðèè, êîòîðûå èõ îáîáùàþò, è ò.ï. Ýòèì è îáúÿñíÿåòñÿ àêòóàëüíîñòü àâòîìàòèçàöèè îïèñàííîãî àëãîðèòìà. ×àñòî ïîäàâëÿþùåå áîëüøèíñòâî ñîñòàâíûõ ñóùíîñòåé-îáúåêòîâ ïðîåêòè- ðîâùèêè îøèáî÷íî îòíîñÿò ê êàòåãîðèè ñëàáûõ èëè äàæå àòîìàðíûõ, ÷òî, â ñâîþ î÷åðåäü, óâåëè÷èâàåò æåñòêîñòü ïðèëîæåíèé ÁÄ è íåâîçìîæíîñòü èõ ãèáêîãî ðàçâèòèÿ áåç êîðåííûõ ïåðåðàáîòîê òåêñòîâ ïðîãðàìì. Êàðêàñíàÿ ìîäåëü ÏðÎ ïðåäîñòàâëÿåò ïðîåêòèðîâùèêó ñîâîêóïíîñòü îòíîøå- íèé, êàæäîå èç êîòîðûõ ìîäåëèðóåò ëèáî ñòàòè÷åñêîå ñîñòîÿíèå ñóùíîñòè-îáúåêòà (òðèâèàëüíóþ ñâÿçü), ëèáî îäíó èç ñâÿçåé ñîâîêóïíîñòè ñóùíîñòåé-îáúåêòîâ. Ëþáîé ñåìàíòè÷åñêè àòîìàðíûé ìíîãîìåñòíûé ïðåäèêàò ðàññìàòðèâàåòñÿ êàê ñâÿçü åãî àòðèáóòîâ, ò.å. ïî ñóòè êàê òèï òðèâèàëüíîé ñâÿçè «ñàìîãî ñ ñî- áîé»; I A j M j mj ( ) — òðèâèàëüíàÿ ñâÿçü. Íåòðèâèàëüíàÿ ñâÿçü — êîíúþíêöèÿ êëþ- ÷åâûõ àòðèáóòîâ îò ðàçíûõ ñåìàíòè÷åñêè àòîìàðíûõ ìíîãîìåñòíûõ ïðåäèêàòîâ, èìååò âèä S x x x x b b b j l j j j j l jj j ( ) ( , , , , , , , , ) � � � � 1 2 3 1 2 � � � �� � �� � � � 1 1 2 2 3 3 ( ) ( ) ( ) ( ) ( ),x x x x T b j j j l l jj j ãäå b l j j — àòðèáóòû ñâÿçè, ìîäåëèðóåìîé S j l j j ( )� -ì ïðåäèêàòîì, îáëàäàþùèì ( )l j j � -ìåñòàìè, j èç êîòîðûõ çàíèìàþò êëþ÷è ñ ïåðâîãî ïî j-é, à ñ ( )j �1 -ãî ïî ( )l j j � -é çàíèìàþò àðãóìåíòû ñâÿçè — øóíòèðóþùèå àòðèáóòû ñîîòâå- òñòâóþùåãî îòíîøåíèÿ R X X X X B B B j j j j lj j ( , , , , , , , , ) 1 2 3 1 2 � � . Òîãäà â îá- ùåì âèäå ìîäåëü ÏðÎ ìîæíî ïðåäñòàâèòü òàê: • P I A I A I A I M m M m N M N mj j j � � �� � 1 1 2 2 ( ) ( ) ( ) — ñòðóêòóðà ÏðÎ («áåñêî- íå÷íî äîëãèå» ïî âðåìåíè ñâÿçè ÏðÎ); • P S S S S S S S S S S s L L N N L n � � � � � � � � �� � � � � 2 2 2 3 2 4 2 3 2 3 3 3 4 3 2 2 3 — òåêóùèå ñâÿçè ÏðÎ: P P P s � � 1 . Òàêèì îáðàçîì, ÏðÎ êàê ìíîãîìåñòíûé ïðåäèêàò P åñòü äèçúþíêöèÿ êîíú- þíêöèé àòîìàðíûõ ïðåäèêàòîâ. Ñ îäíîé ñòîðîíû, ýòî è åñòü àêòóàëüíàÿ ÷àñòü êàðêàñà, ñ äðóãîé, ýòî êëàññè- ÷åñêàÿ íîðìàëüíàÿ ôîðìà âûñêàçûâàíèÿ â áóëåâîé ëîãèêå, øèðîêî èñïîëüçóåìàÿ ïðè èññëåäîâàíèÿõ â ñìåæíûõ îáëàñòÿõ, â ÷àñòíîñòè ïðîáëåìàõ èñêóññòâåííîãî èíòåëëåêòà [16]. Íî ñîâîêóïíîñòü îòíîøåíèé ÏðÎ, ïîëó÷åííûõ êëàññè÷åñêèì ìåòîäîì äåêîìïîçèöèè [12], íå ñâîäèìà ê ñîâîêóïíîñòè âûñêàçûâàíèé â ÄÍÔ, òàê êàê ëèøü áèíàðíûå îòíîøåíèÿ íå ïðèìåíÿþòñÿ â ïîëíîöåííûõ «ìíîãîàðíûõ» âûñêàçûâàíèÿõ. Èñïîëüçîâàíèå òåðíàðíûõ òàáëèö. Îñîáîå çíà÷åíèå ïðèîáðåòàåò «òåîðåìà î øóíòèðîâàíèè ÄÇ (ÌÇ, ÇÏÑ)» [5] â èçëîæåíèè Ä. Êðåíêå: «Ñòðîêà ëþáîãî îò- íîøåíèÿ äîëæíà îòðàæàòü âñå íåîáõîäèìûå äàííûå, îïèñûâàþùèå êîíêðåòíûé ýêçåìïëÿð òåìû, îïèñûâàåìîé äàííûì îòíîøåíèåì» [3]. Äëÿ ÄÇ (ÌÇ, ÇÏÑ) ýòî îçíà÷àåò, ÷òî åñëè îòñóòñòâóþò íåïóñòûå àòðèáóòû ñâÿçè, òî íåò âîçìîæíîñòè îïðåäåëèòü òåìó. Èìåííî â ýòîì ñóòü àíîìàëèè òàêîãî íåàêòóàëüíîãî (íåøóíòè- ðîâàííîãî) îòíîøåíèÿ ïî Ä. Êðåíêå. Èìåííî ïîýòîìó òàêîå îòíîøåíèå äîëæíî áûòü äåêîìïîçèðîâàíî, ò.å. ïðåîáðàçîâàíî ê íåñêîëüêèì àêòóàëüíûì. 164 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6  èññëåäîâàíèÿõ íåêîòîðûõ àâòîðîâ âñòðå÷àëèñü îòíîøåíèÿ, ìîäåëèðóþùèå ñâÿçè ñòåïåíè F:H, ïîñòðîåííûå íà ïðèíöèïå øóíòèðîâàíèÿ ÌÇ. Òàê, â [17] ïðèâå- äåíî îòíîøåíèå-ñâÿçü ÇÀ×ÅÒÛ = ÑÅÌÅÑÒÐ+ ÊÓÐÑ+ÑÒÓÄÅÍÒ (òàáë. 4). Àâòîð ïîÿñíÿåò, ÷òî «ñ ïîìîùüþ îòíîøåíèÿ ÇÀ×ÅÒÛ óñòàíàâëèâàåòñÿ ñâÿçü ìåæäó îòíîøåíèÿìè ÑÅÌÅÑÒÐ, ÊÓÐÑ è ÑÒÓÄÅÍÒ. Ïåðâè÷íûé êëþ÷ îòíîøå- íèÿ ñîñòàâëåí èç àòðèáóòîâ ÊîäÑåìåñòð, ÍîìÊóðñà è ÊîäÑòóä. Íåêëþ÷åâîé àòðè- áóò îäèí — Çà÷åòû.  òå÷å- íèå îäíîãî ñåìåñòðà ïðåïîäà- åòñÿ íåñêîëüêî êóðñîâ. Êàæ- äûé êóðñ èçó÷àþò íåñêîëüêî ñòóäåíòîâ. Ñ äðóãîé ñòîðîíû, â òå÷åíèå äàííîãî ñåìåñòðà êàæäûé ñòóäåíò ìîæåò èçó÷àòü íåñêîëüêî êóðñîâ. Ýòà òàáëèöà ïîçâîëÿåò ðåàëèçîâàòü âçàè- ìîñâÿçü «ìíîãèå êî ìíîãèì» ìåæäó ñåìåñòðàìè, êóðñàìè è ñòóäåíòàìè» [17].  äàëüíåéøèõ ðàáîòàõ àâòîð [17] íå äåëàåò âûâîäà î òîì, ÷òî òàáë. 4 íå èìå- åò íè ÌÇ, íè ÇÏÑ è ïîýòîìó íå ìîæåò áûòü ïîäâåðãíóòà äåêîìïîçèöèè. Àâòîð ðàáîòû [18] óêàçûâàåò íà âîçìîæíîñòü â ðàìêàõ ÐÌÄ èñïîëüçîâàòü îòíîøåíèÿ ñ åäèíñòâåííîé ÔÇ ìåæäó «ìíîãîçíà÷íîé» êîíêàòåíàöèåé ñîâîêóï- íîñòè àòðèáóòîâ-êëþ÷åé è íåêëþ÷åâûìè àòðèáóòàìè. Îäíàêî äåëàåòñÿ ëîæíûé âûâîä, ÷òî òàêèå îòíîøåíèÿ ìîæíî îòíåñòè ê êàòåãîðèè «äåíîðìàëèçîâàííûõ». Ïîýòîìó â äàëüíåéøèõ èññëåäîâàíèÿõ ýòîãî àâòîðà ïðèíöèï øóíòèðîâàíèÿ ÌÇ è ÇÏÑ íå ðàçâèâàåòñÿ è ñîîòâåòñòâóþùàÿ ñîâîêóïíîñòü îòíîøåíèé íå èññëåäóåòñÿ. «…Ñîãëàñíî òåîðåìå Ð. Ôåéäæèíà [8] òàáëèöó R ñ òðåìÿ ìíîæåñòâàìè àòðèáó- òîâ ( , , )A B C è ìíîãîçíà÷íîé çàâèñèìîñòüþ A B C�� / ìîæíî äåêîìïîçèðîâàòü íà äâå òàáëèöû: ( , )A B è ( , )À Ñ . Íî åñëè â òàáëèöå R åñòü ÷åòâåðòîå ìíîæåñòâî àòðèáóòîâ D è ôóíêöèîíàëüíàÿ çàâèñèìîñòü ( , , )A B C D� , òî âûïîëíèòü äåêîì- ïîçèöèþ òàáëèöû R íåëüçÿ, à ýòî, â ñâîþ î÷åðåäü, îçíà÷àåò, ÷òî ïðè èñïîëüçîâà- íèè êëàññè÷åñêîãî ìåòîäà ìîãóò áûòü òàáëèöû â ÁÊÍÔ, íî íå â 4ÍÔ, î êîòîðûõ èçâåñòíî, ÷òî îíè ïîäâåðæåíû àíîìàëèÿì ìîäèôèêàöèè äàííûõ [8], íî íè÷åãî ñ íèìè ñäåëàòü íåëüçÿ.  êà÷åñòâå êîíêðåòíîãî ïðèìåðà òàêîé òàáëèöû ìîæíî âçÿòü òàáëèöó «ÐÓÁÀØÊÀ» ñ àòðèáóòàìè: ìîäåëü, öâåò, ðàçìåð, êîëè÷åñòâî». Îäíàêî ñîâïàäåíèÿ ñõåì îòíîøåíèé ïîäòâåðæäàåò íàëè÷èå ïîòðåáíîñòè ó ïðîåê- òèðîâùèêà èñïîëüçîâàòü ìíîãîàðíîå îòíîøåíèå êàê ìîäåëü ìíîãîñòîðîííåé ñâÿçè ñòåïåíè F H Z: : :� . Ýòîò æå òèï îòíîøåíèé èñïîëüçîâàëñÿ è â ðàáîòå [19]. CASE-ãåíåðàöèÿ ìåòàäàííûõ: ñèñòåìû «ÌèêðîÏîèñê» è SWS. Ðàçðà- áîò÷èêè äâóõ ðàçíûõ èíñòðóìåíòàëüíûõ ïðîãðàììíûõ ñèñòåì — CASE «ÌèêðîÏî- èñê» [19–21] è CASE-ãåíåðàòîðà SWS [22, 23] — îáíàðóæèëè â ÐÌÄ âîçìîæíîñòü ðåàëèçàöèè äâóõ ðàçíûõ, îäíàêî âçàèìîäîïîëíÿþùèõ ïîäõîäîâ ê ïðîåêòèðîâàíèþ ïðèëîæåíèé ÁÄ. Ýòî ìåõàíèçì ñåìàíòè÷åñêèõ ãðàôîâûõ çàïðîñîâ ê ÷àñòè÷íî îïòè- ìèçèðîâàííîé ñõåìå ÁÄ (íå âûøå ÁÊÍÔ è äàæå 3ÍÔ) è ìåõàíèçì òèïèçàöèè áîëü- øèíñòâà çàïðîñîâ, óíèôèêàöèè îñíîâíûõ àëãîðèòìîâ, ñ íèìè ñâÿçàííûõ, è «óïðÿ- òûâàíèÿ» ýòèõ àëãîðèòìîâ â îïòèìàëüíóþ ñõåìó ÁÄ (íà îñíîâå ÄÊÍÔ). Ïîñêîëüêó îáà ïîäõîäà ôîðìàëüíî îáîñíîâàíû, õîðîøî òåñòèðîâàíû, øèðî- êî âíåäðåíû è ïðåòåíäóþò íà íåêîòîðóþ óíèâåðñàëüíîñòü, îíè â íåêîòîðîì ñìûñëå êîíêóðèðóþò ìåæäó ñîáîé. Îäíàêî ìàêñèìàëüíóþ ýôôåêòèâíîñòü ïîëü- çîâàòåëü ïîëó÷àåò èìåííî ïðè îáúåäèíåíèè ýòèõ ïîäõîäîâ. Îñíîâíîé êðèòåðèé ïðèìåíèìîñòè ïîäõîäîâ — ýòî êîýôôèöèåíò ïðîãíîçèðîâàíèÿ ðàçâèòèÿ ÏðÎ è ðàçíîîáðàçèÿ çàïðîñîâ ïîëüçîâàòåëåé. Ïîä òàêèì êîýôôèöèåíòîì ïîíèìàåòñÿ îòíîøåíèå ÷èñëà ïîäòâåðæäåííûõ èçìåíåíèé ê ñóììàðíîìó ÷èñëó ïðîãíîçèðî- âàííûõ è ñïîíòàííûõ èçìåíåíèé çà îïðåäåëåííûé ïåðèîä âðåìåíè, íàïðèìåð ãîä. Î÷åâèäíî, ÷òî â òàêîé ôîðìóëèðîâêå ÷èñëî ïîäòâåðæäåííûõ èçìåíåíèé íå ìîæåò ïðåâûøàòü ÷èñëà ïðîãíîçèðóåìûõ. ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 165 Ò à á ë è ö à 4 . ÇÀ×ÅÒÛ ÊîäÑåìåñòð ÍîìÊóðñà ÊîäÑòóä Çà÷åòû 01 ÂÒ608 967831201 4 01 ÂÒ608 897645123 2 01 ÂÒ62Ý 967831201 3 01 ÎÔ500 967831201 4 02 ÂÒ601 123456789 3 02 ÂÒ601 897645123 2 02 ÂÒ605 123456789 2 02 ÂÒ623 967831201 3 02 ÎÔ500 897645123 3 Ïîêàçàòåëüíî, ÷òî óäîâëåòâîðèòåëüíîé äëÿ âòîðîãî ïîäõîäà ÿâëÿåòñÿ ÏðÎ ñ êîýôôèöèåíòîì, ðàâíûì åäèíèöå, ò.å. òå ÏðÎ, êîòîðûå ìîæíî äîñêîíàëüíî èçó÷àòü è ðàçâèâàòü, ïðîãíîçèðîâàòü, ìîäåëèðîâàòü ñ ïîìîùüþ îïòèìèçèðîâàí- íîé ÐÌÄ. È ïðèëîæåíèÿ, ìîäåëèðóþùèå ïðîöåññû ÏðÎ, ìîãóò èìåòü ìèíèìàëü- íûé èíòåðôåéñ äëÿ íèçêîêâàëèôèöèðîâàííîãî ïîëüçîâàòåëÿ, ïîçâîëÿþùèé ìè- íèìèçèðîâàòü (èëè ïðàêòè÷åñêè èñêëþ÷èòü) èñïîëüçîâàíèå ìåõàíèçìà âíåøíèõ çàïðîñîâ ê ÁÄ. Ê òàêèì ÏðÎ ìîæíî îòíåñòè âñåâîçìîæíûå áèçíåñ-ïðèëîæåíèÿ êîìïàíèé è êîðïîðàöèé, êîòîðûå ðàçâèâàþòñÿ â ñîîòâåòñòâèè ñ ïðîãíîçèðóåìû- ìè ðûíî÷íûìè ôàêòîðàìè, íî äëÿ ñèíòåçà ÄÊÍÔ-ñõåì íåîáõîäèìî èñêëþ÷èòü âñå çàìàñêèðîâàííûå ñîñòàâíûå ñóùíîñòè-îáúåêòû, ÷òî, îäíàêî, íå âñåãäà ðåàëè- çóåìî. Ýòî îçíà÷àåò, ÷òî â ðåàëüíîé ñõåìå ÁÄ âîçìîæíû ó÷àñòêè íå âûøå 3ÍÔ. Êîìïðîìèññ ìåæäó îïòèìàëüíûìè è íèçêîíîðìàëèçîâàííûìè ñõåìàìè (äî 3ÍÔ) äîñòèãàåòñÿ èñïîëüçîâàíèåì íà òàêèõ ó÷àñòêàõ ìåõàíèçìà ñåìàíòè÷å- ñêèõ ãðàôîâûõ çàïðîñîâ. ×òî æå êàñàåòñÿ ÏðÎ ñ ìàëûì êîýôôèöèåíòîì ïðîãíîçèðîâàíèÿ ðàçâèòèÿ ÏðÎ è ðàçíîîáðàçèÿ çàïðîñîâ ïîëüçîâàòåëåé, êàê, íàïðèìåð, ïîèñêîâûå ìàøèíû â Èíòåðíåò, âñåâîçìîæíûå ñîöèàëüíûå ñåòè, Èíòåðíåò-âèòðèíû äàííûõ, ñõåìû ÁÄ êîòîðûõ çàâèñÿò íå îò ðåàëüíûõ ïðè÷èííî-ñëåäñòâåííûõ ñâÿçåé â ÏðÎ è èõ âëàäåëüöåâ, à îò õàîòè÷åñêè îáðàùàþùèõñÿ ïîëüçîâàòåëåé, çàïðîñû ýôôåêòèâíî ìîäåëèðóþòñÿ ãèáêèìè ÿçûêîâûìè êîíñòðóêöèÿìè.  ïðèëîæåíèÿõ äëÿ òàêèõ ÏðÎ áåññïîðíî ïðåèìóùåñòâî ìåõàíèçìà ñåìàíòè÷åñêèõ ãðàôîâûõ çàïðîñîâ. Ýòó ïðîáëåìó ðåøàåò CASE-ñèñòåìà «ÌèêðîÏîèñê» [19–21]. Îñîáåííîñòü «ÌèêðîÏîèñêà» ñîñòîèò â ïðèìåíåíèè SQL è ïîäîáíîãî ÿçûêà çàïðîñîâ, îðèåíòèðîâàííîãî íà ER-ìîäåëü äàííûõ Ï. ×åíà [1]; èíòåíñèîíàë (ñõåìà ÁÄ) ïðåäñòàâëÿåòñÿ ãðàôîì, âåðøèíàì êîòîðîãî ñîîòâåòñòâóþò êëàññû îáúåêòîâ (ñóùíîñòåé), à ðåáðàì — êëàññû áèíàðíûõ ñâÿçåé ìåæäó îáúåêòàìè. Ýëåìåíòàðíûå àòðèáóòû îáúåêòîâ ñîîòâåòñòâóþò îñíîâíûì òèïàì äàííûõ. Äî- ïóñêàþòñÿ àòðèáóòû, ñîäåðæàùèå òåêñòû ïðîèçâîëüíîé äëèíû (öåëûå äîêóìåí- òû). Ïîèìåíîâàííàÿ ñîâîêóïíîñòü ýëåìåíòàðíûõ àòðèáóòîâ ìîæåò ñîñòàâëÿòü ïîâòîðÿþùóþñÿ ãðóïïó. Àïïàðàò ïîâòîðÿþùèõñÿ ãðóïï ðåàëèçóåò çàâèñèìîñòü ïî ñóùåñòâîâàíèþ.  [21] ñêàçàíî ñëåäóþùåå: «Ñâÿçè èìåþò òèï: 1:1, 1:H, F:H. Îáû÷íàÿ îïåðà- öèÿ íàä ñâÿçÿìè — ïåðåõîä ïî ñâÿçè îò ìíîæåñòâà ýêçåìïëÿðîâ îäíîãî êëàññà îáúåêòîâ; ðåçóëüòàò — ìíîæåñòâî ñîîòâåòñòâóþùèõ ýêçåìïëÿðîâ äðóãîãî êëàññà ñâÿçàííûõ îáúåêòîâ (ïåðåõîä ðàçðåøåí â îáîèõ íàïðàâëåíèÿõ). Ïðè íàëè÷èè ñâÿ- çè ìåæäó îäíîòèïíûìè îáúåêòàìè íàïðàâëåíèå óòî÷íÿåòñÿ ñ ïîìîùüþ ðîëè. Íàïðèìåð, ÷òîáû ïîëó÷èòü ñïèñîê ïîä÷èíåííûõ äàííîãî ñîòðóäíèêà, íóæíî ïå- ðåéòè ïî ñâÿçè ÑÓÁÎÐÄÈÍÀÖÈß ñ óêàçàíèåì ðîëè ÏÎÄ×ÈÍÅÍÍÛÉ, à ÷òîáû ïîëó÷èòü åãî íà÷àëüíèêà — ïî òîé æå ñâÿçè ñ óêàçàíèåì ðîëè ÍÀ×ÀËÜÍÈÊ». Èíîå ðåøåíèå ïðåäîñòàâëÿåò êàðêàñíàÿ ìîäåëü. Êàðêàñ ÿâëÿåòñÿ ÷àñòíûì ñëó÷àåì ÐÌÄ. Ïðè÷åì, êàê ïîêàçàíî âûøå, îäíèì èç âàæíûõ ñâîéñòâ ðåëÿöèîí- íîãî êàðêàñà ÿâëÿåòñÿ âîçìîæíîñòü ìèíèìèçèðîâàòü îáúåì çàïðîñîâ ê ÁÄ, ïî- ñòðîåííûõ íà ãðîìîçäêèõ è âû÷èñëèòåëüíî ñëîæíûõ îïåðàöèÿõ ñîåäèíåíèÿ. Êàê ïîêàçûâàþò èññëåäîâàíèÿ, ïðîâåäåííûå íà áîëüøîì êîëè÷åñòâå âíåä- ðåííûõ ïðèëîæåíèé ÁÄ, ñõåìà êîòîðîé ïîñòðîåíà íà êàðêàñå, ìîäåëèðóåò äî 90 % çàïðîñîâ áåç îïåðàöèè ñîåäèíåíèÿ è åå ìîäèôèêàöèé. Ýòî ïîçâîëÿåò çíà÷è- òåëüíóþ ÷àñòü äàííûõ îáðàáàòûâàòü ïî çàðàíåå ñôîðìèðîâàííûì èíäåêñíûì òàáëèöàì, à ïîäàâëÿþùåå áîëüøèíñòâî çàïðîñîâ ïîëüçîâàòåëåé òàêæå ôîðìàëè- çîâàòü, óíèôèöèðîâàòü è èíòåãðèðîâàòü â ïðèëîæåíèè. Òàêîé ïîäõîä äàåò âîçìîæíîñòü ïîñòðîèòü óíèâåðñàëüíóþ ïåðåíàñòðàèâàåìóþ îáîëî÷êó, óïðàâëÿå- ìóþ ãðóïïîé ìåòàäàííûõ, à ìàññèâû ìåòàäàííûõ, îòðàæàþùèå òó èëè èíóþ ñïå- öèôèêó ÏðÎ, ñèíòåçèðîâàòü ñ ïîìîùüþ ïðîãðàììíîé îáîëî÷êè ïî òåì æå âûñî- êîíîðìàëèçîâàííûì ãèáêèì ñõåìàì ÁÄ. Èññëåäîâàíèÿ ÏðÎ àâòîìàòèçàöèè ïðîåêòèðîâàíèÿ ïðèëîæåíèé, ïðîâîäè- ìûå íà ïðîòÿæåíèè äëèòåëüíîãî âðåìåíè, ïîêàçûâàþò, ÷òî ñïèñîê îñíîâíûõ 166 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 îïåðàöèé ðåëÿöèîííîé àëãåáðû, êîòîðûå íåîáõîäèìî èñïîëüçîâàòü, ñóùåñòâåí- íî ñîêðàùàåòñÿ. Ñîêðàùàåòñÿ òàêæå è ãðóïïà îïåðàöèé ïî îòñëåæèâàíèþ öå- ëîñòíîñòè ÁÄ. Ýòî ïðîèñõîäèò, ïîñêîëüêó îñíîâíûìè èíñòðóìåíòàìè ìàíèïóëè- ðîâàíèÿ äàííûìè ñëóæàò èíäåêñíûé ïîèñê è îïåðàöèÿ ñåëåêöèè äàííûõ. Åùå îäíîé îñîáåííîñòüþ ñõåìû ÁÄ, ïîëó÷åííîé ñ ïîìîùüþ êàðêàñíîãî àíàëèçà, ÿâëÿåòñÿ âîçìîæíîñòü ìîäåëèðîâàíèÿ ñâÿçè ëþáîé êðàòíîñòè ìåæäó ñóùíîñòÿìè-îáúåêòàìè ñî ñòåïåíüþ F:H. Ýòà ìàêñèìàëüíî âîçìîæíàÿ ñòåïåíü ñâÿçè ëåæèò â îñíîâå àíàëèçà ëþáîé ñîâîêóïíîñòè ñâÿçåé äëÿ ëþáîé ÏðÎ; ñâÿçè ñ ìåíüøåé ñòåïåíüþ ìîäåëèðóþòñÿ êàê ÷àñòíûé ñëó÷àé. Ïðè ïðîåêòèðîâàíèè èíñòðóìåíòàëüíîãî ñðåäñòâà è ïðèëîæåíèé èñïîëüçî- âàëàñü åäèíàÿ ñõåìà êàæäîãî îòíîøåíèÿ — ñõåìà, ïîñòðîåííàÿ íà êîíêàòåíàöèè (ñòðîêîâîé ñóììå) óíàðíûõ êëþ÷åâûõ àòðèáóòîâ òèïà A B C D Z� � � �� � Èçâåñòíî, ÷òî äëÿ òàêîé êîíñòðóêöèè ìîãóò áûòü ïîñòðîåíû ýëåìåíòàðíûå èí- äåêñíûå äåðåâüÿ. Èìåííî òàêîé ìåõàíèçì ïðîåêòèðîâàíèÿ ìîæåò áûòü óíèôèöèðîâàí âïëîòü äî ñòàíäàðòèçàöèè. Òàêèì îáðàçîì, CASE-îáîëî÷êà ãåíåðàöèè ìåòàäàííûõ SWS (Server Workstation System) [22, 23] — ýòî íå ÷òî èíîå êàê ãåíåðàòîð îòíîøåíèé, â êàæ- äîì èç êîòîðûõ óíèôèöèðîâàííûì ñïîñîáîì õðàíÿòñÿ ìåòàäàííûå êîíêðåòíîé ÏðÎ: èìåíà îòíîøåíèé, èìåíà ïîëåé, ãðóïïû èíäåêñíûõ çàãîëîâêîâ è äðóãèå ñïåöèàëèçèðîâàííûå äàííûå. Ïðèíöèïèàëüíî âàæíûì ïðèçíàêîì êàðêàñíîé ãðóïïû îòíîøåíèé ÿâëÿåòñÿ èåðàðõè÷åñêàÿ ñâÿçü êîðòåæà èç âåðõíåãî îòíîøåíèÿ ñ ïà÷êîé êîðòåæåé íèæíåãî îòíîøåíèÿ, ïðè÷åì ýòà ñâÿçü îñóùåñòâëÿåòñÿ ïî èíäåêñèðîâàííîìó îáùåìó êëþ÷åâîìó àòðèáóòó. Èìåííî ê òàêîìó àòîìàðíîìó ñî÷åòàíèþ ñâîäèòñÿ âñÿ ñî- âîêóïíîñòü îòíîøåíèé, èìåííî ê òàêîé ïàðå «îòíîøåíèå–îòíîøåíèå» â êîíå÷- íîì èòîãå ñâîäèòñÿ ëþáîé ôðàãìåíò ÏðÎ. Äàëüíåéøàÿ óíèôèêàöèÿ êàñêàäíûõ ïðîöåäóð óæå íå ÿâëÿåòñÿ ñëîæíûì ïðîöåññîì. Õîòÿ îïèñàííûå èíñòðóìåíòàëüíûå ñðåäñòâà èìåþò íåêîòîðûå îòëè÷èÿ, îíè ñõîäíû â îäíîì — ðåøàþò çàäà÷ó àâòîìàòèçàöèè íå òîëüêî ïðîåêòèðîâàíèÿ ïðè- ëîæåíèé ÁÄ, íî è èõ ïðîãðàììèðîâàíèÿ, ïðè÷åì ñõîäíûì ñïîñîáîì. Èññëåäîâàíèå çàêîíîìåðíîñòåé ñåìàíòè÷åñêîãî ER-ïðîåêòèðîâàíèÿ ñõåì ÁÄ äëÿ ðàçíûõ ÏðÎ, à òàêæå îáîáùåíèå è óíèôèêàöèÿ ìíîãîîáðàçèÿ çàïðîñîâ ïîëüçîâàòåëåé ïîçâîëèëî îòêàçàòüñÿ îò ïîäõîäà àâòîìàòèçèðîâàííîãî ñèíòåçà èñõîäíûõ òåêñòîâ ïðîãðàìì è ðåàëèçîâàòü ïðåäëîæåííûé àêàäåìèêîì Â.Ì. Ãëóøêîâûì òåçèñ «ïðîãðàììèðîâàíèå áåç ïðîãðàììèñòîâ», êîãäà ãîòîâîå ðàáîòàþùåå ïðèëîæåíèå ÁÄ íåïîñðåäñòâåííî ôîðìèðóåòñÿ èíñòðóìåíòàëüíîé îáîëî÷êîé, óïðàâëÿåìîé ìåòàäàííûìè ïîëüçîâàòåëÿ. Òàêîé ïîäõîä êðàéíå àêòóàëåí â ñâÿçè ñ ïîÿâëåíèåì ðàñïðåäåëåííûõ âû÷èñëèòåëüíûõ ñèñòåì ñâåðõìàëûõ àðõèòåêòóð. ÎÑÍÎÂÍÛÅ ÑÎÂÏÀÄÅÍÈß Ñ ÑÎÂÐÅÌÅÍÍÛÌÈ ÒÅÍÄÅÍÖÈßÌÈ Â ÁÄ Ïðîáëåìà îáúåäèíåíèÿ â ðàìêàõ åäèíîé ìîäåëè äàííûõ ñâîéñòâ, ïðèñóùèõ ñõåìàì ðåëÿöèîííîé è îáúåêòíî-îðèåíòèðîâàííîé (ÎÎ) ÁÄ, àêòóàëüíà íà ïðî- òÿæåíèè íåñêîëüêèõ äåñÿòèëåòèé [24, 25]. Îïèñàííàÿ òåîðèÿ êàðêàñíîé ìîäå- ëè äàííûõ ïîçâîëÿåò èíà÷å ðåøèòü ýòó ïðîáëåìó. Íîâàÿ ìîäåëü îäíîâðåìåííî îáëàäàåò SQL- è OQL-ïîëíîòîé [14], ïîçâîëÿåò ïðîåêòèðîâàòü èíôîðìàöèîí- íûå ñèñòåìû, èìåþùèå îáúåäèíåííûå ñâîéñòâà, à òåîðåìà î ìîäèôèöèðóåìîé ÄÊÍÔ-ñõåìå ÁÄ [7] äàåò âîçìîæíîñòü ðàññìàòðèâàòü êàðêàñíóþ ìîäåëü äàí- íûõ êàê åäèíñòâåííî îïòèìàëüíóþ ïëàòôîðìó äëÿ òàêîãî îáúåäèíåíèÿ. Âîçìîæíîñòü ïîëîæèòåëüíîãî ðåçóëüòàòà òàêîãî îáúåäèíåíèÿ âûñêàçàë Äåéò â [24], ãäå îòíîøåíèÿ ðåëÿöèîííîé ìîäåëè ìîæíî ðàññìàòðèâàòü êàê îáú- åêòíûå êëàññû. Îí óòâåðæäàåò, ÷òî «â ðåëÿöèîííîé ìîäåëè íå ñóùåñòâóåò íè- ÷òî, ÷òî ìîæåò îãðàíè÷èòü ñêàëÿðíûå çíà÷åíèÿ, ñóùåñòâóþùèå â äîìåíàõ, … ïðîñòûìè ôîðìàìè … Ýòè ñêàëÿðíûå çíà÷åíèÿ ìîãóò áûòü íàñòîëüêî ñëîæíû- ìè, íàñêîëüêî ìû ïîæåëàåì». ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 167  [5] óêàçàíî, ÷òî ïîä ñóùíîñòüþ (îáúåêòîì, ôàêòîì è ò.ï.) â ÏðÎ ïîíèìà- åòñÿ ðàñøèðÿåìàÿ ñîâîêóïíîñòü àòðèáóòîâ, îáúåäèíåííûõ åäèíûì óíèêàëüíûì â ðàìêàõ ýòîé ÏðÎ ìíîãîìåñòíûì ïðåäèêàòîì, à ïîä àòðèáóòîì ñóùíîñòè-îáúåêòà ïîíèìàåòñÿ íåêîå àáñòðàêòíîå ìíîæåñòâî, îáúåäèíåííîå îäíîìåñòíîé ÷àñòüþ ýòîãî óíèêàëüíîãî äëÿ ÏðÎ ìíîãîìåñòíîãî ïðåäèêàòà. Êðîìå òîãî, îïèñàíî îäíî èç ïðèíöèïèàëüíûõ ñâîéñòâ êàðêàñíîé ìîäåëè — ôèêñèðîâàííàÿ ñòðóêòóðà åäè- íîãî äëÿ êàæäîãî àòðèáóòà êëþ÷à, ÿâëÿþùåãîñÿ ñëåäñòâèåì ìíîãîìåñòíîãî ïðåäèêàòà. Òàêîé ïîäõîä ê äåêîìïîçèöèè ÏðÎ äàåò âîçìîæíîñòü ðàññìàòðèâàòü êàæäûé îáúåêò ÏðÎ êàê îòäåëüíûé êëàññ ñóùíîñòåé-îáúåêòîâ ñî ñâîèì ôèêñè- ðîâàííûì êëàññîì ID, êàæäûé ýêçåìïëÿð êîòîðîãî, âî-ïåðâûõ, èìååò ñòðîãî ôèêñèðîâàííóþ ïðåäîïðåäåëåííóþ ïîðîæäàþùèì ïðåäèêàòîì ñõåìó, âî-âòî- ðûõ, óíèêàëüíî îïðåäåëÿåò ýêçåìïëÿð àòðèáóòà. Ïðè ðàáîòå ñ SQL-çàïðîñàìè òàêàÿ ÁÄ ôîðìàòèðóåòñÿ êàê ðåëÿöèîííî-òàáëè÷íàÿ — âñå ãðóïïû àòðèáóòîâ- ñòîëáöîâ â ñòðîãîì ñîîòâåòñòâèè ñî ñâîèìè ID ìîãóò áûòü îáúåäèíåíû â îòíî- øåíèÿ. Ïðè âûïîëíåíèè OQL-çàïðîñà ìîæíî èñïîëüçîâàòü ìåõàíèçì èíäåêñèðî- âàíèÿ áàçû ïî ñòðóêòóðå ID, ÷òî ïîâûøàåò ñêîðîñòü âûïîëíåíèÿ çàïðîñà.  òåîðåìå 6, î ìîäèôèöèðóåìîñòè ðåëÿöèîííîãî êàðêàñà èç [6], ðàññìîòðåíà êëàññè÷åñêàÿ [26] çàäà÷à î «íåîæèäàííîì» äîïîëíåíèè ñóùíîñòè-îáúåêòà íîâûì àòðèáóòîì, ò.å. î ìîäèôèêàöèè ñõåìû ÁÄ [5,15]. Àâòîð [26] äëÿ ýòîé ïðîáëåìû îïðåäåëèë êðàñíîðå÷èâóþ ðóáðèêó «ñìåðòü îáåèì», óêàçûâàÿ íà íåâîçìîæíîñòü êîððåêòíîãî ìîäåëèðîâàíèÿ ñèòóàöèè íè â ðàìêàõ êëàññè÷åñêîé ðåëÿöèîííîé ìîäåëè [12], íè èçâåñòíûì àëãîðèòìîì ÎÎÁÄ [27]. Äëÿ êàðêàñíîé êîíöåïöèè ïî- äîáíûå ìîäèôèêàöèè ÿâëÿþòñÿ åñòåñòâåííûì è êîððåêòíûì ïðîöåññîì, ôîð- ìàëüíî îïèñàííûì òåîðåìîé, äîêàçàííîé â [15]. Êàê óêàçàíî â [5], ìîäèôèöèðóåìîñòü ñõåìû ÁÄ îáåñïå÷èâàåòñÿ ãåíåðàöèåé êëþ÷åâûõ àòðèáóòîâ ïî àëãîðèòìó ñî÷åòàíèé «âñåõ ñî âñåìè», àíàëîãè÷íîìó áó- ëåàíó (ìíîæåñòâó âñåõ ïîäìíîæåñòâ). Ïîêàçàíî, ÷òî ëþáûå àãðåãèðîâàííûå ñóùíîñòè-îáúåêòû, çàìàñêèðîâàííûå ïîä àòîìàðíûå, ïðîäóöèðóþòñÿ êîíå÷íûì íà- áîðîì àòîìàðíûõ. Òàêîé ïîäõîä îáîáùàåò ïðîöåäóðó ìîäåëèðîâàíèÿ ÎÎÁÄ [27], ãäå ëþáîìó èñêîìîìó ñóùåñòâèòåëüíîìó (îáúåêòó) ñòàâèòñÿ â ñîîòâåòñòâèå òîëü- êî àòîìàðíûé ïðåäèêàò (íåñòðóêòóðèðîâàííûé ID) íåçàâèñèìî îò ñåìàíòèêè ÏðÎ — âíóòðåííèõ âçàèìîñâÿçåé. Ïîýòîìó êàðêàñíàÿ ìîäåëü çíà÷èòåëüíî ðàñøè- ðÿåò âîçìîæíîñòè ÎÎÁÄ. Ñîñòàâíûå ñóùíîñòè-îáúåêòû — ýòî ïîñòñâÿçíûå ìíîãî- ìåñòíûå ïðåäèêàòû, à ñëàáûå ñóùíîñòè-îáúåêòû — öåïî÷êè èåðàðõè÷åñêè-çàâèñè- ìûõ ìíîãîìåñòíûõ ïðåäèêàòîâ. Êàðêàñ ìîäåëèðóåò åäèíîé ïðîöåäóðîé îáà òèïà. Êàðêàñíûé ìåòîä àíàëèçà ÏðÎ ïðåäëàãàåò ïîäõîä áîëåå ñòðîãîãî ìîäåëèðî- âàíèÿ ñóùíîñòåé-îáúåêòîâ. Êàê èçâåñòíî [27], òåîðèÿ ïðîåêòèðîâàíèÿ ÎÎÁÄ íå äàåò òî÷íûõ ðåêîìåíäàöèé, êàêèå ñóùíîñòè-îáúåêòû èëè ôàêòû èç îïèñàíèÿ ÏðÎ äîëæíû áûòü îáúåêòàìè, à êàêèå ëèøü ìàñêèðóþùèìè êàòåãîðèÿìè (ñëîâàìè). Âàæíî, ÷òî òàêàÿ ìåòîäèêà ïðèìåíèìà ê ïðîåêòèðîâàíèþ ëþáîãî ïðîãðàììíîãî îáåñïå÷åíèÿ — îò ïðèëîæåíèé ÁÄ äî ïðîèçâîëüíûõ êèáåðíåòè÷åñêèõ ñèñòåì. Ïðè òàêîì ïîäõîäå ê ïðîåêòèðîâàíèþ ïðèëîæåíèé ÁÄ êàæäîå îòíîøåíèå àâòîìàòè÷åñêè ñòàíîâèòñÿ îáúåêòîì, à èõ ñîâîêóïíîñòü — èåðàðõè÷åñêîé ñòðóê- òóðîé ïðîãðàììíîé ñèñòåìû, ïîñêîëüêó ëþáîå ñå÷åíèå êàðêàñà — ýòî èåðàðõèÿ, äðåâîâèäíûé ãðàô, â óçëàõ êîòîðîãî ðàñïîëîæåíû îòíîøåíèÿ. Ñâÿçè ïî äóãàì ãðàôà ìîäåëèðóþòñÿ êëþ÷àìè îòíîøåíèé, êàæäîå îòíîøåíèå ìîäåëèðóåò ñóùíîñòü-îáúåêò. Êàðêàñíûé àíàëèç ïîçâîëÿåò ðàçðàáîò÷èêó ïðèëîæåíèé è ïðîãðàììíûõ êîìïëåêñîâ îáùåâû÷èñëèòåëüíîãî õàðàêòåðà, ðàáîòàþùåìó íå òîëüêî ñ ÁÄ, ïðî- åêòèðîâàòü ñòðóêòóðó èñõîäíîãî òåêñòà ïðîãðàìì è ñîîòâåòñòâóþùåé áèáëèî- òåêè îáúåêòîâ òàê, ÷òîáû äàëüíåéøåå ñîïðîâîæäåíèå è îáÿçàòåëüíûå ïîñòîÿí- íûå ìîäèôèêàöèè íå âûçûâàëè îùóòèìûõ çàòðóäíåíèé è çíà÷èòåëüíûõ çàòðàò ðåñóðñîâ. Èñïîëüçîâàíèå ñîâîêóïíîñòè îáúåêòîâ è ïðîöåäóð, ïîñòðîåííûõ â ñî- îòâåòñòâèè ñ êàðêàñíîé ñõåìîé ñåìàíòèêè ñïåöèàëèçèðîâàííîé ÏðÎ — ñòàöèî- íàðíûõ äèíàìè÷åñêèõ çàäà÷ òåîðèè óïðóãîñòè [28, 29], çàëîæåííîå â ëèñòèíã ïðî- 168 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 ãðàììíîãî êîìïëåêñà íà íà÷àëüíûõ ýòàïàõ (1990 ã.), ïîçâîëèëî çíà÷èòåëüíî ðàñøè- ðèòü è îáîáùèòü ïðèëîæåíèå, à òàêæå ðåøèòü âîïðîñ åãî èíòåðîïåðàáåëüíîñòè (äëÿ êëàñòåðîâ ÑÊÈÒ-3 è «Èíïàðêîì-256») çà î÷åíü êîðîòêèé îòðåçîê âðåìåíè. Äåíîðìàëèçàöèÿ. Èç ïðèâåäåííîé â [30] ïîäðîáíîé êëàññèôèêàöèè íàèáî- ëåå ñõîæèì ñ ïðîåêòèðîâàíèåì áåçàíîìàëüíûõ ñõåì ÁÄ íà ðåëÿöèîííîì êàðêàñå ÿâëÿåòñÿ ìåòîä íèñõîäÿùåé è âîñõîäÿùåé äåíîðìàëèçàöèè ñõåì ÁÄ. Ïðèìåð âêëþ÷åíèÿ â îòíîøåíèå-ñâÿçü àòðèáóòà àòîìàðíîé ñóùíîñòè-îáúåêòà [30], ôóíê- öèîíàëüíî çàâèñèìîãî òîëüêî îò ÷àñòè ñîñòàâíîãî êëþ÷à, âíîñèò íå òîëüêî ïî- ñòîðîííþþ ÔÇ è íàðóøàåò óñëîâèÿ íîðìàëèçàöèè îòíîøåíèÿ-ñâÿçè, íî ÿâëÿåòñÿ ÷óæäûì, èñõîäÿ èç ñåìàíòèêè âûñêàçûâàíèÿ, ìîäåëèðóåìîãî îòíîøåíè- åì-ñâÿçüþ.  íåé íàðóøàåòñÿ «òåìà» îòíîøåíèÿ. Òåì íå ìåíåå ïðè òàêîé äåíîðìàëèçàöèè ïîëüçîâàòåëü ïîëó÷àåò äîïîëíè- òåëüíîå êîíêóðåíòíîå ïðåèìóùåñòâî ýêñïëóàòàöèè ÁÄ, ïîñêîëüêó ñêîðîñòü äîñ- òóïà ê äàííûì çíà÷èòåëüíî ïîâûøàåòñÿ èç-çà èñêëþ÷åíèÿ îïåðàöèé ñîåäèíåíèÿ, ÷òî è îòìå÷àåòñÿ â ðàáîòàõ [30, 31]. Êàðêàñíûé ñèíòåç ÄÊÍÔ ïîçâîëÿåò èçáåãàòü äåíîðìàëèçàöèè, îäíàêî ñïîñîáñòâóåò èñïîëüçîâàíèþ íîðìàëèçîâàííûõ îòíîøåíèé-ñâÿçåé, êîòîðûå òàê- æå ñíèæàþò ÷èñëî îïåðàöèé ñîåäèíåíèÿ. Ðàññìîòðèì ïîäðîáíåå ïðèìåð èç [31]. Åñëè â ÏðÎ ëå÷åáíî-ïðîôèëàêòè÷åñ- êîå óïðâëåíèå (ÏÀÖÈÅÍÒ, ÒÀËÎÍ, ÏÎË ÏÀÖÈÅÍÒÀ) ðåãóëÿðíî ñèíòåçèðóþòñÿ îò÷åòû ïî íåêëþ÷åâîìó àòðèáóòó Ïîë, òî ìîæåò èñïîëüçîâàòüñÿ ïðèíöèï «ìàñêà äëÿ ðîëè àòîìàðíîé ñóùíîñòè-îáúåêòà» [5] — îòäåëüíîå îòíîøåíèå, êîòîðîå ÿâ- ëÿåòñÿ ÷àñòè÷íîé êîïèåé àòîìàðíîãî îòíîøåíèÿ ÏÀÖÈÅÍÒ. Ïðè ýòîì ôîðìèðó- åòñÿ îòíîøåíèå-ñâÿçü ÏÎË ÏÀÖÈÅÍÒÀ+ÒÀËÎÍ, êîòîðîå ïðèëîæåíèåì ÁÄ ïîä- äåðæèâàåòñÿ â öåëîñòíîì è àêòóàëüíîì ñîñòîÿíèè óíèâåðñàëüíûìè ïðîöåäóðà- ìè.  íåì òàêæå ìîæåò ñîõðàíÿòüñÿ íåîáõîäèìàÿ ñòàòèñòèêà — ôîðìèðîâàòüñÿ íåêëþ÷åâûå øóíòèðóþùèå àòðèáóòû. È õîòÿ òàêàÿ äåêîìïîçèöèÿ îòíîøåíèÿ ÏÀÖÈÅÍÒ íà äâà îòíîøåíèÿ (ÏÎË ÏÀÖÈÅÍÒÀ è, íàïðèìåð, ÂÎÇÐÀÑÒ ÏÀÖÈÅÍÒÀ) íåêîòîðûìè àâòîðàìè îöåíèâàåòñÿ êàê äåíîðìàëèçàöèÿ [31], ó Ôåéäæèíà â [8] àíàëîãè÷íûé ïðèåì ïðèâåäåí êàê ïðèìåð íîðìàëèçàöèè ñõåìû îòíîøåíèÿ: «…ñõåìà ìîæåò áûòü ðàçëîæåíà íà äâå ñõåìû… , êîðòåæ, ñîäåðæà- ùèé äàííûå î ïîëå ÷åëîâåêà, âõîäèò â ïåðâîå îòíîøåíèå, à êîðòåæè, ñîäåðæà- ùèå äàííûå î åãî ïðîôåññèè, âõîäÿò âî âòîðîå îòíîøåíèå. Ñõåìà SEX ROLE_ óäîâëåòâîðÿåò ÔÇ Person Role� , â òî æå âðåìÿ ñõåìà PROF ROLE_ íå óäîâëåò- âîðÿåò ýòîé çàâèñèìîñòè. … Ïðåèìóùåñòâî ðàçëîæåíèÿ ñîñòîèò â òîì, ÷òî ìåõà- íèçì îáðàáîòêè êëþ÷åé ñèñòåìû ìîæåò ïðåäîòâðàòèòü âñòàâêó äâóõ ðîëåé ïîëà äëÿ îäíîãî ÷åëîâåêà». Ïðè ýòîì, êàê óïîìèíàëîñü â [31], òðàòèòñÿ äîïîëíèòåëüíîå âðåìÿ íà ïîä- äåðæàíèå ññûëî÷íîé öåëîñòíîñòè. Îäíàêî ýòè ïîòåðè, êàê è â [31], íåñîèçìåðè- ìû ñ ïîòåðÿìè ïðè ñîåäèíåíèè. Íî åñëè íåîáõîäèìî âûïîëíèòü ðàçîâûé îò÷åò, ñîçäàåòñÿ çàïðîñ ñ îïåðàöèåé «âûáîð ïî âûáîðó». Îñóùåñòâëÿåòñÿ âûáîðêà èç îò- íîøåíèÿ-ñâÿçè ÒÀËÎÍÛ ÏÀÖÈÅÍÒΠ(ñîåäèíåíèå, â êîòîðîì óñëîâíî íàõîäÿòñÿ ìèëëèîíû çàïèñåé) òîëüêî òåõ êëþ÷åâûõ çíà÷åíèé àòðèáóòà ÊîäÏàöèåíòà, äëÿ êîòîðûõ îòôèëüòðîâàíà ìàëåíüêàÿ ãðóïïà êîðòåæåé («ïà÷êà çàïèñåé») â îòíîøå- íèè ÏÀÖÈÅÍÒ ïî ëþáîé ñîâîêóïíîñòè àòðèáóòîâ (íàïðèìåð, ïî çíà÷åíèþ íå- ñêîëüêèõ íåêëþ÷åâûõ ïîëåé «ìàëü÷èêè, ìëàäøèå 12 ëåò»). «Óìíûå» ÑÓÁÄ âû- ïîëíÿò ýòó îïåðàöèþ çíà÷èòåëüíî áûñòðåå ïðÿìîãî ñîåäèíåíèÿ, ïîñêîëüêó îïå- ðàöèÿ ñâîäèòñÿ ëèøü ê âûáîðó â «áîëüøîì» îòíîøåíèè-ñâÿçè îòôèëüòðîâàííîé ïî ïåðâè÷íîìó êëþ÷ó (ïî èíäåêñó) ãðóïïû êîðòåæåé â ñîîòâåòñòâèè ñ ìàëîé ãðóïïîé «ðîäèòåëüñêîãî» îòíîøåíèÿ. Îäíàêî, ê ñîæàëåíèþ, äàëåêî íå âñå ÑÓÁÄ ïðåäîñòàâÿò òàêóþ âîçìîæíîñòü. NoSQL — key-value ÁÄ. Ñîâðåìåííûå ìîäåëè ÁÄ òèïà «êëþ÷–çíà÷åíèå» (key–value — KV-ìîäåëü), êîòîðûå ñõîæè ñ êàðêàñíîé, îòíîñÿòñÿ ê íîâîìó, äè- íàìè÷íî ðàçâèâàþùåìóñÿ íàïðàâëåíèþ ÁÄ, îáúåäèíåííîìó êðàñíîðå÷èâûì íà- çâàíèåì «íå òîëüêî SQL» (Not only SQL — NoSQL) [32]. Êàê ïðàâèëî, ýòî ðàñ- ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 169 ïðåäåëåííûå õåø-òàáëèöû.  ýòîì çàêëþ÷àåòñÿ èõ íàèáîëåå ñèëüíàÿ ñòîðîíà, òàê êàê ïðåäîñòàâëÿåò âûñîêóþ ïðîèçâîäèòåëüíîñòü è ìîäèôèöèðóåìîñòü. Òåì íå ìåíåå ýòè ñâîéñòâà ïåðåñòàþò áûòü ïðåèìóùåñòâàìè, êîãäà íåîáõîäèìî îáðà- áàòûâàòü ñïèñêè.  ÐÌÄ íèæåñëåäóþùèå çàäà÷è ÿâëÿþòñÿ òèïîâûìè: — âûáðàòü k ïîñëåäíèõ ïîêóïàòåëåé; — âûáðàòü ñàìûå ïîïóëÿðíûå òîâàðû òåêóùåé íåäåëè; — íàéòè ñêëàä ñ ìàêñèìàëüíûì îáîðîòîì çà ïîñëåäíèé ìåñÿö; — íàéòè ïîêóïàòåëÿ ïî ëþáîìó íåêëþ÷åâîìó àòðèáóòó (ïî íîìåðó ìîáèëü- íîãî òåëåôîíà, ïî ìåñòó æèòåëüñòâà è ò.ï.). Íî â KV-ìîäåëè ïîäîáíûå çàäà÷è âûçûâàþò òðóäíîñòè. Íàïðèìåð, êîãäà íåîáõîäèìî îñóùåñòâèòü âûáîðêó çíà÷åíèé àòðèáóòîâ îäíîé ñóùíîñòè-îáúåêòà ïî âòîðè÷íîìó êëþ÷ó äðóãîé, ñèòóàöèÿ ñòàíîâèòñÿ ñõîæåé ñ ïîäõîäîì «íèñõî- äÿùåé» èëè «âîñõîäÿùåé» äåíîðìàëèçàöèè. Òàêèì îáðàçîì, èìååì òîò êëàññ çàäà÷, äëÿ êîòîðûõ ìîæíî è íóæíî èñïîëüçî- âàòü ÐÌÄ. Íà ïðàêòèêå, ïîñêîëüêó òàêèå çàäà÷è âçàèìîñâÿçàíû, ïðîåêòèðîâùèê ïåðåäàåò ÁÄ â ÐÌÄ-ïðèëîæåíèå, è, êàê ïðàâèëî, ïðèìåíÿåòñÿ ãèáðèäíîå ðåøåíèå — êîìáèíàöèÿ KV-ÐÌÄ. Âñå äàííûå õðàíÿòñÿ â KV, à òå ñâîéñòâà, ïî êîòîðûì íåîáõîäèìî îñóùåñòâèòü àãðåãàòíûå âûáîðêè, äóáëèðóþòñÿ â ÐÁÄ (ñ óêàçàòåëåì íà êëþ÷). Íî ñëîæíîñòü çàêëþ÷àåòñÿ â òîì, ÷òî ïðèõîäèòñÿ ñëåäèòü çà ñèíõðîíè- çàöèåé äàííûõ â äâóõ ÁÄ, ÷òî î÷åíü óñëîæíÿåò ëîãèêó ïðèëîæåíèÿ. Ñõåìà ðåëÿöèîííîé ÁÄ, ïîëó÷åííàÿ íà êàðêàñíîé ìîäåëè äàííûõ, àâòîìàòè- ÷åñêè îáëàäàåò ñâîéñòâàìè, ïîäõîäÿùèìè è ïîä ìîäåëü NoSQL. Åäèíñòâåííûé ñòðóêòóðèðîâàííûé êëþ÷ êàæäîãî îòíîøåíèÿ êàðêàñíîé ñîâîêóïíîñòè, ïîëó÷åí- íûé êîíúþíêöèåé îäíîìåñòíûõ êëþ÷åâûõ ïðåäèêàòîâ (èëè, ÷òî òî æå ñàìîå, êîíêàòåíàöèåé óíàðíûõ êëþ÷åâûõ àòðèáóòîâ), ÿâëÿþùèéñÿ êëþ÷îì îòíîøåíèÿ äëÿ SQL-çàïðîñà îò ïðèëîæåíèÿ ÐÌÄ, îäíîâðåìåííî ÿâëÿåòñÿ è KV äëÿ ñîîòâå- òñòâóþùèõ çíà÷åíèé íåêëþ÷åâûõ àòðèáóòîâ ïðè íåòàáëè÷íîì çàïðîñå ê ÁÄ îò KV-ïðèëîæåíèÿ, à òàêæå, êàê óêàçûâàëîñü âûøå, è ID äëÿ OQL-çàïðîñà. ÇÀÊËÞ×ÅÍÈÅ Îñîáîå îòíîøåíèå ñî ñõåìîé R X A( , ) ÿâëÿåòñÿ ìèíèìàëüíî âîçìîæíûì â ÐÌÄ è òåì ñàìûì ÷àñòíûì ñëó÷àåì îòíîøåíèÿ. Íî, êàê íåîäíîêðàòíî îòìå- ÷àëîñü [5–7, 15], â ÐÌÄ ïîíÿòèå ÷àñòíîãî ñëó÷àÿ èìååò íåêîòîðóþ äâîéñòâåí- íîñòü. Ìû îïèñàëè [5–7, 15], êàê ìèíèìóì, ÷åòûðå îäíîòèïíûõ ñèòóàöèè. 1. ×àñòíûé ñëó÷àé, êîãäà ïðàâàÿ ÷àñòü ñîñòàâíîãî äåòåðìèíàíòà ÿâëÿåòñÿ íåïóñ- òûì ìíîæåñòâîì, ïîçâîëèë ïîëó÷èòü äîñòàòî÷íî íåòðèâèàëüíûé îáîáùàþùèé ðåçóëü- òàò ñ âïîëíå îïðåäåëåííûì ôèçè÷åñêèì ñìûñëîì — àòðèáóòîì ìíîãîàðíîé ñâÿçè. 2. ×àñòíûé ñëó÷àé ìíîãîçíà÷íîñòè (ÄÇ) ïîçâîëèë ïîëó÷èòü îáëàäàþùåå ïîëíîòîé îáîáùàþùåå îòíîøåíèå-ñâÿçü, êîòîðîå ìîæíî èñïîëüçîâàòü êàê øàá- ëîí äëÿ ñâÿçåé ìàêñèìàëüíî âîçìîæíîé ñòåïåíè è ïðîèçâîëüíîé êðàòíîñòè. 3. ×àñòíûé ñëó÷àé ñîâîêóïíîñòè îòíîøåíèé ñî ñõåìîé R X X X X A n j ( , , , , , ) 1 2 3 � è èñêëþ÷èòåëüíî îäíîé êëþ÷åâîé ÔÇ ïîçâîëèë ïîëó÷èòü óíèêàëüíûé ïî ñâîåé óíèâåðñàëüíîñòè ðåëÿöèîííûé êàðêàñ, ïðèãîäíûé ïðè èñïîëüçîâàíèè â êà÷åñòâå øàáëîíà ïðàêòè÷åñêè äëÿ ëþáîé ÏðÎ. 4. ×àñòíûé ñëó÷àé îãðàíè÷åíèé íà äîìåíû è êëþ÷è — ìèíèìàëüíî âîçìîæ- íàÿ ÔÇ X A� — ïîçâîëèëà îáíàðóæèòü ýëåìåíòàðíóþ áåçàíîìàëüíóþ ñõåìó. Ïî-âèäèìîìó, áåç ïðåóâåëè÷åíèÿ ìîæíî ñ÷èòàòü, ÷òî ýòè ÷àñòíûå ñëó÷àè âçàèìîñâÿçàíû è èãðàþò ôóíäàìåíòàëüíóþ ðîëü â ÐÌÄ. Ðàññìîòðåííûå â [5–7,15] âàæíûå ñâîéñòâà êàðêàñíîé ìîäåëè äàííûõ è êàðêàñíîãî ìåòîäà ïðî- åêòèðîâàíèÿ ñõåìû ÁÄ îáîñíîâûâàþòñÿ èìåííî ýòèì îáñòîÿòåëüñòâîì. Ê îñíîâíûì êîíêóðåíòíûì ïðåèìóùåñòâàì ýòîãî ïîäõîäà îòíîñÿòñÿ ñëåäó- þùèå ñâîéñòâà (ïî óáûâàíèþ çíà÷èìîñòè): • áåçàíîìàëüíîñòü â ñìûñëå [8]; • âûñîêàÿ ñêîðîñòü äîñòóïà ê äàííûì áëàãîäàðÿ çíà÷èòåëüíîìó ñíèæåíèþ îïåðàöèé ñîåäèíåíèÿ â çàïðîñàõ; 170 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 • äèíàìè÷åñêàÿ ìîäèôèöèðóåìîñòü ñõåìû ÁÄ, ÷òî ïîçâîëÿåò êîððåêòíî âíîñèòü èçìåíåíèÿ â ýêñïëóàòèðóåìîå ïðèëîæåíèå, à òàêæå ãèáêî ìîäèôèöèðî- âàòü ñõåìû íå òîëüêî ïîëüçîâàòåëüñêèõ, íî è óïðàâëÿþùèõ ÁÄ (ìåòàáàç); • ïîäîáèå ñõåì ÁÄ äëÿ ðàçíûõ ÏðÎ, íåñìîòðÿ íà çíà÷èòåëüíûå îòëè÷èÿ ñå- ìàíòèê, ÷òî îáåñïå÷èâàåò èíòåðîïåðàáåëüíîñòü è êðîññïëàòôîðìíîñòü ïðèëîæå- íèé [21]. Äëÿ èññëåäîâàòåëåé òàêæå âàæíû ñëåäóþùèå âûâîäû. • ÄÊÍÔ-cõåìà ÁÄ — ýòî òàêæå è ñõåìà ñåìàíòèêè ÏðÎ; ôîðìèðóÿ ÄÊÍÔ-ñõåìó ÁÄ, ïîëüçîâàòåëü èññëåäóåò ñåìàíòèêó ÏðÎ è òåì ñàìûì èìååò âîçìîæíîñòü îïòèìèçèðîâàòü ñàìó ÏðÎ. • Ñîâïàäåíèå ñ ðåçóëüòàòàìè èññëåäîâàíèé [19–21] â ÷àñòè «îòäåëüíûõ âñïîìîãàòåëüíûõ òåðíàðíûõ îòíîøåíèé», «óñêîðåíèÿ äîñòóïà ê äàííûì ââèäó ýêîíîìèè íà ñîåäèíåíèÿõ», «ñõîæåñòè ñõåì ÁÄ ðàçíûõ Ïðλ íåñëó÷àéíî. Îïòè- ìàëüíàÿ ñõåìà ÁÄ åäèíñòâåííà. • Îñíîâíàÿ êëàññè÷åñêàÿ êîíöåïöèÿ «âñå ñâÿçè äîëæíû áûòü äåêîìïîçèðî- âàíû ê áèíàðíûì, à ïðè ïîäãîòîâêå îòâåòà íà çàïðîñ ñåðâåð îñóùåñòâèò ñîåäèíå- íèÿ» óñòàðåëà. Áîëåå àêòóàëüíà êîíöåïöèÿ «âñå àêòóàëüíûå ñâÿçè ïîääåðæèâà- þòñÿ â ðåæèìå îíëàéí». • Êàæäîå îòíîøåíèå â ÄÊÍÔ-ñõåìå — ýòî îäíî ïðåäëîæåíèå, ñîîòâåòñòâóþùåå îäíîé «òåìå» [3], à èõ ñîâîêóïíîñòü ñîîòâåòñòâóåò ÄÍÔ ñîâîêóïíîñòè âûñêàçûâàíèé. • Ëþáîé òåêñò — îò îäíîãî àòîìàðíîãî ïðåäëîæåíèÿ è äî ïðîèçâîëüíîãî èõ êîëè÷åñòâà, ïðåäñòàâëÿþùèé ïîëüçîâàòåëþ èíôîðìàöèþ, ÿâëÿåòñÿ ôðàãìåí- òîì êàðêàñà. Ýòî îçíà÷àåò, ÷òî êàðêàñíûé ïîäõîä ïîçâîëÿåò ñèíòåçèðîâàòü àâòî- ìàòèçèðîâàííûé èíòåðïðåòàòîð ñìûñëîâ. Âñå ïåðå÷èñëåííîå äàåò âîçìîæíîñòü ðåøèòü ïðîáëåìó óíèôèêàöèè, òèïèçà- öèè è ìèíèìèçàöèè ÑÓÁÄ, ò.å. ðàçðàáîòàòü èíñòðóìåíòàëüíóþ îáîëî÷êó, êîòîðàÿ ìàñøòàáèðóåòñÿ ìåòàäàííûìè, è íà ýòîì îñíîâàíèè ñîçäàòü ìàëîãàáàðèòíûé CASE-ãåíåðàòîð êàðêàñíûõ ìåòàäàííûõ, óïðàâëÿþùèõ óíèâåðñàëüíîé êàðêàñíîé îáîëî÷êîé, à òàêæå ñíàáäèòü ýòîò ãèáêèé èíñòðóìåíò áèáëèîòåêîé òèïîâûõ ôóíê- öèé íàâèãàöèè êàðêàñíîé ÐÁÄ, èñïîëüçóåìûõ â óíèôèöèðîâàííûõ çàïðîñàõ. Òàêîé ïîäõîä ìèíèìèçèðóåò ïîòðåáíîñòü â ðåñóðñîåìêèõ îïåðàöèÿõ ñîåäèíå- íèÿ â áîëüøèíñòâå çàïðîñîâ ê ÁÄ è ñóùåñòâåííî óïðîùàåò íàñòðîéêó ïðèëîæåíèÿ. Àâòîð âûðàæàåò áëàãîäàðíîñòü ÷ë.-êîð. ÍÀÍ Óêðàèíû, ïðîôåññîðó Î.Ë. Ïå- ðåâîç÷èêîâîé , àêàäåìèêó ÍÀÍ Óêðàèíû, ïðîôåññîðó À.À. Ëåòè÷åâñêîìó, àêàäå- ìèêó ÍÀÍ Óêðàèíû, ïðîôåññîðó Ô.È. Àíäîíó, äîêòîðó òåõí. íàóê, ïðîôåññîðó Ñ.Ä. Êóçíåöîâó (ÐÀÍ); äîêòîðó ôèç-ìàò. íàóê, ïðîôåññîðó Ä.Á. Áóþ. ÑÏÈÑÎÊ ËÈÒÅÐÀÒÓÐÛ 1. C h e n P . P . The Entity-Relationship Model: toward a unified view of data // ACM Trans. on Database systems. — 1976. — 1, ¹ 1. — P. 9–36. 2. C o d d E . F . Extending the database relational model to capture more meaning // Ibid. — 1979. — 4, N 4. — P. 397–434. 3. Ê ð å í ê å Ä . Ì . Òåîðèÿ è ïðàêòèêà ïîñòðîåíèÿ áàç äàííûõ. — ÑÏá.: Ïèòåð, 2003. — 800 ñ. 4. Ê ó ç í å ö î â Ñ . Ä . Áàçû äàííûõ: ìîäåëè è ÿçûêè. — Ì.: Áèíîì, 2008. — 720 ñ. 5. Ê à ð ï ó ø à  . Ä . , Ï à í ÷ å í ê î Á . Å . Ìîäåëèðîâàíèå è ïðîåêòèðîâàíèå ðåëÿöèîííûõ áàç äàííûõ: Ó÷. ïîñîáèå. — Ñóìû: Èçä. ÑóìÄÓ. — 2010. — 385 ñ 6. Ï à í ÷ å í ê î Á . Å . Êàðêàñíîå ïðîåêòèðîâàíèå äîìåííî-êëþ÷åâîé ñõåìû ðåëÿöèîííîé áàçû äàííûõ // Êèáåðíåòèêà è ñèñòåìíûé àíàëèç. — 2012. — ¹ 3. — C. 120–129. 7. Ï à í ÷ å í ê î Á . Å . Ê âîïðîñó î ìîäèôèöèðóåìîñòè è áåçàíîìàëüíîñòè ñõåìû ðåëÿöèîííîé áàçû äàííûõ // Ïðîáëåìû ïðîãðàììèðîâàíèÿ. — 2012. — ¹ 3. — C. 281–288. 8. F a g i n R . A normal form for relational databases that is based on domains and keys // ACM Trans. on Database Systems. — 1981. — 6, N 3. — P. 387–415. 9. Ò à ð à ñ î â È . À . Öåëîñòíîñòü äàííûõ, àíîìàëèè ìîäèôèêàöèè äàííûõ è íîðìàëüíûå ôîðìû òàáëèö ðåëÿöèîííûõ áàç äàííûõ // Ïðîåêòèðîâàíèå òåëåêîììóíèêàöèîííûõ è èíôîðìà- öèîííûõ ñðåäñòâ è ñèñòåì. — Ì.: ÌÈÝÌ, 2007. — C. 195. ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 171 10. Ò à ð à ñ î â È . À . Íåäîñòàòêè òåîðèè äîìåííî-êëþ÷åâîé íîðìàëüíîé ôîðìû (DKNF) Ðîíàëü- äà Ôàãèíà. — http://itsoft.ru/about/publication/dbdesign/dknf/. 11. à î ë î ñ î â À . Î . Àíîìàëèè â ðåëÿöèîííûõ áàçàõ äàííûõ // ÑÓÁÄ. — 1996. — ¹ 3. — C. 23–38. 12. C o d d E . F . The relational model for database management: Ver. 2, Reading Mass. — New York: Addison-Wesley Publ. Co, 1990. — 538 p. 13. Ö à ë å í ê î Ì . Ø . Ñåìàíòè÷åñêèå è ìàòåìàòè÷åñêèå ìîäåëè áàç äàííûõ // Èòîãè íàóêè è òåõ- íèêè. Èíôîðìàòèêà. Ò. 9. — Ì.: ÂÈÍÈÒÈ, 1985. — 207 ñ. 14. Ó ë ü ì à í Ä . Ä . , Ó è ä î ì Ä . Îñíîâû ðåëÿöèîííûõ áàç äàííûõ. — Ì.: Ëîðè, 2006. — 374 ñ. 15. Ï à í ÷ å í ê î Á . Å . , Ï è ñ à í ê î È . Í . Ñâîéñòâà ðåëÿöèîííîãî êàðêàñà íà ìíîæåñòâå ñåìàí- òè÷åñêè àòîìàðíûõ ïðåäèêàòîâ // Êèáåðíåòèêà è ñèñòåìíûé àíàëèç. — 2009. — ¹ 6. — C. 120–129. 16. ß ë î â å ö À . Ë . Ïðåäñòàâëåíèå è îáðàáîòêà çíàíèé ñ òî÷êè çðåíèÿ ìàòåìàòè÷åñêîãî ìîäåëè- ðîâàíèÿ. Ïðîáëåìû è ðåøåíèÿ. — Êèåâ: Íàóê. äóìêà, 2011. — 360 ñ. 17. Ê î ñ ò þ ê À . È . Áàçû äàííûõ è çíàíèé: Êóðñ ëåêöèé. — Òàãàíðîã: ÒÐÒÓ, 1999. — 175 ñ. 18. Ò à ð à ñ î â È . À . Ìåòîä ïðîåêòèðîâàíèÿ ëîãè÷åñêîé ñòðóêòóðû ðåëÿöèîííîé ÁÄ äëÿ âåá-ïðè- ëîæåíèé áåç íîðìàëèçàöèè òàáëèö: Äèññ. êàíä. òåõí. íàóê. — Ì.: ÌÈÝÌ, 2009. — 112 ñ. 19. à ð å ÷ ê î  . Î . , Ò å ì ï å ð à í ñ ê è é  . À . Íåêîòîðûå âîïðîñû îðãàíèçàöèè äàííûõ â ñèñ- òåìíîì àíàëèçå ñëîæíûõ îáúåêòîâ // Àâòîìàòèçàöèÿ ïðîåêòèðîâàíèÿ èíôîðìàöèîííûõ ñèñ- òåì. — Êèåâ: ÈÊ ÀÍ ÓÑÑÐ, 1976. — Ñ. 78–85. 20. G r e c h k o V . , T u l c h i n s k y V . Building standard user interface: DBMS “MicroPoisk” approach // Informatica. — 1995. — N 4. — P. 446–456. 21. Ï å ð å â î ç ÷ è ê î â à Î . Ë . , Ò ó ë ü ÷ è í ñ ê è é  . à . , Ê î ë î ì è å ö À .  . è ä ð . Âûñîêîïðî- äóêòèâíûå ìåòîäû àíàëèçà è ñïåöèôèêàöèè ïðîñòðàíñòâ àòðèáóòîâ ïðåäìåòíîé îáëàñòè äëÿ îðãàíèçàöèè âû÷èñëåíèé: Îò÷åò î ÍÈÐ ¹ 0107U000800 ÂÔ.145.09.11. — Êèåâ, 2011. — 378 ñ. 22. Ï à í ÷ å í ê î Á . Å . , à à é ä à á ð ó ñ  . Í . , Ö å ð ê î â è ö ê è é Ñ . Ë . Ñîçäàíèå ñåòåâûõ èí- ôîðìàöèîííûõ êîìïëåêñîâ // Êîìïüþòåðû ïëþñ ïðîãðàììû. — 1993. — ¹ 5 (6). — Ñ. 46–50. 23. Ï à í ÷ å í ê î Á . Å . , à à é ä à á ð ó ñ  . Í . , Ö å ð ê î â è ö ê è é Ñ . Ë . Ñåòåâûå âû÷èñëèòåëü- íûå êîìïëåêñû // Òàì æå. — 1994. Ñïåö. âûï. — Ñ. 30–37. 24. D a t e C . J . Date on database: writings 2000-2006. — New York: Apress, 2006. — 539 p. 25. × å ì á å ð ë è í Ä . Àíàòîìèÿ îáúåêòíî-ðåëÿöèîííûõ áàç äàííûõ // ÑÓÁÄ. — 1998. — ¹ 1–2. — C. 65–76. 26. Ï ð æ è ÿ ë ê î â ñ ê è é  . ×òî îáúåêòàì çäîðîâî, òî ðåëÿöèÿì ñìåðòü, è íàîáîðîò, è åùå ïîë-îáîðîòà. — http://open.oracle.tu2.ru/OR.html. 27. Á ó ÷ à . Îáúåêòíî-îðèåíòèðîâàííûé àíàëèç è ïðîåêòèðîâàíèå ñ ïðèìåðàìè ïðèëîæåíèé íà Ñ++. — Ì.: Áèíîì, 2001. — 560 ñ. 28. Í à ç à ð å í ê î À . Ì . , Ï à í ÷ å í ê î Á . Å . Äèôðàêöèÿ âîëí ñäâèãà íà öèëèíäðè÷åñêèõ íå- îäíîðîäíîñòÿõ ïðîèçâîëüíîãî ïîïåðå÷íîãî ñå÷åíèÿ // Äèíàìèêà è ïðî÷íîñòü ìàøèí. — 1991. — Âûï. 52. — Ñ. 38–45. 29. Ï à í ÷ å í ê î Á . Å . Âûñîêîòî÷íîå êëàñòåðíîå ðåøåíèå çàäà÷è äèôðàêöèè âîëí ñäâèãà íà ñèñ- òåìå îòâåðñòèé â ïîëóáåñêîíå÷íîé èçîòðîïíîé ñðåäå ñ çàùåìëåííîé ãðàíèöåé // Ïðîáëåìû ïðîãðàììèðîâàíèÿ. — 2012. — ¹ 1. — C. 121–131. 30. Ê ó í ã ó ð ö å â À . Á . , Ç è í î â à ò í à ÿ Ñ . Ë . Ìîäåëü ðåñòðóêòóðèçàöèè ðåëÿöèîííîé áàçû äàííûõ ïóòåì äåíîðìàëèçàöèè ñõåìû îòíîøåíèé // Òð. Îäåñ. ïîëèòåõí. óí-òà. — 2006. — 2(26). — Ñ. 105–111. 31. Ê ó í ã ó ð ö å â À . Á . , Ç è í î â à ò í à ÿ Ñ . Ë . Àíàëèç öåëåñîîáðàçíîñòè ðåñòðóêòóðèçàöèè áàçû äàííûõ ìåòîäîì ââåäåíèÿ íèñõîäÿùåé äåíîðìàëèçàöèè // Òàì æå. — 2006. — 1(25). — Ñ. 104–108. 32. S t o n e b r a k e r M . The NoSQL discussion has nothing to do with SQL // BLOG@CACM. — http://cacm.acm.org/blogs/blog-cacm/50678-the-nosql-discussion-has-nothing- to-do-with-sql/fulltext. Ïîñòóïèëà 27.02.2012 172 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2012, ¹ 6 << /ASCII85EncodePages false /AllowTransparency false /AutoPositionEPSFiles true /AutoRotatePages /None /Binding /Left /CalGrayProfile (Gray Gamma 2.2) /CalRGBProfile (sRGB IEC61966-2.1) /CalCMYKProfile (U.S. Web Coated \050SWOP\051 v2) /sRGBProfile (sRGB IEC61966-2.1) /CannotEmbedFontPolicy /Error /CompatibilityLevel 1.3 /CompressObjects /Off /CompressPages true /ConvertImagesToIndexed true /PassThroughJPEGImages false /CreateJDFFile false /CreateJobTicket false /DefaultRenderingIntent /Default /DetectBlends true /DetectCurves 0.0000 /ColorConversionStrategy /LeaveColorUnchanged /DoThumbnails false /EmbedAllFonts true /EmbedOpenType false /ParseICCProfilesInComments true /EmbedJobOptions true /DSCReportingLevel 0 /EmitDSCWarnings false /EndPage -1 /ImageMemory 1048576 /LockDistillerParams true /MaxSubsetPct 100 /Optimize true /OPM 1 /ParseDSCComments true /ParseDSCCommentsForDocInfo true /PreserveCopyPage true /PreserveDICMYKValues true /PreserveEPSInfo true /PreserveFlatness true /PreserveHalftoneInfo false /PreserveOPIComments false /PreserveOverprintSettings true /StartPage 1 /SubsetFonts false /TransferFunctionInfo /Apply /UCRandBGInfo /Remove /UsePrologue false /ColorSettingsFile (Color Management Off) /AlwaysEmbed [ true ] /NeverEmbed [ true ] /AntiAliasColorImages false /CropColorImages true /ColorImageMinResolution 290 /ColorImageMinResolutionPolicy /Warning /DownsampleColorImages true /ColorImageDownsampleType /Bicubic /ColorImageResolution 600 /ColorImageDepth 8 /ColorImageMinDownsampleDepth 1 /ColorImageDownsampleThreshold 1.01667 /EncodeColorImages true /ColorImageFilter /FlateEncode /AutoFilterColorImages false /ColorImageAutoFilterStrategy /JPEG /ColorACSImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /ColorImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /JPEG2000ColorACSImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /JPEG2000ColorImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /AntiAliasGrayImages false /CropGrayImages true /GrayImageMinResolution 290 /GrayImageMinResolutionPolicy /Warning /DownsampleGrayImages true /GrayImageDownsampleType /Bicubic /GrayImageResolution 600 /GrayImageDepth 8 /GrayImageMinDownsampleDepth 2 /GrayImageDownsampleThreshold 2.03333 /EncodeGrayImages true /GrayImageFilter /FlateEncode /AutoFilterGrayImages false /GrayImageAutoFilterStrategy /JPEG /GrayACSImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /GrayImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /JPEG2000GrayACSImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /JPEG2000GrayImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /AntiAliasMonoImages false /CropMonoImages true /MonoImageMinResolution 800 /MonoImageMinResolutionPolicy /Warning /DownsampleMonoImages true /MonoImageDownsampleType /Bicubic /MonoImageResolution 2400 /MonoImageDepth -1 /MonoImageDownsampleThreshold 1.50000 /EncodeMonoImages true /MonoImageFilter /CCITTFaxEncode /MonoImageDict << /K -1 >> /AllowPSXObjects false /CheckCompliance [ /PDFX3:2003 ] /PDFX1aCheck false /PDFX3Check false /PDFXCompliantPDFOnly false /PDFXNoTrimBoxError false /PDFXTrimBoxToMediaBoxOffset [ 0.00000 0.00000 0.00000 0.00000 ] /PDFXSetBleedBoxToMediaBox false /PDFXBleedBoxToTrimBoxOffset [ 0.00000 0.00000 0.00000 0.00000 ] /PDFXOutputIntentProfile (None) /PDFXOutputConditionIdentifier () /PDFXOutputCondition () /PDFXRegistryName () /PDFXTrapped /False /Description << /CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000500044004600206587686353ef901a8fc7684c976262535370673a548c002000700072006f006f00660065007200208fdb884c9ad88d2891cf62535370300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002> /CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef653ef5728684c9762537088686a5f548c002000700072006f006f00660065007200204e0a73725f979ad854c18cea7684521753706548679c300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002> /DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002000740069006c0020006b00760061006c00690074006500740073007500640073006b007200690076006e0069006e006700200065006c006c006500720020006b006f007200720065006b007400750072006c00e60073006e0069006e0067002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e> /ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f0073002000640065002000410064006f0062006500200050004400460020007000610072006100200063006f006e00730065006700750069007200200069006d0070007200650073006900f3006e002000640065002000630061006c006900640061006400200065006e00200069006d0070007200650073006f0072006100730020006400650020006500730063007200690074006f00720069006f00200079002000680065007200720061006d00690065006e00740061007300200064006500200063006f00720072006500630063006900f3006e002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e> /FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f00620065002000500044004600200070006f007500720020006400650073002000e90070007200650075007600650073002000650074002000640065007300200069006d007000720065007300730069006f006e00730020006400650020006800610075007400650020007100750061006c0069007400e90020007300750072002000640065007300200069006d007000720069006d0061006e0074006500730020006400650020006200750072006500610075002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e> /ITA <FEFF005500740069006c0069007a007a006100720065002000710075006500730074006500200069006d0070006f007300740061007a0069006f006e00690020007000650072002000630072006500610072006500200064006f00630075006d0065006e00740069002000410064006f006200650020005000440046002000700065007200200075006e00610020007300740061006d007000610020006400690020007100750061006c0069007400e00020007300750020007300740061006d00700061006e0074006900200065002000700072006f006f0066006500720020006400650073006b0074006f0070002e0020004900200064006f00630075006d0065006e007400690020005000440046002000630072006500610074006900200070006f00730073006f006e006f0020006500730073006500720065002000610070006500720074006900200063006f006e0020004100630072006f00620061007400200065002000410064006f00620065002000520065006100640065007200200035002e003000200065002000760065007200730069006f006e006900200073007500630063006500730073006900760065002e> /JPN <FEFF9ad854c18cea51fa529b7528002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e30593002537052376642306e753b8cea3092670059279650306b4fdd306430533068304c3067304d307e3059300230c730b930af30c830c330d730d730ea30f330bf3067306e53705237307e305f306f30d730eb30fc30d57528306b9069305730663044307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e30593002> /KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020b370c2a4d06cd0d10020d504b9b0d1300020bc0f0020ad50c815ae30c5d0c11c0020ace0d488c9c8b85c0020c778c1c4d560002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e> /NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken voor kwaliteitsafdrukken op desktopprinters en proofers. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.) /NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200066006f00720020007500740073006b00720069006600740020006100760020006800f800790020006b00760061006c00690074006500740020007000e500200062006f007200640073006b0072006900760065007200200065006c006c00650072002000700072006f006f006600650072002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002000730065006e006500720065002e> /PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f0062006500200050004400460020007000610072006100200069006d0070007200650073007300f5006500730020006400650020007100750061006c0069006400610064006500200065006d00200069006d00700072006500730073006f0072006100730020006400650073006b0074006f00700020006500200064006900730070006f00730069007400690076006f0073002000640065002000700072006f00760061002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e> /SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f0074002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a00610020006c0061006100640075006b006100730074006100200074007900f6007000f60079007400e400740075006c006f0073007400750073007400610020006a00610020007600650064006f007300740075007300740061002000760061007200740065006e002e00200020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e> /SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740020006600f600720020006b00760061006c00690074006500740073007500740073006b0072006900660074006500720020007000e5002000760061006e006c00690067006100200073006b0072006900760061007200650020006f006300680020006600f600720020006b006f007200720065006b007400750072002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e> /DEU <FEFF004a006f0062006f007000740069006f006e007300200066006f00720020004100630072006f006200610074002000440069007300740069006c006c0065007200200037002e000d00500072006f006400750063006500730020005000440046002000660069006c0065007300200077006800690063006800200061007200650020007500730065006400200066006f0072002000680069006700680020007100750061006c0069007400790020007000720069006e00740069006e0067002e000d0028006300290020003200300031003000200053007000720069006e006700650072002d005600650072006c0061006700200047006d006200480020> /ENU (Use these settings to create Adobe PDF documents for quality printing on desktop printers and proofers. Created PDF documents can be opened with Acrobat and Adobe Reader 5.0 and later.) >> /Namespace [ (Adobe) (Common) (1.0) ] /OtherNamespaces [ << /AsReaderSpreads false /CropImagesToFrames true /ErrorControl /WarnAndContinue /FlattenerIgnoreSpreadOverrides false /IncludeGuidesGrids false /IncludeNonPrinting false /IncludeSlug false /Namespace [ (Adobe) (InDesign) (4.0) ] /OmitPlacedBitmaps false /OmitPlacedEPS false /OmitPlacedPDF false /SimulateOverprint /Legacy >> << /AddBleedMarks false /AddColorBars false /AddCropMarks false /AddPageInfo false /AddRegMarks false /ConvertColors /NoConversion /DestinationProfileName () /DestinationProfileSelector /NA /Downsample16BitImages true /FlattenerPreset << /PresetSelector /MediumResolution >> /FormElements false /GenerateStructure true /IncludeBookmarks false /IncludeHyperlinks false /IncludeInteractive false /IncludeLayers false /IncludeProfiles true /MultimediaHandling /UseObjectSettings /Namespace [ (Adobe) (CreativeSuite) (2.0) ] /PDFXOutputIntentProfileSelector /NA /PreserveEditing true /UntaggedCMYKHandling /LeaveUntagged /UntaggedRGBHandling /LeaveUntagged /UseDocumentBleed false >> ] >> setdistillerparams << /HWResolution [2400 2400] /PageSize [2834.646 2834.646] >> setpagedevice