Исследования доменно-ключевой схемы реляционной базы данных
У рамках запропонованого нового підходу до синтезу ДКНФ-схеми БД для довільної предметної області проведено аналіз деяких публікацій, що підлягають критиці. Проведено детальне порівняння різних аномалій в схемах БД, а також порівняння різних підходів до проектування схем і співпадання каркасного мет...
Збережено в:
| Дата: | 2012 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/84171 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Исследования доменно-ключевой схемы реляционной базы данных / Б.Е. Панченко // Кибернетика и системный анализ. — 2012. — Т. 48, № 6. — С. 157-172. — Бібліогр.: 32 назв. — рос. |
Репозитарії
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
|