автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.17, диссертация на тему:Исследование и разработка математических методов и программно-алгоритмических средств анализа реляционных моделей баз данных и знаний

rrn од

Дораавний ун1В8роитет "Льз1всыш пая 1 tomiza"

на правах рукопису Ш 681.3

ÍIaci4HHK Володвмяр Володимнрович досл1джнтя та гоеговка матеиатичних »жтодга i

ПГОГРАИ^АЛГОРИПНЧННХ 3AC06ÏB Alunizar РЕЛЯДГЙгЛХ МОДЕЛЕЙ раз ДАНИХ та эсмнь

Спгцхальнiсть 05.13.17 Тооретичн! основи 1нформатики

Автореферат ОисеркщИ' на эдсуЗуитя вченоео ступегя доктора. тетнЫних тун

KHIM 1393

РоСота шконана в дирзЕшому .ун1в8рситет1 "Лъвптська полIтехника"

Науковий консультант: чл.-кор. АН Украл ни, д.ф.-м.н., профессор Стогн 1й Акатшпй Олексацдрович.

0ф1ц1йн1 опонента: д.ф.-м.н..проф. Г.Г.Цегвлнк

д.т.н.,проф. В.В.Олекеандров

д.т.н..проф. В.М.&ихайлэнке

ПровIдна оргашуац!я - 1нститут программах систем пауково-технIчного комплексу "Гнстетут кЮернотахи 1м. В.М. ГАушкова" АН Укрални (ы.Кшв)

Захнст в1дбудвться " 11" С/ ЧН 1994 р. об год.

1а зас1данн! Сп91иал1зов&сЮ1 Ради ..Д 166.01.0! в шститут1 првглэдно! лвфорыатюш (1ПРХН) за адресов: 252С04, м. Кшв, вул. Червоноарм1йська 23-6.

3 дйсертац!ею мота ознайомитнсь в бЮл1отец1 1нстЕтуту пришэдноК 1нформатики.

Автореферат роз!сланий

"Ь" гру^+ЦК 1993 р.

Вчанкй секретар - Мэлвнтьев Г.Б.

Сиец1аЛ1зовано1 Рада Д 166.01.01

ЗАГМЬНА IA?AX?S~':rmA РОБОТИ

ВСТУП. ЙГрГВЗДГИлП'! в повошдэнну првктапу пЭИИХ 1пформац1йпЗ: техЕМСПЛ, зростпзня рол1 1Еформ;?Щйгак росурс.в дэрзавя в процэо! II угззр^тання лк ноЕЗодравзого участка ■.«»'¿народного спИггоэзраства, формувзнкя зоц1оньльши ¡кфоркагийялх ifogaiB, повноте 1 кк!с?ь якш в эначн1й Mipí хврактэргзупъ про р1вень ?ехноог1чж>го розвитку краКга, стебить пэрвд молодой Укра I rclkoíí дареавов валгк! сяндання по ектавяогяу проведена») каукош-гаа }чноJ пэл1тгкн. ор1внтоваяо1 пп iiataoblmí досягнышя з 1н5оркатичн1й галузК

ОБУКТ ДОСВДИЕИНЯ. 0дя1ев з ф/ВД8ММ1тэлыгуг компонент сучэснат íníopMauiflHBX ко»£''»*гернйх систэм вистуиккггь систежг оаз да них, як i в1д1граю?ь роль ньйц1нн1шогс; и 1 нтеликтуальясчу шшн1, продукту, як1сть t повнотэ яко:« дозволяв {йксуввти р?вечь практично! ц1нпос?1 Еказоетх састви в ц{лому. Серод широко; наукою! проблематики систем баз датах одт ¿ ч!лымх м1сць пос1дз? пробяжа моделей даннх. 0б"зктсм доаШдтонь в дасортпцП шступаоть рэлядМгн! модэл! дашх. Шаля онубли^ванля и IWO род! робота Едкарда Кодда, присвячвно! аалрогадо иго pejimiiíbíc » модел! дрнст, 1нтерос дрсд1днзк1в до остчпныл. як д-,- адожятного «жтбматпчноро формал;.з.^-, яхей вдэло опизу» с истему ría:i дших тс процзсн, QO в Hlñ в1дбуваяться, НЭВПШПЮ Ip'CTD. ría ствврдазугагн, щр гкшулярн!сть рвляЩйжго щдаду за -,па Д9сягнл1ття актавнах поиукошп роб!т, а також чч-п,мх прлчкс,. i

проект 1е по Ёого практгачяоиу кгаторьстакгш пэреходала часон в спэцвфКоу форму науковоК "мода" в облвст! моделяаання дыггх та Ннн!шн!А стая справ в обжег! раяяц!Аних шдадаЯ баз данях мохна охарактернзузэти. як планом)р^ та широко^сштабда и освоения науковцямк та широким загалом грактпкиз.

ПРЕДМЕТ ДОСЛДМЛЪ. Пров1вей глибокий анал13 пусШкащй б облает! раляд12шы «»долей данах (аяал]з яроводався по роботах аа пер 1 од 20-та ¿¡{таи дисд!дае!1ь), мохда вадиштн ряд изирнмк!г:, напколо якш груггу1УУШ'-э 1нтереси досл1дник1в, а сама:

- нив! математичн! $ормал1злщ. як! оаисуать розширення клэсячжп роляц1Шю1 1&>дел1 данях для нэтрадац1йяих застосувань;

актавн! спроби побудош концвпЩй узагалыдаяст тыри мододюваяня систем баз даши не ocнopí рвляц1йних формул1зм!в;

- роэробкв нобих мов огшеу тг мыппулювання реляц/йшаи базами да них, як1 б дозволим орган!зувяти 1нтвл0ктуалъкь3 друян18 1нтврфэЯс користувача (прсектувальника) з врахувй.чням ризшрен:.-по талях данах;

1итограц!я реляц!йних СУБД з сиотвчаш лоИчяого таогромупання, пврех!д до дедуктзвних баз да ¿ж;;

- розробкя програмно-адаратшх комплекс 1в шдтршад рэляц!3них Оаз давих (рвляц12н! нашют»;

- евтокв тизовав! 1нструм?нтвльа1 зэсоби преектувгнкя ои< я»и рвляц13ни1 баз данах, розробка новлх квтодик проектування;

- деслЦеюкяя иовнах систем залежностей даних, внел(з з:иэжностей >? рвляц!йнгх базах данах як ода!в! з можливих форм представления

зпань:

- широкий шп1д т рянок прошоловаж програмзнг продет? 1з таи? СУБЛ та 1Нтог,х)вааих пакета, як! бвэуияься лй рэя^йгому ПНДГУ;!.

Пр&д^т дасвртац1йшх досл!дань долягяе в ровроСц! котзз котод!в та з»соб$в ангшлу реляц18ни* код&лэй баз дата: та зззяь, широкому впроЕядвэна! в прогагсж>в1ств та учбошй процэс о^эрзапзж теоретнчша та пракппшяг рэзультат1в. дисертвЩЯнв р.-бота прасютена:

- рооробц! ♦ новому застосувзшго катекятачках форйад1зч/в, як! дозволяють глийше { поваре в!добраяата суть прсцгс!о, яге! в!дбуи8ються ^ счете,маг рэляц1Шгас Зяз давше, во<шяаючЕ з!д стану 1пфорла'д1йкого моделшання лроОлешо! обяяст! 1 зйг.;.нчугча станом фушщЮнуваяня копхрэтпих 1Ефор«ац1йпах сзстэи, гобудоЕанзз на роляц!йшпс принципах, вклетавча этапа иэрвоц1нха, ряотруктургоацП в счетам} баз данях 1 12 ошвяэаого представления;

- програшо-адгоритм 1 чпему лаквтувзшш гчзначенях гадэ процэс {в з кэтою в!дпр1'тиваная пролислово-слачгшх та технолог 1чшх р'шваь ш вдосконалэнно юзувда; систем, знвчнта^у розшренню ¡1 фупкд 1 овьдьям шг.т«Еостеа (обробка тзп!в данях, як1 явно из вяд1яя1иься л\ "клвенчяону" Коддовському ШДЯ.ОД) Д) моделззвання састэм рэляц1йних баз данпх);

- резробц! та промисловому впровадаенвж» низкого огоктру 1в$ормац1йних систем р1знвх классе, «х! Зас-ушъся на '»©орэтпчап результатах дасертацШзих дрсл1да»нь I дэзволявп. адекватно

Б1д32ги c?yniHb прозрачно! J2 ц}Е2оот1 тд вклзненяя IX В форг.1} Е1дпов1даЕХ kohusskcIb .татоднчнюс рсзройок та роздШв курс id ЗПбовах даовддл1н "Бази та бенки дэних 1 знань", "Светили штучного tнтьлъкту " Í Т.Д., Е}С в бВЗОШМЯ В планах шдг-отовкп СП0Д1ал1СТ1В В ОбЛ8СТ1 1ЕфЗрМ8ТИКН HOEOÍ xbhjlt.

¿КТУАЛЬНТОТЬ ТА 1СТ0Р1Я ПРОБЛЕМИ. Попу.'хЯрн1сть реляЩЕшго ai.45оду т коаолшазня сяотем баз дапх поясняться дак1лькома црнчкяаит*:

по-пэрио, глибокою мзтемаотсюш crporlcw) формшг!ям.(в та ида£02) систошв Í5 1ктарлретац11 в проблзматкц! систем баз данкх;

по-друге; 8ручн1стю 1нтэрф;-2с1|3 корпстумч!в (аформацМБшх систем, ■ як! баэудться на рзля;д12нпх принципах;

гго-трэте, у.ч i верпа льн j сто реляЩЕкиг предстоалвнь, як! гф2рода1м чнгом дозболяоть ¡ктегрувэтв в загалъноку вишдку Ыднононнл pi3HosiaHtTHoI природа тч ваутр1лн!х характеристик.

Всдаочас з цет сдЗд в!дзнгчнтЕ рад пробльм, як! не одерналп iia шш!ш15 дэн!» прпй1лгио1'о вир!шогая, то в свою чэргу звуаув «Jupa застосування реляц12ного гПддоду, кк фундаментального принципу модолювепня в систэяах баз да них та' знаяь. Зокрека цо ютеннк

- представления та яэяшулвзлчня мяоешмкми значошимн в и{дьшмшях баз дацих:

- яродстш>ч]';| та т?тулшатк в сготг.дах раняцЦЫих баз даних ночiткима, роз.лмтими та пустою знэчокнями;

- лвадгчг:,! в зщкдаешь ршшЩйнйа баз даши чесоглго

б

атрибута 1 оСробкв параметра "час" в рздяц12ни£ вгрззах; - форр^ьсЕЯЯ (проехтувашл) адакватнах «до&тазДО облает! !Еформац!йззх мсделвй в рвлшЦйнШ форм!, в яка« щ^о^зотаь >Ш вкэзаш ^¿гпрення ялаг.нояо! рышц!йноГ тдэл! данях.

Актуальн1сть дагсертэгиЕшп яосл1дань прямо поз"язана з розробкою п!дход!в до шрШэшп нказеяах яро^м.

Поряд з цям, сл!д особлнво 2ад1лати £хтуалш!сть прикдвдяого аспекту ярсл1д?»нь, якяй вигшшьз з звобх'даост! широкомасштабного запровадзвннл в ир&г.тику с творения . с/чзсшп 1нфоржц!яних систем нов1тн!х теоретичных досягн&нь в рэляц!йн!3 теорП систем бгз даэих та знань, до розинрвз сгажтр &астосувааь I п!дващу« ефектавн!ст1. в1дпов1днкх систем на практнц!.

Нэ остчннг ы!сце в оц1нц! значиают! (етгуольшстО робота вШграв«» шггвнкя някорастеная рэоульта^в ^¿хШдавнь в учбсвса? ироцвс! пра п1дготовц1 студенев та а;л1рая?1в в облает! сгсяш баг дахшх та знань.

Р!льш як двадцятал1*ня Лотср1я досл!да»т» »а розрсбок в облает! релящйних Саз данах представлена як роботами звруб!хгаас, так ! укра^яеьккх вчангх.

Серод в!тчазшшаи сл4д осоодяьо вадЮТга робота КиХвсько! 1н$юрмет]тчго1 пкоди алэдвм1ка В.И.Гдушкова, якай в своКх останн!х роботах та н 1 дсуиково--прогнозна лвдаиях, котр! в}н прочитав в Кя1воькои> 1нститу»1 к1бэряотн!ш е 1981 рсц1, глнбоко проанал!зував стан досл1даэнь та гврспвктиБЯ розвитку рэляц}йяого Шдходу до моделювання систем баз данях.

Взвчротя иэтер{али розробга проекту АСУП "Льв1в" (60-т!

роки), язеЗ зд13сншаБСЯ Шд вого на у ковам квргвннцтвом, мо*аа ч!тко нросл!дкуватк появу перших явних озн8к алгебра1чаого Шдхояу до юдалзввкня дзвих в вигляд! так звано! "алгебри фа£л1р".

Сучаск1 доел!детння в облает! систем реяяшйних баз даних та рбЛЯЩЙНОГО ШД8Л1К8ЯНЯ ПроДМВТЯИХ об гжтвй актгпзо ввдуться в наукових школах, як! очолшться член-корр. АН УкраГш те РАН

A.О.Стогн!ем, член-корр. АН Укра1ни ФЛ.Авдоном, профосором Д.Н.Редькоы.

Зьгом! результата в ц!Р облает! представлен! в роботах укра!нсышх вчених й.1.Бро;л>', 1.В.Бесараба, В.О.Резн!ченка, КП.Крааэренхй, В.П.ДроОшпввв.

Сарэд роб!т вчених Рос!! сл/д эгадатж досл1дя»шя, вакозан! в обльет! реляШЯних моделей даних професорами Л.А.КалтнХченко,

B.В.Александровым, Н.Ш.Цаленко.

Пэревдхкв б1льш!сть приор!тот!в по нов!та!х результатах досл!даень ь облает! реляц!йяого п!дходу та використааня його на практиц! яалвшчъ УоруО!аним вченим. Зок;оемв сл!д в1дзначяти дрсл!даення, як! провели Е.Кодд, Р.Ф&йдкие, В.Ульман, Д.Мейер, К.Долооель. К.£!рр1, П.Еэрнштейн, К.Дейт, Я.Деметрович, Я.КомОаяш!, А.Мендельсон, И.Школ, С.Осборн, И.Свйдкжз, П.Юн1дт, К.ЗанЮлс.

Ь£йОДЙ ДОСДГДЕЕНЬ. В процес! проведения дасертацШгах досл!д8энь внкориотовувались метода формально! алгебри, теорл систем, булево!: алгебри та К-значнйх лог1к, чеетково-визя<?чеяих

булевзх фу над! й та ix систем, формально? теорН гюрнюго порадху, Teopii гмдаошень та прэдакатЮ, комбтаторшш, Toeptí граф-в, шч1тки.т MHOiw та твор!!' мовливостей, як! звстосовувадись днсертзнтом до вир!шешя проблем, цо вивикагаъ в твсрП та практщ! роляЩйного п!део^ до 1нформад!йаого моделетэвня првдмотних областей, формувэння рзляШйних без даних, Ks «ашвнення та' ефективного внкористання !вформятийних систем, побудозаиих на р&И1*!Янш: прянцшвх.

На про^яз! вслго циклу досд!дкеяь за пропозяц!вв неукового консультанта по дисертац1йн!й робот! член-корр. АН У;граУш Стогн!я А.О. га Брони П.1. автором сум!спо з Продашжом U.M. та Берном A.C. розроблялись та яхтялно ввкористовувались cepalca! комп"этьрн! !нфорчйц1йз! система та база данах "Терм1нашг!чгай словник предаетноК облает! система баз данчх та знпнь", "Анотсвакв б!бл!ограф!я по проблем! - реляЩСя! модел! баз данях те знань", "Науково-досл!дн! робота та проекта по проблем! -реляЩйп! моцел! баз данах" та !н., що дозволило знэчно покрвндати !нформац!8но-методолог1чне середовищв розробок дясертанта I зпайшго в!даов!днэ в!добрая®ннл в публ1кац!ях 1 вяровадзевнж яа практач! в ряд! науково-досл!днгх оргйя!зоц!К, зокрека <1нстатут к!бернетжш !м.З.И.Глупкова АН УкраКни, м.КиУв; СКТБ 1нформ8Д!йншг систем !нституту матер 1&лознавства АН УкраIm. м.КМв; Ф1зико-механ1чному !нститут! АН Украшая, м.Льв1в; Гнститут! автоматики т?- обчисушвальш» техниси Угореько? АН. «.Будапешт). Ц! досл!дклшя в првдавтом дасертац!йно1 робота Проданкка М.М.

МЕТА ДЕИКРШЩ. Досл1д£Беня, як, дроводашсь, га пауков! розробка, вр вцровддац'вшшсь у прокасловгси» дисертантоа протягом 1Б роя!з (Г//8-1932), буда пов"язан1 з досягеззшш тают чотарыж гшутр1[ЯНЬо шв"йааннх 1 глубоко 1ят8гровашк д{лэй:

- розробка новях теорэтотлях п1дход1в та кзтод|в ан&шу рад>:ц}ЁакЕ ¡аэделв£ баз данях та знаяь;

- розробка мвтематачних та програмво-алгорзтШчшх засоб!в, що розширпатА класизн! р&вщИЗя! прадстевлэнкя в ироцвсвх ¡в?оркьд1йю1-о юдалшання преддетних областей та ствсранвя

сзстек р!зннх клаОв, що базуг^ься не реляц12воку

тдгод!;

пирокэ »хфовадвэння в прошсмов1сгь рэзудьтэт!в тесроиншк дрсл1дз»нь дисвртвнтБ у вяглад! йонкретнст 114ормац1ВаЕХ систем та кстаГютершлс жрев на осноз! систем роляцИнзк баз данах;

- дрэктвчаь шкористання э навчальному продес! кюретпчних 1 пршшдази рэзультат!» доктореькиж дасортацЛшзг досл*де>нь п!д чес фэриуваяня комплекс1в кэтодачяого забеапэчвння диецпшки "Бван 1 банки двшп та ззвяь" для студент »в та осп!ракт}в в!даэв1дагх спэШазькосгеа.

В целому, мэгол дисвртац»йж>Х робота в - розробка та широко ьлроваджэязя влаи е»|экткадиг иатематушкх штс>л1в ва дрогрга!во-йдрорятм1чаиз: засоб{в авал!зу ;аляц!йвгх ш^мтей баз даннх та анвыь.

Ю

ОСНОВШ РЕЗУЛЬТАТИ. В ^сэртац! * азтсроа Еакладавться, обгрунтовуюгься та винсоиться на загнет так! основы! результата. В теоретичному шшн! даевртрнтом:

- розроблэно нов! ие?ода енал1зу ?.хем редяШЗнет Яэз даяет з використанжм апаре.'у частково-вазначеншг булввзп фуикщй; -розроблено методика прсактувоння систеа редяШЙнил баз данах з розшрвяаш р9ляц13ачми црадставлэнняют данях (неяорыай!зован! в!дношення, в1дяошвнгл з оустамн те нвч1ткзми значеншга, в!доошення з часовая атрибутом в схам!);

- зопропеноваяа нова 1ктврлретяц1ч залэгаостей дани, як споцяф!чно£ форма знеяь мвтвбвзи, та резроблин! основа 1х рчкористання у вказан!й якост! в СУБД/За;

- запроггоновал! формал!зма огшеу реляц1йши прэдетавлэнь даты у в1дношэ.1яях (гонормал!зован!, розшт!, пуст! значения), я твкоз ь.лгббра17н1 засобн 1х ооробка;

звпропотрван! узйгальнвяня правил введения юш тзп!в залежностей даявх та формування критгрИв провктуваяня схем реляц!йних баз данах у вигляд! нових тип1в горкальних форм рэляц!йнах моделей бая данях.

В прикладному план! дасертантом:

- розроблен! програмно-алгорктм1чн1 какетя та модел!, як! реал1зують основа! вимогн запропояованых дасертантом методах проектування схем рвляЩйких Саз да них з в!даов1лнйма розширешшш;

розроблен! та широко впровадаен! у иромяслов1сть програмко-алгорит^чн! модул! резширення $уакц!ональниг

моаинвостей систем родяц!й?нх баз данах, як! дозволяють црэдстшштк те мангнулгвати в рвляц1йних базах даних а зриормал 1 зов&гимя в1дЕошенняш, пустамв тя розмитимя (неч!«сихи) гяачэаняма, часовая атрзбутоы;

- рггроблш! те впровадаэн! в упбовий процво ксишшкса иетодачних катэр1ал1в по винчению та пэрактнчному освоении окрэиях розд!л1в кур^у "Бозн та банки даних ! зввнь" в частая! "Рвляц1Ян! модэл! брэ данях".

НА.ТКОРА НОЗИЗНА. В дасер?ац1'/ авторот розглянут! та запропоаовен! нов) нотрадац!8н! подходе, як! дозволять рсзстриги "класичну" реляцШау модель данах з кэтов представления те обробхн э ршшц1£н!£ форе! "пуотих", рознили (нэт!тхих) значень, ионормал! зоважх в1даошо:!ь (з!дЕотеш> а гн!здув«нкям).

Пршцшюво нотам в зааропоговашй метод анал!зу схем релщШнах баз дгаих э внкориетяншяк вшрэту частиово-визвачеяих булввях функц1В, щр дав змогу адекватно модвлтаата процесн роз*агку та реструктуризуй!) 1я£с>рм8ц1йннх моделей предмэтнвх областей.

Дасор^пагом эапродоковазо розглядати сгстаки залежностей датах, як СЕотемэ 1и$орюац1йних !ывар!ант!в моделей яредаеиэх оОсастей э чаоогам пераь!етром. щр дав зкогу модеддаатв повний аютввкЗ цикл предстЕЕЦвнзя схем рвляцШявх без данях.

йлэров зацродаковашЭ актором метод кроектуээння схем раляц!йзнх баз даних дэк!лькомв проектувальниками на основ I сиотэме частаово-визначених булевих функц!» дозволяв йудувзти

ефекташ! процедура синтезу вгарстар4чнах схем те роав"язання KoabniKTHHX сптуад1й в продесах фррмування 1д1ор*а'д1Йннх иоделвв првдааттах областей sa ocroet редяЦЯшго пКдходу.

Запрододеваяий eyntero з Зрогою ял. мэтод ьакорготангя К-зяачяих лзг1к до анаа!зу tBjDjwaitffiHDro наповнвння рвляц1Шшх бея данях (1н?онц1ональниа р!вень иредставагяь) дозволяв будувата нжраэи 1и$ормац1®ш£>; !нзар1гат!в для axe» рвляц<£зях баз даянх, roí MíowTCb "пуст!" знччення.

Автором дввться алгебраИчне тректуваян* сшггэми реляц10нзх баз двяйх. як алгебре^чно! снстекн s адзкватазм звааачввням в oCTBHHia. система предое*-4 та onepaqlS над в{даов1д1Ш» 1нфоркац1Яаям бг-охсои.

ЗргЧ5лвн1 узагвльнэння булввгх предстЕМвнь окрешх адас1в евкш валвшоетей в редяц1йних базах данях.

Дисартантом на осэоЫ значного фактичного матер!агу було ироанал1зсзано к-тчси залокност&й релячОнгс модадэа та типа юрн&яьаах '.fojía с^эи родяШйнях баз даьзх t зроблвн1 нисэошш та оСгрунтован! прогзози по новях результатах в облает} рвдчЩйнэх мэдрлай. Узагвльнвн! правила зазнвченяя зоеях mbcíb заввягостеВ данях чероэ структуру взавмасго сп1вэ1дношвнря олвменПв данях в кортежах в1даипень та зобудовя певнях систем правил зиэо.ту. Зроблвяо вясяовгж дро доц1льн1сть вввданая в процревх тровхтувакня рвяяц13нях баз данях "седантвгчно значямях" залежяоотей. Була побудоввно узагальшнча exeus rmta норавльнзх' фор«, a TeeptD норкая!а£цП б/до заггротновазо розглядата, як двецишйну проектуванвя схем редяц(Аввх без да них, полезен!

Шдхода др побудовд ваша тап1в яоркальних фо^ч на осяов! вазначвнЕЯ нотах клас!в засеЕЯостей.

АныНэуети класи зд.глшостей дангх в рйляц!Ёвях шдэлях було •¿мшрошноваво розглядать залаянос*!, як сяэдаф'чну фо»«у представления зяань про прсблэмау область. Эокрома иро1люетровша иоалнэ1сть представлзння в форм! продул.1йних правая основных клас!в се «антично значимих з&пвхностев двних. ТакиЭ п!дх!д мака зноЕти свое застосування в дабудов! кетабаз данкх/ззань, як! дозволяла б ядькзатно виобрекати даней!ку систешг !нформац{2шх !нвар1ант1в, що жарактеризують модель проблемно* область

Нов! результата були одеряан! в облает! ненормальюванах реляц!йннх моделей Саз даних. Зокремэ розроблений алгебра1чыгй базис оперэцШ над в!днои1>ншии з гя1здуианням. Створен! преграмда-алгоратм!чн 1 шдул! вадбудови няд реляц!йними СУБД, як! дозволять проестувальнаку предсте&етти та користувзчу манИцглввати в1дпов1даимн роляц!йними структурами.

йначве увага була лрид!лвиа розширенням ¡лосичво! Коддэвсько* реляц!йжи модел! на ¡яшадок представления та обробкк пусти та неч1тквх значень в в!днопеннях. Зокрека для анал!зу в1ддоиень з пустотами було запроаоновано- та обпрунтоаано вшюрнс/ання апарату К-значннх лог!к, а у вшадау з неч1ткостямя викорнстанна апарат теорИ моаливостой.

Прово дячи анал!з ситуаЩй, лк! ваникаить в процесах модэлпвяння систем 1нформатд!йнга 1нвср!апт1ь про0.ярмнюс областей, днеертантом був розглянутй» випадок динам {что! реструктуризуй схем реляШЯних баз даних а врахуванням параметру час.

Провнал1зован1 вшгадкп ивдзлшагяя часового фактор?, гж oOBHiciboi коипонентк, тек 1 шуфЮхдалного Soro ttpssc^sBx^iara. Досл1десн1 ироцэсн рэ>\л1зац!1 алгебрэКчнж опэрзцШ езд в!дноиешйзяа й якгг явно сэдзеться атрзбу? час.

ПРАКТИЧНА ЩШГСТЬ. Десертац!я ■ вуз® гаходззз в русл! досл1даевь, як! проводажсь дгсортантои в napios г, 1ЭТВ да IS33 pp. на кафадр! -^Автоиатазован! систеш улравл1ЕНЯп &»э1всьзого пол!тэхн!чвого !нституту в ЩЦ-62 (1ш£эдрз АСУ), НДй-45 (обчислзкшгьнка центр ЛИ), СПК£ ЛП1 та Проектвочсокструкторському об'едтанн! **Пол!тэ:ш!;са", а тажз НШ "Каскад" по зашвленнях ДКНТ, KfHicTopcras ocBtra УкраКш» 1кстктуту к1бврз©тшш т.В.Н.Глушкова АН УкрзХпп, CRTS !Ефоршц1йт» систем iHGTsryry проблш тор {алсзнавстг-э АН Укра1нк, Ф$35ко-и9Х8н!чвого 1нста?уту АН УкраКкя, Карпатпького в!дд!леЕЯЯ $нс?Етуту геоф1зикя АН Уйрагня, Егробнзчпз оСздзэвь "гЬол(рпром". "Пявсзивсфур^турь'",

"Л?;з!вт9Ш1окомунвпэргс", Ворлсльвсько'1 фабрики Еотазншс П8тэр!ал!в, Дрогобацысого аетокранового г-аводу 1 т.д. Шд науковгм кэр!зшщтвом дясертанта з безпосерэдньоа його участа го тем! дясертатд1йнтс дрсл1дг8нь в Яьв!вському гол1тэхн!чеог«у 1нстагут! було виконаш б!лыз як 30 д!льошг завдань то даргавнях прсгрдаах, зашвлвнь взроСнячиз об"злназп>, п1зд?Е®5ста та сргашзац!й по темах:

- Рлзшреняя технолог!i систем рэлжЦйшгх баз даниг та знань, Завданчя 1.1 Л. КП НТП FEB. Розд!л "Елвкт1ХЖ}зац!яп

(ISSS-I990pp.). Poj.oBHa о»к'ш1зац1я - HBO "Центрпрогремсчстем", а.Твар.

- 1нтерпрэтац1я систем баз дзних та ззакь на основ i реляцНЗнзх моделей. Завдання 1.2.2. КП НТЛ РЕВ. РоздЬ? яЕлектрон1зац!я" (1988-1993рр.). Головна орган1звц1я - Ii: статут проблэм сэродач! «ш&эркаци, м.Ноские.

- Розробха 1нструкеатаяьнах експертних систем лроактуваная баз хввих тв знэнь. ЗьЕДавая 1.Г..7. КП НГП РЕВ. Розд1л "Елпктрон 1 за;;!я" (196я-1990pp.). Голобнр оргаШолЩя - Хастагут к!б«рнвтшш 1к.В.М.Глушкова АН Укразни, m.Kbib.

- Розробка та введений в експлуатац1в методики i програиннх засоб!в експэртнззг систем оедэнкя баз знань та вводдяыя в о!'.сцлуотац1а макета ексзертно! с-иствми на приклад! конкретней облает! знань. Завдання 02.I7.ri программ ДКНТ "Обчислсвальна ?*>лв1ка". Розд1л 0.80.01 (1986-1988рр.). Головна орган!залiя -HJO "Цэггтрпрогра^сйстем", м Твэр.

- Розробка те введэндя в еяеддуаищ!» ирограаного макотз (шдел!} ыаэшш баз дани. (Прогрямшй мр-.от процесора дл! нечгтко! риллцН1ж>1 алгебри). Заедания 02.19.II прогргш ДКНТ "ООчпсдгэальнв техн)ка". Розд1л 0.80.01 (1У8.е-1988рр.). Головна орГ£ш1зсц!я - 1нститут проблем tajopioimai, м.Москва.

- розроб;« сз»сгема комплексноi автойотизащ i те 1нфораац1Йного вебэзаечекня л1агв1сткчнш ааукових досл!даэвь та идеждаях розробок. Програнний макет ■тэрм!нолог!чно1 вкоюртнен системи по системах баз дани та ззшь. Завдання 06.01 щюграш ДКНТ роэди 0.80.18 та АН "Створите дергавну автоматлзовану систему

¡муке со - те jk i чио т lafopasami" (I98€-I330pp.). Голозэдз 0рган!сяц1я

- институт pocificLKOi мози, ы.Иосява.

- Розробка яауковгя основ побудсвз тшювих баз знань дяя вир!шевня задат ихвяувапая та упраал!ння. Зэвдання 02.01,01. прогреми "КЮврнежа* дн УкраКкя та Шнвузу fttpaiEa (1986-Г99Срр.).

- Гозробкэ штодолегII створенни ковках г»асоб1в к!кцэшх корЕстув8ч1в, як1 забезпочуоть |;1алогову теанслог!ю робота фунхц!ональаих с,пуяб при вир!шенн1 задач иланування та управл!ння '»комплекс модэлюючих програм та мэтодячн! гэкодавдацП). Заздання 02.02.02. програш "Ktfзрчвтю-;а" АН Укранот та Шввузу Укрэ^ш (1986-1?Э0рр./.

- Розробка тооретвчних проблем представления та iHTei'paiU У баз знань в сорвдовсщ внет-.юпродуктавнш багатопроцэоорних ЕОМ та локальних морэз пэрсоналышх ЕОМ (комплекс модвлмдцц прогриа то кэтодачн! рексдандац!*). Багдаяня СЙ.СЗ.О2, црогрьа! "К!бернеттэ" АН УкраУнл та Шнвузу УкраКнн (1986-1990рр.).

- РелжЦйн! модел! баз дапнх та знань. 1нтег-рац1я систем баз данах 1 знань на ociroDt реляцЮннх шделей. Роьшзряот! технологи систем баз даних 1 здань. }63. По прогрич! Шнвузу УкраКнз, налзг N9-2-10 в!Д 10.02.88, 1988-199С1рр.

Створення врогрзмао-матомитгчного комплексу рэзшврэшя ®гнкц»энадьнзх нояливостей систем без данах та знань реляц!2з©го талу на основ! ппарату яетрадац{Ёшн лог!к. По програм! Ы1н!о?ерс?ва осв!ун Укра^ни, заказ N 78 в!д 31.03.91.

- Розробка та енал!з кетьд!в ! засоб!з оброчки кэноркал1зон5Еиг

p&EUtffinex Саз даст: va вами. (роеробка досл1дпого прототипу СУБД на ocsosl poBsspsoï Еззоризлtсованоï роляцлЕно! кодел! даних). Таив по завданаз Шн1стерствв осв!гл Украина ДБ/62.92, наказ в!д 27.12.91.

Розробко та введения в експлуатец!» у^ориац1Ёно-т&пакомун1кац1йно* шрег! Дьв t вського пол!техз!чного !петитуту те Д.л1вського вуз i вського вуляа на основ! розпод!лэнта баз даних tl Bsxogf в к!гаарода! Kotsnnmspst nspssí. Тепа по зэвданнл У!а!стерства освк-и УкраУни ДБ/82.та, 1992р.

- Досл1даедяя та розробка окрешх кокгкзэЕт!в вкспергно! системы автоыатЕзоЕашго проактувазня ролядШних баз даних. По замовлэнда Гнстатуту кИ(эрвэтшся' !м.В.М.Глуш;ова, m.Khïb. (1935-1988рр. ).

- Розробко та дрсл!даення модул!в ькслэртно! системи проектування {шшц!£шх баз даних та знавь. По закоаленно СКТБ lnJopfianißHaz систем 1нстятуту проблем *зтер !алотаавства АН Укра!на, m.Keïb. (ISß6-I987pp.).

- Розробка o^BtisHTiB автоматкзовано* система обробкн баз давкг та зшшь реляц1йш]ч» тшу на основ! пероональшпг ЕОУ профес!йного класу. По ро:;овлвшш Р!вюпського сОлаоного rocni7ajm !нвал!д!в Вэлж<о! В!тчззняж>1 в!йни. (1389-1992рр. ).

- Дэсл1двоння та розробка giskbhtíb систокг обробхн давзх на баз! ГЕОМ професЮдого класу з ор1ентац!вю на СУБД р&ляг.хЕаого типу. По зажзвлэнив ВС "Св1точ", м.Льв!в (I989-I9S2pp.).

- Розробка автшятвэовано! 1вфоришц1ЯноУ онстеш дач паукового напрякху "Одвор!дп! обчислшь-ши середошща та систол i ча i структура". По замовлэнню Ф1 зико-кэхан ! чкого !нституту АН

Id

Украхпи, М..Тьз!в (1988-1989рр.}.

- Розробка камшксу АГШэ на основ! ПЕОМ для автоьгвтЕзацП процвс1в орган1з«ц! йзо - эконом 1 чпого управл!ння з ор!дагац{в8 на СУБД раяяц}йного тану. По заковленню ЛВО "Пластмасфурн!турз", м.Льв!в (199С-1991рр.).

- Розробка састыэ реляц!йпих без дяшп комплексу аРУ1в на баз! локально! глареж! "ОМ профес!йного класу для автоматизад!! продос1в орган1зац1йно-еконошчного ущмвл!ння на Бориславськ1й фабриц! нэтканих матери»!?ч. Замовазт - Борислаы.ька фобрнка нетканих материал! >. м.Борислар, 1992р.

- Розробка та впровадг^ння комплексу АРШв опвц1ел1от1в па осное-систем реляц!Янлх без дангах з викоргстанняа Р0/1ВМ/АТ. Заиоввяк -Завод Л 7Б9, м.Льв1е, 1992р.

- Розробка та шровадаення автоматазоваш! !р4орм8ц!2Но! сгсгааз орган1зецгйно-економ1чного управл1ння заводом на оаз! лскааъао! ?*врек1 ПЕСИ 12Ч/РС/ХТ/А? э внхоргстенням ралйц!йзого п!даоду. Зашми: - Зево^ нерам!чних ст!нозих вгросШ., м.1ваго-Франк!вськ, 1991-1992 рр.

Розробка 1 впровадавння лрограмво-апаратяого комплексу локально! обчнс овально! керез! з систеков реляЩйннх баз данях. Заковшк; - Центральна .гМквряя Льв!всмя>! йал{зняц!, ч.ЛыНв, 1992р.

- Розробка та впровадавння рдтомэтазовано! 1и5ормац!2ш'1 система обл!ково-розрахувкового гшу на баз! ПЕШ 1БМ/Р0/АТ. Зашв1шс -СдэськиЗ гагел'рний завод, 1991-1992рр.

к- УТЬТА'У! ЕГиСГ.ЩаП в !в5ормац!!5них системах

орган1зац1 й:о-€Кином 1 чного управл!ння, дов1даово-!нформац!йн2Х системах , 1 нтэлгок туалыых !нформац!Ёних системах на комп"юторах тиа1в ЕС, СМ, К у ачгдяд! комплекс 1ь и?£Дов1Дешх АРШв те локильнгх 1 раг!ональни1 мэре« и1лъш кк в 40 виробшгшх обеднениях, п1дприе»с5'вах, закладах охоронз здоров"я, вузах та срган1зец1их, науково-досл1дччх !нститутех та 1нститутах АН Укра.ни (в1дюв1яв» АКТК ВЛРОБАДКЕННЯ додяоться). Зокрема результата дасер^ац.йнис доол1даень впрсвадаез! не ввробшгаа ой'вднакняг "Взал1рпром", "Сз!точ", Глаогмасфуря1тура", Еоцаславському окстарвмвпт ильному .тлвьр! о - мохал (таону завод!, Борисхввськ .• А фвбрнц! нотканчх ызтер!ал!в. Дрогобицькому ептск^лсю»!у ушюд!, Красил 1вському (ХмэльеицькоУ обл.) цукровоху зевод;. Одеському шзл!рному завод!, Р1взэнськоку обласному госп!т8л! !ньал!д!в в!йаи, ЦвнтралънШ района 13 л1кр.ра! м.Р1впс., Карнатському в!дд1л?ян> 1нститл'ту геоф!глки АН УкраКни, СМ" !н1»рмоц<йнюс си с той 1нстнтуту проблей матер!алознагства АН УкреГни, Ф!зкко-механ!чному !рстктут! АН Украгни, 1нститут! евтэмвтлкп та обчаслгоально! техн!хи Уюрсько! АН («.Будапешт), Льв!редкому шл»те?з!члому 1нстптут1 1 т.д.

Окрекич розд!лом впрсвадаення результат!в дн^ертец'Енш: досл1д«аяь суз учЗовяй процэг, Зэкроаэ, булн опубл1ковьн1 в сп1вбЕчюрств^ ? Продашком к.Ы. з грифом Шн!с?врства осв!ти У^риЮТ нг^чальнкй пэс!бквк ко курсу "Вези 1 башш да них та сдань" (нова лог!чного програмування И-ПРОДОГ). Кокплвкс ивтодачних вказ!в'Ж по внвчвнню окремдх розд1л!ь курсу -Бази !

банки 'данях та знань" з сп1вавторстзх з Продяншом Ы.И.. Грабовецькин D.D.. Тевпэшем A.D. ("Нэноргдал• зоваut рвлад12з1 «сдал! дашх" ч..Т та ч.2, TwmuiilHt лоцэл! баз да юл з н&визяачэкио та и»ч!тхпма значенЕлде". "Ьяксркотання апмвату К-заачяпп лог! к при анал1з! рэляц!йык ж деле а с^з двинх", "Часгкош-шзначеп булев! ЗушаШ в пнал1з1 схэм раляШйьвх баз даних"). Курс лекц1й "Бази ♦ <к\чгл двних те знадъ", якнЭ чзтввся д^-с&ртьгтом протягом ocT?jHHlr ö-та рок1в на .'в^др! АСУ Льв!вського пол!техндчлого i нети у ту, практично оув побудеванжЗ з використанням результат!в дисертацНйт доел!давнь. В!дпов!дн! кэтоднчн! розробет булл передан! для влксрнстання в Харк!всышй 1нститут рад!оелектрон1ки, Льв1всыш9 дарззший ун!верситот, йзсковсышй ав!ац!2ниа 1нстатут те 1н.

РЕКОЕЩДАЩ ПО ВИКОРКСТАНИР. Розроблэп! дадарталтоы мэчъ;т та прогрекно-&ягорзта!чн1 звеобз енал!зу раляц1йни моделей блз даяет мозуть бута викоргстен^ в ¡троцосах проекг.т^лня рвляц!2нпх баз данах, стеорэная 1Ефориэц1Ишп ¡ар бязувться нл

реляцЦних щшщапах. Тгюрелгш! результата шяуть стати осиовои дня педал&ижх наукових ,:осл!да&нь е облает! шдэдквоння систем баз дата. Вакижмэ сфэро» практично!1.) ваксрасгешш результат!в пройде наг дго&ртвц!2ннх досл!даэнь в навчальннй процес. Объектом такого впровадаэння моауть бута вуза Укра!на, як1 проводить п!дготовку спец1ал!ст1в в облает! кзкЕГютершх 1нформац1йяих технолюг!й, кош"ктерно1 1шЕ8юр1$, chcvbm штучного 1нтолэкту.

¿ДРСКЛПХЛ. Осноян! результата дасер?вц1Энет досл!донь донов1далась мяори» ьй такт Ызаьвродни 1 респуЗл1канськвл нэукошх та науково-практичних конференЩях та сш1нарэг:

- 2-1« ВсесошШй конфоранцИ "Банки данахя (Ташкент, 1980);

¡.'со седан 1Й кон^рещЦ 1 "¿¿2ах1з ефект«олост1 '.\ч якает! проектувоння 1 функц1онування ¿СУ б народному господарств! (Льв1в, 1983):

ВсесоиваШ науково-техн1чн1й хсв[арг,яц11 5,Автоматазец1я прсюктування м 1 кро-ыгактронноX сларатури" (Зеленоград, 1933);

- Перш1й Всесоаш1й коафоренц11 "Систеш! досл!даоння проб ам упраыр.ння як 1 сто та автоматазацП продвс1в проектування" (Кг$в, 19Т);

- 3-1й Всесотон!® копфервнцИ' "Банки данах" (Тадп1нн, 1985);

- КоиЯерешШ КННОТ по автонатизац!I 1нф>рмац1йних процес!в на персональних ЕОЫ (Угорцгаа, «.Будапешт, .1986);

- ЬсессяБному сем1нар! "Розподхлена обробка дани та жжальн! иореШ ЕСИ" (Мскйгя, 1987);

- 2-1Й Всесотен1й кон$ерещ11 "Проблема створеяня ОЦКК та роэгодаленнх автоматизованих банк 1 в данах в ы!сьхоя!у госпидярстЫ" (Москва, 1987);

- 4-13 ВсасогонШ школ 1-сем! нар I "Розпаролэлшання обробкн ¡нфоркацП" (Льв1в,1987);

- 2-18 рэспубл1канськ1й ковференцП ""Проблемно ор1внтова:! д!алотов! система" (ТбШс!, 1987);

- 3-1В Бсессюн!Й кон®8рснц!1 "Матеыатвчн! «етодн розп1знавення сб*«з»в" (Льв1в, 1967);

- !4!зреспусл1к8нс1«1й науково-тэхвлчнШ rtcsfspesU! "Розробка азтоматизованих систем управл1нзя" (ГйсКв, IS87);

- Все сошному сем:вар1 "Актуальа! проблема розвятку пэрспэжтиькдг 1нформед1йних технолог 1 (Москва, 198?);

1-}й Всесоюзной наукоый ковфервнцП "iBjopsiErta va нэукознавство" (Тамбов,IS88);

- Республ1к8нськ1й конференцП "Проблэшо-ор1 внтовап! д'алюгов! система" (Батум!, 1988);

- 3-1й Всесоюзна коафероацП "Метода та засоби обробка складно* граф!чно* tatopHaulI" (ffimatft Новгород, Горький, 1903);

Всьсогон1й кон!вренц11 t го штучному 1нтолвкту (П0р8славль-3ал1ськкй, 1968);

- ВзесогенШ школ i-сем i нар i "Програмне забезгючення SOU: 1ндустр1альнг тэхаолог1я, 1нтелектуал1зац1я рооробка те зсстосування" (Ростов-на-Дону, 1988);

)?:язародному сем1нар{ "Автокатвзац1я 1н6сраид!вШ)Г0 забезпеченая систэм п!дтримки прайняття>р t пень " (Польша, Взряавэ, 19в8);

- Ре спу бл iкэнсъгадму науково-тегн!чзому сэШнар! "1нфори8ц11ю забезпечення систем штучного 1нтелэкту" (Жук1н-Киув, 1968);

- BcecoiEHta ковфереицМ иСиствиюлог1 я-68" (Яремча, 1988);

- ПерсШ, ДругtУ та Трет!® Всесоювннх школах-сем!нарах "Безн датах та знань для персональннх ШГ (Славсысе -Льв1в, 1987, 1988, 1989);

- 2-lfi М1жнародн!й кон^еренцП "¡йвтекатачн! освови теорН баз даних" (Угорвина, Будапешт. 1989);

- М1етеродн1© ксгафорэЕц! I "1нтаЕ>кгувльн1 система управл1ЕЕя* (Болгар!я, Взрйа, 1839);

- Шпягродга;.!} ег2юз1ум1 ш системах уцр|шя1ння базага дакнх та заань (КИЕ®). (Суздаль, 1583);

- Ш£народн1£ коЕ^эрэяц!* колода вчешж (Кяпв, 1989);

- 4-1£ Есосогзп1а кои|эрэщЗ 1 "Проблоки- упргвд1ння вашшм и1сток" (!&>скза, 1989);

- ВсосовзнШ конЗерзяц!1 "Уатегазтнчн! катода розШзнгшаяня образ(Регз, 1939);

- Вс&соазяШ коЕфэрэкц! I "Згстосування АР- на баз! ПЕ(Х1 в нэщхкасдозШ с£эр1"(1!осквэ, 1939);

- 4-Ш Всоссрзз12 козфэрвнц* 1 по банках данаг те знань (Твер (Кыт1н1я). 198Э);

- и (паз родному сем1нвр1 в ра*л:ах РГ-25 КНПОТ "1втвгрец!к

сайтом" (Кг!в, 1939);

- Шпародвзду сегЛнар! в рг:.зах РГ-26 КНПОТ "*А2тэтазкия 1 г;?орс.:оц1 £ного заСозш»5энкя спстегл п1дер2КК2: вргЗняття р!шеяь* (Угокдгва, Будаютт, 1990).

Глюр1ааз ?е результата дасортацН булн опусШковаа1 в Унра *н1 га ва рубегэы. Загальаэ к!льк1сть ну<Шкац1й по той! ^'сертецП - 70 найаэнувань.

Структура досертац!*. 1£сортац1я екладавгься з сстуд? (мгальна Еаратарыстыка робота) та сею роэдШв. 0б*ем досор7оШ 254 стор1шш. Список висорнсгано* л!тартурз склада« 576 лэршодаораг.

каст роботи.

В дэршому роздШ проведено анал!з досл1дгззь в o6mc.it рзлящйних тодагэй дани. Приведен! визначвння та обгрунтувення понять !нфоркац!йнэ рэлящйно! иодвл! базл данят,

реляц1йно! алгебри та алгвбра!чно! снствш. Проаыал!зовсда ситуац!я в облает! структуризацП дзеех на основ! анал!зу клзоЛв првдпкат1в. ЗапрогонованиЗ орат!нальний п!дг!д до шр!оганЕЯ пятання !т&ративногс вганачення клас!в прэдн1сат!в та !х рол! в процэсах структуризац!1 данпх. Прггвдэн! вкзначення та обгрувтувйЕпя введения понять поля данях, предак8т!в даэн!в» ансамОл!» атомдрнзх влвкэнт!в, структурно! взаемод!! олэ&.гэи?!в аксакбл!в даннх, структуризац!! даннх в базов! в!дяошэння та структурных преднкат1в моделей даняг.

Модель данах в роботах сучасних автор!Е подавться ян " сукугш1сть трьох покпонэнт!в:

I) набору тш!в структур даккх; про них могна говорзтз кк про нонструктиш! блока будь-яко! база дакнх, в!дшлз!дно! иодэл!;

2} набору опэратср!в а Со правил вяводу, котр! шауть застосоЕуватись до будь-яхеиг тш!в структур да них, вказанпг вгщз, а твкоз викорнстовувзшзх для встановлвння факту вяводикос?! для будь-яко! з зг^даннх структур;

3) набору правая, котр! визпачаеть стан базш дззйх 1 П эм!ку. Ц! прайма мсета еезветя прававает встеекя - заи!ш -стпрання.

Уодел! данях козуть ефэктишю впкорзстовуват^сь в

ДГЦШ^ДЗВгНЮу Щ) ВЗСТуД«2Х ПВПрЯК^ЗТ'

1) ВЕКорсстаиня падал! даних як 1нструм8нту для вззначензя жорактереатЕК даннг» а такоп орган1зац!1 даних;

2) вакористанша модел! даних в якост! фундэшнту доя розробки мэтодолог! К проектуваияя баз. данах;

3) використання модвл1 даних з матов розумно допустимо! дог!чио* вваалвжасст! прикладаих програм в!д даних;

4) ВЕКористатая модел! даних в якост! основе доя розробки с1мвйства мов вжсоного р!вня для реал1зац/т запит!в ! иви1дулимння данями;

Б) впкористання моде л! дааих для назначения архитектура сиотвми улравл!ння базами даних (СУБД);

6) використання издал! даних з метою визиачення параметр!в альторнатжшшх вар!ант!в орган!зади дадих.

Ьиб!р модал! даних в аизначальним фактором в проведены} досл1дхвнь по ъсьому спектру проблем, поэ"язани& з тематикою баз данях*

Б1бЛ1ограф1чна проробка опубл!кованих по том! досл!дзень рвзультат!в з реляцШних моделей даних ! по 1х застосуванню дозволяв од!нети загальну к!льк!сть роб!т в цьому напрямку числом порядку 103.

Анал!з тематики показу*, щр досл!двення ведуться но таких основних розд!лах: роляц!йна теор!я моделей даних, залгдност! даних, нормальн! форми ! норыал!зац!йа! процасп, формально засобл 1 метода анал!зу схем реляд!йнах баз даних, задач!, процеси I система проектування реляшйних баз даних, реляц!йн1 мови опису

дани, p&miifiHt ш «ан!ц«атнвя дангмэ, рэляц!йа1 СУБД, реляц!йн! кэшнни баз дашх, р£шщ!8н1 1й®0|зетц1йн1 гаоткя.

Bel реального евгту иежна ишеузата при даюмоai

дэякок систеш характеристик, котр! надол! будеко 1кэнувата атрабуташ. Кота хсраэтарастака об^езну кав своз нвкзу t значения. Наяву хнраьтерЕстиш об"евту будвмо н&йештн lassas атрибуту, а згачення - «йиэянпм атрибуту. В б!льшост! излада!®» значении атрибута дабиравться з деякоК облает! значок^, кстрт а реляц1йн!й тоорП баг: даних !мэнусться дошнои.

Дгаюни будано позиачата через D^. i=-TT5,td^>, 1шна атрабуПв - A.., J=T7i. В!да1ти*о. а;о к!льк1сть домен1» t атрибута в рвальнях умовах могуть нэ сп!зшдати, оск!льки дрк!лька атрнбуЛв моауть "чвршата" o«oï значения одаШ облает 1 згачваь, тобте кйй ! дэякий d, шве бути зв'язйянЭ э доякою п1д«е«пшоя !шэя атрибут!в

j

Введено фушсцЮ 1X21, когра сгашть у в!днов!дз!сть îkseî атрибута деяой домен РСМЦ^ЬБ^. Шд прййутом будаао posjufira пару <Aj,Dj>, в котр!й А^ - 1и"я атргйута, - я!дш>в1двай Aj докэн. Mia мрсотвс-г tms атрибут}в ! кйвааюв дс«ва1в 1сяу® взаешо- одна?начпн в!дшэв!дн1сть.

1нфордац1йнам в1диошэнняа г /надгл1 - щосто в!даошвнЕКа/ будаю називатг властнв!сть, яка вздШе з дэкгртогото добытку /,сшн!в да яку п!дмнсдану гяВ,«^...^.

Кортежем будемо нвзяреягя кзорядкован/4- поел i дош 1 сть вдду

,ш. влходячн 3 спÎH49EHOCTÎ

дошн1в припускаемо, щр 1нформац!8н1 и1днотгрння в ск1ачена®гя.

Узагальшпть. характеристику в!доов!дного ыюментя данях у в!дношенн! по структур! »дасаргантом проанал!зован! наступи! ситуац!/. '

I Элемент даних з !ю|юрмац1йгому в!днош0нн! в!дсутн!й. При цьому особливо оговорввться природа "пустого" значения, що пввним чином обумовлое 1 м8хве!зни йогз оброЗки.

2. Елвмэнт !нфоркац!Йного в!дношення в элемвнтарним значениям з ювво! кюаини елэмьнт1в.

3. Еломент !аформац!йного в1дношання в певною п!дмаожнюю аябмвнтарних аначень з мноакнн влэкэвт1в задано!

природа (шва в даному випадку аде про задания унарного в!дношвння Н0 даокш! Б ! в узагальненняи другого мэр!енту).

4. Едвмэнт даних !в1»р»ац!2зо1,о в/дношення сам наступав в якост1 пввдаго к!пцэвого ш-арного 1в8ормац!йдаго в!даошвния (ш>(), що зноау г в давним узагальненаям слтупцП 3.

Рэляц!йну модель будоко цодавата як тетраду

¿¡¡•. А - шояине !мэн атрибут!в; Е - шошша дошн!в; 1Ш - ваогияа функц!й в!дпов1даост! !кенами атрибут !в 1 доаюзамя; 2 -мноашэ пр8дакат1в модел!.

Шд р*шщ!йзов схемэв Оудемо розуы1ти пару Й=<А,Я>, де А -мшхггяа !1йэн атрибут!в, 2 - систеч"'. залэжносгей, цо задаеться на А. Мпоаицу рвляц!йнпх схеч будеж 1квнувата схемою беьл даних ! позначати

5=<^=<А1,2|> 11=Пп>, тут ЛрА.г^ - множима дредикат!б, !ндуковашп мноаиною 2 в И.

2В

Реляц1йну базу даних будемо описувати як п"ят!рку, яка задав деяку ал1"вбра1чну систему

а котр!й А - мноаяна !мвн атрибутов, В - множима дота1в, ВШ-мэожаыа функц1й, як! в!добра&ають !мэна атрибутов в сво! домаяи, 2 - множила предикат!в, 0=<0',Я">, да В'- мпожина опэрац!® модаЗ>1кац!1 даних, £Г- мнохина опврац!® кав!пулгаання данями.

Рездауючи сказана, назначаемо:

1. Рвляшйну схему у вигляд! (1?),Н=<А,2>.

2. Схему раляц!йно! бега дани: (5),8-={К3=<А1Г1>,1=Г,"п}.

3. РашЦйну модель база даних (ВМ).Ш-*'4,П.Ш1,2;>.

4. РеляЩйну базу данах (Р^.КАБ^А.Б.аЖ.Е.О' ,£Г>.

Значна увага б робот! пряд!лвна штанням структуризац! 1

даних на основ! анал!зу кляс!в предикат!в. Зокрома зэпропоноваго узагальнення продставлеяня процесу структуртаац1! дашс до основ! клас!в прэдикат!в у вигляд!

<«« И.Ц, ) Е, ) ц^ ) Ц. ) (1)

Починяли з воля даних та «эюнних предикат!в модэль (в математичаому розум1нп! гюняття) поступово ускладнювться, а область XI !нтерирьтац!1 кращв отруктуриауеться. На кожному в втап!в структуризад! I даних формуют ься нов! вида областей !нтерпретац! I в!даов!дних модалвй. 1гашюи словами модель даних визначветься пра допомоч! поса!доваого форцувэныя новях клас!в преднхат!в, а такс« в1дпов!данх структур даних, як! задавть область Гг 1птерпретац11.

В дуговд гозл>£1 пражадеваЯ ав&с1з клас!в залояностей данта раляЩЗш})! нодал!. Зепрогшований орвПнальний метод аизл!зу рэляц1йнкх моделей з вшорзстаиням апарату часткоэо- вэзпачених булавах функц1й. Проанал1зоввн1 вар1внтн оятуац1й застосування казаного математичного методу анап!зу реля.ц»йЕих модалей. Осяовна увага прнд1лвяа анал!зу к?ас!в семаятичнс- значимих залешост&й доих.

Проведений дисертадтом енал!^ таив лредакаПв дозволив зробяти висновок, гор введения значно! к1.иькост1 тшпз залежностой в рвляц1йн12 модал! винсктеться наступали:

I/ коякий з новях вводених предикатив характеризуй

V У

назначений вед прим!тйвшх семавтячнах конструкций, як! опзсуздть ковкрвтн! сагу01.1 ^ в проблвмн!й облает!, що анал!зуеться;

2/ переваэютаа б!лып1сть залеяностей, у вшад.<у 1х Щдтримки в 1 нфоркац 1 йному в1даошеш1, допускав пьвного виду декомпозицш Еого за рай дроекцШ, а такса вказув с*рого визначений шлях в1дшзвлвЕвя вхгдного 1н®ориац1Иного в!дношешя;

3/ як правило, новий введений предикат реляд18но1 модел; в двякин узагальшнням ран!ше запропонованих тип!в залажнсстей;

4/ введения нсвих тип1в оалвжност&й дштаувться баганням ызестя нов! формальа! засоби ман1пулюанш) 1 контроле даних в баз1;

5/ нов1 тепи залеяностей с-дуавть основой едя визначення б1льш досконалих асритер!1в прооктувапкя /нориальних форм/ реляцНЬю! ыодел! бази данях.

Принципсво ноэим результатом в анал1з назвашх дисертантом

частково- Екзначевях систем залэяаостэй декад.. Зокрзагэ цв питания детельзо розробланв для гласу фуикЩонадьшя, багатозначнах та булпвях залешостей.

Тр8дац!£яо система S3 розглядавться, як нвзм1изд2 в чае! !звар!авт схека роляц!йко* бязи данкх. ТаягЗ п!да!д ess ряд недол!к!в i б перяу черту - це пзйс>®шв!стъ роотруктурззад!! бэзя в процэс! затгя, BlflcyvntcTb дшом1чного еиарату гэрэв^ггачокня система зале^зостей. Шввш кроком по усунвннь цах шдол1к1в в ззпрояоновенэ дасертентш застосувешя апарзту чвстково-Елззачених булевяз Фушщ1й дм анэл!зу сяс?ви ®ункц!оввдьЕкх залэшостяй реляцДЭно!' шдвл!.

Вазначвння. ?еляц1йну кодзль будет назевает честково-визначегою, явдо Еэдап! дэ! сэстег«я в!двигеш> на ^aossat атрибутtв д1е! шдел!:

Першу систему ои!вв1да>шень назвеш шоаяноэ дрнуегймшс фупкц1она?1ьиах залеяноотея.

фугу систему сп1вв1даошень аазЕввл шоаашв габоронэшк функц!ональЕЯх залегиостей. Лрисугн1сть ix в баз! вэдакдава.

куба, на якях рэляцИЗзв форма приВаав злаченяя О.

-Через й позначаеться мнсжша эерашн n-alpsoro оданичного кубу, таких, що:

Система залеsaостей в п!дмвогивою MqP вэрзш n-Kipsoro одшгггшго

в в насзшюв вврпан, т к<№рсх ршцШпг форт в вэвхзвачавоЕ. Вова в*даов1две систем! точввядвих функц1онольааж эаягшзоства. НэочевЕди! функц1оналъи! заложост! будемо □оааг.чати:

(V71

«г „7 г

Система (3) е мншвзов потеяц1Гяо ксжлизих функц!окальннх знлэзнсстей, котр! в де&р&воу для потовнення cbcpsmh фуняц1онвльних залвшостей в процэс! пятя рбляц13ноК Осой данях.

Систеьи (1)-(3) рэзбивввть тотау в" вс!х версшн оданичюгс n-Kljpcoro куба ва три п!дашшнш EqP, ¡2, як! нв

перетавшться,. тобто В ^ терШвологП

чвстково-шэначешх буяевкг функц!й кясокна М^Р в шоашаи )иаа1хавт одеянц! функцп Хр, uaoaaaa К - кнаишою, на ях!Я значения функцП f^ но низначета,

В дасертацп проаяал1зован! сктуэц!I та гаранта довнапачвння систем залэгяоствЬ данях в ироде с t хшття схеда.

Розглняутий взгляд нвдовгзяаченост1 в раляШйн!й водвл! гадал! нааваннй структурною надовизнечен!сто ado нэдрвязначэн!ста по предикатах. В дасертвц! I проанал1зован! южигвост! практичного вюсоркстання аалрооошваншо подходу до 01лш широкого квасу так авалях Сулэшх эаимвсстей для яках 53 « п1дкласои.

В третьовд роздШ розглядвються задач! аяал1зу схем ршшОйишс баз данях. Основну увагу прид!лено задачам анвл1ау

система залеаностой в редяц!Яшп схемах. Постановки б1лыюот1 задач зводвн! до задач аяал!зу даз"шктшзих нсрмальних форм булэзлх функц1й, ях! в булэвим екв!в8лвнтом систека фушсц!онелыЕП 1 багатозначних залезгаоствй. Вгзглянуто ряд нонах задач проектуванни схем реляц4йикх баз двних, шв"язаних з энал!зом системи залешостей.

Зокрема в клагЛ задач анэл!эу схем раляЩйних баз даних рогглянут! задача кояструвзаннл система залэЕностей Е в схзм! рэляц!Зно* бази данях, задача конструизанян систэки <$ункц1ональних 1 багвтозначних залззностей а задача задания та пэрэв!рхи 1снування функц!онадьноК залешгост!.

Вказан! зсдач! доведан! до р!гая нрогракго- алгоритм!чпого вир1шення и експерикэнтальаИ программа систем!. В клас.» задач лроэктування схем РБД як! повязан! з анализом системи залвянсстэЭ 2 дисертантом внр!шуоться наступи!:

1. Задача далуку замика^яя ¿ля систоми залегаоетаЗ.

2. Задача пошуку покриття системи залеаностей.

3. Задача пошуку м!н!иального покриття дня система ззлэгностей.

4. Задача пошуку клш1в схеш роляд!ЗноК база данах на остов1 сзстеми зал&гностеЭ.

5. Задача даиуку систэми задаеюстей, що м!стяпся э проечцП реляц;йао! схеш.

6. Задача гобудови козалеаних кошюнезт.

7. Задача ксмпозицИ систем зааежностей.

8. Задача пэрев1ркн виведення зелвагост! а з система

валэгзостеЯ.

9. Задача пэров1ркн кют!в рвляц1йно! схема.

10. перэв!рка гозалекноот! проекщЕ рэляц!йж>1 схеш.

11. Задача пошуку макального ключа на основI система вадагносгей Е • " *

•о*

12. Задача шяуку гзаксЕаэльного шкоду з о з врахувашян £.

13. Задаче ковструтаанвя шпротир!чшх скстем залаааостр.'*.

.Bel nspopaxoDSHi задачi рэал1зовая1 в експери«аятэльи1п

учбозШ САПР схем рэляЩйшх баз дадах. При цьому сбуновлшться наявн!сть теки! рэал1зац18 для юшс1в функцЮшштх i баготозЕйчнзз залегаостеЗ.- Загельнза is то долог 1чним фувдак&нтом розв'язуванзх в снстоы! задач е викорнстанЕЯ апарату булавах фупкцШ.

Знзчна увага в роздШ дрзд!лэна анал1зу реельних ситуад13 дрз конструхгаш! систем вьлэаностай даних з вакорнстанням запрошЕовззого дрсертантон катода частково* недовззнач&шст! схем.

Е53ЯАЧЕНШ. Корзкгео вгзнзченоэ системою $ункц1ональнш

задааюстай для пройлешо! облает! будамо пвзиватн таку систему

дазволоша €3, яка. еэ кае лог!чвш проткр!ч з систеи®

заборопзЕНх функц 1 ояольнех оалваностэИ для т!в! а ггроблошо!

облает!, вор&гзльш да шей бута зобрагено таким чшом - — —/± з oi,6 Е тако!, цо о^ v

3 C-jo 2 тако!, що eje

< Укрупнено процедуру конструлваяня нвпротар1чво1 система №>

для схема реляц!ано! базя данях моаив зобразити у взгляд! посл1довпо реал1зов8нга (с.ри допомоз! БОН) крс.ч!^;

л

КРОК I, Задания вх!дних систем ,тозволеннх t забороневих

/систем 4ункц!ональних валеяностей Е •! £ .

—т А

КРОК 2. Пошук замкаяь Z i ТГ-

КРОК 3. Пшук 1 усувоння протнр1ч, допущения в процас! /-» —. зпдмня z i Z .

КРОК 4. Визначення мнояшвн функц!онаяьяях зэлвЕНОСтей, як! моауть бути основою для доповнення спроектовано! сгстеми фуккц1ональних залваностеЗ в щюцес! ииття бези даних.

КРОК 5. Впв!д результат^ рэхунку.

КИВДЬ,

Виконазя приведено* процедуры реал1зовада в д!влоговому рекам! прооктувалышк - ECJI в рамках экспериментальноi учбовоК С1ПР схем реляц!ЙНйх баз даних.

Детально роброЛлпн! питания розвязвння протир!ч в системах |ункц!ональних залеяноотей з ррахувешйа сл!вв1дномэнь Mis «ножинами атрабут1в правах 1 iismr частиз 93.

В четвертому розд1л> розглядаэться . основл! етапи троектуваная реляЩйннх баз даних. Наводиться Еязначення задач!, ipouecy 1 с легаш проектування схегш рвлкц!Яно!'. база даних. Зид!лея! фунхцютальн! клзеи ?адач проектування. Проаиал!говян! гапи нормалышх форм схем р?ляц!йних баг даних в хоатоксг! 5ункц1ок>^льних 1 багатозначннх залежаостей. Проаяал1зован! К'^едумовг визначення яоачх тип!в яормальних фор*". Розглянутг

аь

яямиая мэдвлпваяяя процес!в ро'шитку 1 реконструкц! i схем рашЦЯиях баз данах.

Процес проектувавня реляц1вшК базк дашх i. зокреыэ, It схвкя подите« в дрсягненн! певнах Щлвй, ода1вв ¡з moa в нориал1зован1сть 1нфорнац1йша в1даошень, як1 представлять дан! в Casi. Фундаментом teopíl t практики шркал1гед!! реляцШних баз др.шгг в зялвжност! даних.

йкяртаатом робиться акцент на ньобх!дност1 ч!ткого рсхмкжузаазя двох складони частин творП нораюл1зацП.

Г/ визначення нормпддих форм як кратер!1в лроектування схем реляц!йних бее даш

2/ розробка процедур аоршл1ггд11, при допошэ! якйх дрсят&кгоя т! чи i ни! юри&гьн! форш.

Проектуша раляц!йну базу даних i, эокрема, П схему, проектувальннх ювинэн даресл1дувати, як кШкум, три мети: I/ спроектована базе шваниа воаюд!тк аластив1стю в!дновлвнни по проекц1яи;

2/ в без! даних повинна викодуватись умова гюкриття сястекн задвагостей;

3/ спроэктоваве база данях поняяин josoaItb властэтостямк не кадшисовост! 1 бутя в!льаою в!д ашмад18 ю>даф!кац11 даних.

Йосягшяня трэтьоК цш в cxexi раляШ&воХ база даних пряйнлто вазявати юрмьл1зац1«с, а одерввну в результет! схему -вэр*ад(эовашв. fiRicaoo вмвшм таив аш реляц!йно1 база данях, вря шбулШ яяоХ шииаудгься вс! три ваюгя. 1х в ш> таьлику будеш нввквйти в1д®7винллы11сто, аократтяк,

нсрлюл 4 зобэя1сто.

Укрупнвнв дерево мета дрозктуваьяя схдов реляц!йвк>1 база данкх приведена на рис. 4.1.

Рис.4.1. Укрупнено дерево тгш щроектувоння р>ляц!йно1 база двяих.

Для провал 1 зованих в дзсертац! I клас!в нориашшх фора вэд!лвн! наступи! иэдол!ка :

1. Бзязнечаная КР в контекст! единого типу замашет!, що но ювн8 вважати задов1льшм з точки зору повноти !зформац!йгого опису проблемно! облает!.

2. Норкальз! форш, ор1енк>вая1 на фузкц!ональау звлвян!сть, ввзиачались в контекст! реляц!йнях схем 1 схема реляц!йно* бази дзшгх. В ге час ода-э !з ц!лей, яку шюнувалось при дьому досягти, було усуневня 8нсч>-ад!Й модаф!кац!1, як! не буля визначев! в терм!нах редяц!2ншс схем 1 схем реляц!йних баз данах, гобто критер!й етзяачаеться в одних, а ввмога, що прчд'являються до спроектованс! ::а?и даяих формугявалаоъ в зовс!м !вших терм!нах.

3. Корма лье! форма, назначен! на даний час в контекст! Л),

igt нревшо, взаемоввклшаеть досягнення даякях is Щдд1лв£ проохтувакня рапяцтннх Саз данах зобразеннх на ркс.4.1.

У шгакаченн! нормально форм обов'язковза алемонтом г задания pejueil&icï схемн, для hkcï ВЕЭиачаиться та чи 1нша НУ.

Нормальна форма схвт бази дааих в такому вшадку задовться у взгляд! вкконгная ушш, при як!й во! реляц1Ен! схеш БД massai зяазодатпсь у зазначенШ вориадьн!й форн1. Cxesta бази дшгах Sjy^íRp <A.iE1> ,l=T¡n > l=T7ñ знахсдаться в HopMaibHlS фора! Q(QKF), якщо Bei рсляц!йп! схвми R1»<A1,I'1,iX®1,Eí>I=T7n BKaseHoí бази данях знаходяться в QW?.

ГТровэдешй анал!а тнп!в норкалъшз форм для реляц!Еши баз даже дозволив сформулшватн дэяк1 загаяьн! положения, як! новине! враховуватись в процесах визнечення нолях кратер!ï» нроектування схем рэдяЩбанх баз дашх /нових шрмаяьша фор»./:

1, КгобхЦро вцд!ли?г тш обкэюняя /тшш обиввэнь/, як! задаэться при визяачелн! !вформац!йно1 иодал! проблешог обдаст! 1 п1дарщушься засобама СУЦЕи ка роботу з яков ор!внтувться прооктувальник бази даних.

2. Во! обйЗЕэння, з яхш сл!д пра.дезатн в рвдяц!йких схемах /в п!дсхвшх користувача/, а такоз в схеШ рвляц!йш! базк данях /koahdotyaübhlñ саем!/'eoesqhI бути лог!?яо изведен t 1з мноаши ойштань, язе! Шдаринукгься засобаш СУБД.

Дуга ьашшвою в план! визначэння нових кратер!ïb щроэктувгшня « проблема задания iaîopiaTHBHEX ! мэпсо п1дяятаичах пэрмЛрц! обшюнь накладаних сроектувальником на схему бази

Î5SH2Ï.

i за

Проведений аяэл!з в облает! теор!!' яоршиПзец!! схем реляЩйних баз данях дозволив зробнги яастуши висновкч:

1. Нормальн! форма сл!д розглядата як частков! кратер! У проектування схеми реляЩйно! бази данное, дссягвання юаа в проектI не гврантув досягнвння вс!г ц!лей постаалених перед проектувальником.

2. Нормальн! форма вяаначаються, як правило, в контекст!:

- прогозиц!! !снування ун!версального ¡ифрмащйюго в1двсшення;

- конкретного типу /тш1в/ з&пежностей даних рэлиц4йно1 схеми;

- допустимо! мнохини операЩй, що приймають учесть в досягнэш! т!«! чи !нш01 №?.

3. Козна говоривдена нормальна форма визначавться як узагальнэний вар! ант ран1ше аизявченкх що дозволяв представите !х у взгляд! в!длов1дао! схемя /дав.рис.4.2./.

4. Головни* недолгом визнячених за сьогодя!ен58 дань. нормвльних форм, зв винятком ШЛ№, в нев!дгюв!дн!сть семантики оперший модаф!кац!! дашх 1 терм1н/в, в яких визначавться ця №. .

5. Десять вахшшм у визначенн! нових нормальних форм по повинна стаги умова ск!нчевн6ст! розм!р!в деяких домен!в, щр вимагае при проектуввнн! врвховувати комбинатора! вяастивост! *х зивчень.

Гхс.4.2. Взаеыозвмйзок Еоршьетг фораз.

В четвертое роздШ дагааао розгдйнут! летеная тбуйзяз К(жшэ1:су програкао- адгор&тйчвзг эзсоб!в кенсгрушгння ратаЦйних схев баз левах з ор1витец1еа sa ПВОУ чи шкотастанЕя ковйиг 30C06ÍD система Пршюг..

В роздШ опЕсаяай прогреаанЗ взкэ? cectsks

проектувавзя схем релкЩйшх без даяих, masZ дозволяв роаа'язуватн як окроы! задач! провктування, тек 1 консурузэает гехнсдог!чн1 лавцпвкя роал1зец1 к процэс1в прснжтувазня гаем РЕД.

веклвдэе! основаi ц!л! побудозн сестэми проектуванш, йрх1тектури i оеного.1 принцип!, закладен! при i'i розроОД. Розгляну?! патаппя реал!оецН 1нтерфейс1в провктувальника з системой пра розв'яошн! задач! конструювэння несулерэчливих систем залезявх таЭ. Описаний вэр!авт реал!зац!г диалогу проектувалъшзка з системой в прсцэс! розв'язуваняя окре?*их задач.

Основзшя тал-аш залеяиостей, ж! були зекладеп! в програмно- алгоритм!^ процедура проектупаняя схом роляп1йнях баз данях, в функц!онал<ш i багатозначш заданном-i. Тший вяб!р продиктова:шЙ рядом причин, головнима серед нале е:

- наочна i природаа семантлчяа штерпретаЩя сктуащй, як! описувтьея' при лопошз i фуннд1ональш!х i бггятозначнях залежностей;

- наявн1сть повних систем правил вяводу для вхазаянх таив залеяностай, а також правял для вкводу ззаемод! i ФЗ 1 ВЗ; .

- функц!онадъз! i багвтозначн! залекностг охоплвзють гюш1стп або ччетхово чо'-чфи iTici вхдзешень, як! !снувть м!за об'ектат." в проблемы!!! облает! /1:1, I:!.!, Н:1, М:М/;

наявшеть достатньо предстазняцько! мшетш". крзтэрПв проектувавня роляцхЬпк оаз данях, визначейюс ня функц!оиальних 1 багатозпачшек залеяностях:

- cutJiLHicTb приицшйв, искладених в основу алгорнтшя розв'язяу задач проектусання;

- гдибока теоретична i прэктачна проробка комплексу питакь, пов'язанах з зналхзом системи функцшкальких i багатозиечних залэккостэй.

При створенн! прогретого макету система проектуванпя схем

редяц!йних баз данкт иересл1дуваласъ цШ:

- розробка багових концепцШ 1 принцип)в навчання основних принцин!в реляц!йного шдходу до проектування I функщонування баз даних;

- обробка технолог1чних ланцкшив проектування схем релящйних баз данях;

- розробка нових I адаптащя в1домих алгоритмов для задач проектування релядхйних баз даних;

- перев1рка вар1ант1в ув'язки задач 1 технологичная лзнцк>шв проектуввння схем РБД в систему проектування;

- розробка пропозиц1а до реал!зацП проект1в промислових систем проектування баз данкх;

апробац!я процедур звтоматизованого проектування схем роляц1йних баз даних для конкрэтнга проблемних областей з метою пэрев1рки практично! доц1льноот! застосунакня принцишв реляц!йного шдходу.

В процес! створения програмного макету система проектування схем РБД вIдпрацьовуввлис ь дек!лька можяибих вар1ант1в ерх1тектури система проектування, як« заложить В1д таких факторхв, як викорисговувзш техтчн! I грограмн! засоби, математияний ааарэт, покладений в основу функцшнуючих в систем! плгоритм!в, а також В1д р1вня подготовки корнстувача системи проектування.

Загальне структура скота® приведена за рас.5.1.

Рис. 5.1: Структура Ерограшото макету

спстан проектування схем рэляц1Ешх баз данях.

-- керуюч! зв"язкн,

-------iHjopiisuli^i зв"язкп.

Прогрвшвй макет система проектувгэвя схем релтийних ба»

дашп розробл.'шся п!д керИшицгвом десертанта зб участи

acnlpasTtB Берка А.Ю., Проданюка H.H., Угольково! I.B.

ДЬстий позд1л присвячешй люто дам i засоба« робота з непошнш та нвчгткивд значениями в системах роляц1Яннх баз данкх.

Зокрека нроаяал!зоваш шдходз до роботе з ре.ыц|Ят(яш бязакн даних, як! включаэть пев1доии значенвч (розшнрет: реляцггна алгебра Коддн, репрезентативна систе'ля для таблиць). Розглпнут! пШзда з використакняа npsasi тавьо! tHrapnpuTaui i невггзначеного значения та застосування донотацШга! семантики дам

иан!пулювашя невизначеннми дашши. Проааалгзовано застосування ймов!ра1сного Шдходу до в1дображ&ннл незовноти !нформаа1! в релящЗннх базах даних. Значна увара прзшлвна розробщ програмно-' алгоритм макэ?!в, цо модэлшть процеси

представления та обробки ивповних та Е8ч1ткнх значень.

Одним з найб!льш ц!кавих з точки зору практичного використання е п!дх!д, який опиравться ш е»и*ричн! сц!нки. Серед таких оЩнок добре розроблэннй апарат тоорп шмявостей, який дозволяв моделхвати б1льш1сть випадк1в нэповноти даних, включают нэ!снуш1 значения, I нэч1тк1 залита до база.

Для охошення шаливих ситуацШ вившшення нэч ^костей ирн роскш з - РБД треба забазшчити можшвЛсть представления I обробка;

- нач!тких 1 неповних даних /нев!дом1 значения, 1нтервадн значень, нэч1тк1 п1дмножини, неIснует! значения/;

- нэч1тких оператор!в /напржслад, оператора шд1бност<, блнзькост!/;

- л!нгв!с'П1'-шиа зм!шшх, тобто !дентаф!катор!в неч!тких

нШпоетн, на домэнах атрибут!в ;

• *

; - тдаф!катор!в нечхтких оператор1в I л!кго}стичш1х зм!шшх;

- матриць близькост! на значениях додана.

Кр1м того, бака но було б дата юзгдив!сть корнстувачу форМувати власн! вдч1тк1 понятая, Н8ч!тк1 оператори ! ттткд моде$1катори. В проаналхзованих дасертантом роботах Ц1 шзымвост! не були реалшоваш в повнШ м!р1. Традицхйно використовувавск-обшгэний наб1р тишв еломенйв домен!в атрибут1в бази, обможэшя був наб!р оператор!в, як1 використовувались при форму вата I утв для рэляц1йниу операщй. • Фыстично розширокня реляц!йно! модел1

полагав в введеиш в р<эляц1Яну модель нового типу данчх, який дозволяв задввати в БД нэ ношiста визначен1 даш, i опврацШ над дам типом дани?.

При включеяш в СУБД нового типу данях НЕЧ1ТК10ТЬ, при <х5шбц1 зашту до релотЦВно ï бази на виход1 отримуемо в1дношення з додетковим атрибутом, яквй характеризуе мояливЮть або НСОб31ДН1СТЬ ТОГО, ЩО В1ДП0В1ДНИа КОрТеЯ 39ДОБ1лЬНЯв yMOBi

г;5питу. Для того, щс<5 отримзти ззмкнену реляц1йяу модель, даобх1дно розиирятн реляШйн! операцП i розиирити представления в1дзошення. Bel в!дношення в реляц1Ешй баз г датах розшргаться елгод атрибутом, який харвкторизув мозлив!сть /необх1дн$сть/ того, що кортеж налваять в!дношенны. Для таких розширених в1дношень необх1дно задати визначвнпя розширених р&ляц1йиш шерац!й.

Шдх1д до обробкв неповних данях, як до даних нового типу, дозволяв упикнути He;;opeKTHocvt при "розшренн1" реляц1йкн мода л i баз даних. Вшюристаияя reontï ыозишвосгвй, як шетрумэнта для модэливання невизначенсстей, дозволяв охопнти б}льи1сгь-випадкхв нэьжначеюст! даних, а використанЕя otoïctoï м!ри нзвазнзченост! забезпечув найб!лъш адеквагну оц!нку результате обробки зашгг1в до бази.

Таким чином, розпирення реляЩйно! модел! баз даннкх дтя обробки непговнях t неточнях данах вгдбуваеться на plBHi яш1в даних i розповс«даувться на реляц1йну алгебру.

Питанняи розпирення рвдяц1йно1 модел! баз данях праювячен! кандадатськ* дксертац1йн! доел1дк8нал Мелите Т.О. та Кицмэя Г.В., як1 виконувались в т!снШ сп!впрац1 з дисертантш та при його безпосер.едн1й участ! i консультуванн!.

Сьошй розд!л дасертац1йнох робота прЕсвячеяий аналtsy звюрмал1зовавих р&яяц№шх шдавэй даяш. Бокрэка лосл!дан! штаная.побудоЕа багвсу снетека огорецШ рехяц1йш'1 алгебре доя нетрбал1зоватж в1дБоввт>. Розроблэн1 шгоцвфйшцП мов опису та кан1цу.®эашя данямк для кз&ор.шпзовано1 шдал!, приведений опие ексдарнкентальчого протот£я,7 СУБД на ocmBi ненормал1зовазо1 реляцию* »я>дел!

Схе&ы В1Дношеш1Ч в ненормал1зован1й (не приведенiй до 1НФ) pojffliiiÉHivi баз! даних визнечаетьея, як тр!йка R=<U,r,E >, да U -Шохина 8тпнбут1в, Г - шоаиж структурнкх залсаностей, z -шеззвэ •ьялелтостеЗ даних,

- Схема реляцШно! БД представляеться в вигляд1 сукулЕОс? t правил виду R^íAj1, .... А^, Е,), де об"ектн А? е або правилами наведеного више вэдус або атрибутами, a - система залежноетей даянх, задана ра об"ектта Aj. Пуипускаеться, щр взаемозв"язок 1Ц генеруе структуру Г.

Об"ект (im"fl) - вщого порядку, якщо bíh е в jiIbíB часткш даякого правила. В рейт i вкладов - нульового порядку.

1(.!"я Hq=S - soBHimHS, якщо воно е илька в Л1в!й частин! одного з правил Рсчта ton - яаутр)шн1.

Внутр1иш объекта з шенаш вицого i нульового поряд$в будет назипатн атрибутами вищого i нульового порядк!в в1даоМдно. Зовн1ше 1м"я S будеш вг-аив&та 1мэшш схема РЕД. Цаозаша атрибу?1в вещого 1 нульового породив позначатеься В1ДЦ0В1ДН0 через H(S) t Z(S). Дэв1льний атрибут вицого порядку е дэякою мноееной атрзбут!в нульового порядку, яка задов1льняе певну структурну залеан:с^ь. Множила U=H(S)uZ(S).

Таким чинш, кноапш структурних залехностей Г адекватно

Б1дображав?ься системою правил. В залежяост! в!д умов, накладен:« на иноаину правил, можна одерясати схема, шо задов1льняить р!зним моделям даних. Надал1 будауо розглядата структурш залежностг, що визначаютъ ненормал!зоваву реляц1йцу модель даних.

Ксгше правило R, утзорюв деяку подсистему R1=<ü1, Г^, £1>, де tfjs U, Е1 í Г, Г} £ Г. Сукупн!сть шдсистем визначав схему БД S=cU, Г, Е>. Ця схема S в схемою не нор.иа л i зоваао i релящйно! БД, якщо викокуються насту mi умови.

1. 1сяуз здзно зовнгшнз 1м"я S - м"я схеш.

2. Не i сиу в двох резнях правил з однаковзми i йенами в fliBta частинг.

3. Б правах частинах двох р!зних правил не кота зус,тр!тися сдаакова 1м"я.

Використавня запропоновагого розиирешя реляц1йно1 алгвбри дня ненормалi зованих представлень дозволяв формуливата звштк до дааах, ню в на р1зних ргвнях !врарх!чно! схеш вхдаошення. При-цъому вдаеться уникнутк шкористання додвткових олвратор!в структуризации позбавдяши корксгутзача В1Д проблем, пов"язаних з-нав1гац!ею в баз i даних. Наведен; визначевая виглядаигь б1льш природно. оскигькл ненормал13овану реляц^йну модель даних могна представлята як деяке рекурсивне розширення класично! реляц!Зно1 моде л i.

Одним з програмно- алгоритм чних засоб1в, як! використовувались .для анализу релящйних баз даних на- cchobí ненормалхзовано! мздал! даних було в!дпов!дне розширення говл sol. При резптренн! sql для розаирелог неЕормал!зоваког реляцШюх »оделi даних були поставлен! наступи! ц!л!:

- забазпвчення сум{сност! "знизу-нагору" для !снувчих

|©ляц1йыих'БД 1 ix кенормал 1 зова них предстевлонь;

- створвгля м»хен1зму 703138111: об"вхт1в мовн залвг?1а;

- поыНдоша реал1зац1я принципу ортогонадькост! в швах апису t ман1пулшанш! даяиии, тскЗто ра&л5зац1я щейда» - всюдп» да допустима атоыарна величина - дояускаеться структура s га1здуванням;

- надання користувачу могшшост! неаормал!злйно1<о тогляду на 1снугч1 БД в аершШ нормальнШ форм! i "збиранвя" в1ртуальишс ненермал1зованих в!даошекъ.

Иова опису даних для розшзрено! ШЗД була визкачена

наступням чином: «оператор» • .• - <опис типу» | <опис структур»

«опис структура» :structure <ш"я структура?

with scheme <1а"я типу» <опкс типу» <1м"я типу> <онис тицу>

<опис типу> • •■» кструктурнЕй тип» ктш значення>1

ипосилка» кобмеавння цШскоет! >i «структурний тап» : - ust_of | <n®st> <nest> : : . nest < < список атрибут!в» >

«список атрибут!в атрибут» I

<атрибут> «список атрибутгв» «атрибут» =- <1м"я атрибута» I <опис тицу>

<1м"я атрибута» е- 1дентЕф1катор iweHi атрибута <тш значения» в- logical i char i <nu>»ric> i „

«numeric» ^ INTEGER | REAL | _.

<0бме*эння цшсност1» : : - nonedit, unique, nonempty,

<посилка> в» кгосклка по шаблону>н«посилка по ключу»* «посвдка по шаблону» я- as «атрибут» ifrom <1м"я типу» «посилка по ключу» я» by_key «атрибут» ifrom <!м'я типу»! <!м"я типу» !денткф!катор 1мен1 типу

Иова ман1цулшання данами

Оператора мови ман!пултання даними е речениями настуиноХ

гранатвгаг «спера-гор» «додавання»

<мод^)1кац!я>

«список дод. > «ввдалвняя»

«додавання» ! <модаф1кац!я> | «видаденыя»

■■3" add < структур» К СПИСОК 8ТрКбут1Р>1

< values <СПИСОК ЗВаЧбНЬ» <38пис> к- modify <структура> ias <посклх8>1

set <СПИССК ДОД. > ... where <уМОВЭ>

я- «!м"я атрибута» » «значения» | «оператор» в- erase <структура> ias <П0СИЛК8>1 wiere «умова»

«запит» ■■?

<стр. занит» -

«мноя.оператор»; «порядок» <спецнф1каЩя> :

<seloct-f rom>

«список атрибут «структура» «ушва>

«предикат» «nopiBHH4Hfl>

<nest-занят» «Функц1я»

«значения» oiiTopajP

Засоби зышт1в.

■ «спациф1квЩя> | «стр.оэштг» |

<функц1я><заяит> ) «маож. оператор

■ nest <п»а »-запит» on <счисо1£ атрябут1в»

sas «список avpH6yT!B>i i

unNEST<n»st-3anaT> on «список атрибут!в»

order <nest-ЗаНИТ» BY <ТОрЯДОК> »• union i intersect 1 difference :» asc i de3c

p- «select-Ггзп»» f WHERE «ушВа» I

select «список атрибут tb> from «структура» ! j» я- all i «:атрибут». •.. s» <il.l"K структур!» I <r»»st~38TIHT> «predicate» I not «удава» I «умова» and «умова» I «умова» or «умовз» «атрибут» «порхвняння» «значения»

s-«|s|<h|>|i|> i cnoti

element of | inot1 contains | înot1 subset of

■ <1м"я структур» I «запит»

. max i min i avg i s'jm | count i su.1sume | <us»r_func>

-■« визначена корнстувв^ем функция <л!терал> I empty <сьаг-л(терал> I <пш»-л1тврал> I

<ъир1е-л1тбрал> <ьир1в-л1тераи> "<" <значеннл> к, <значення» ...1 ">" <сь-«-л1ггерал> символьна константа <пига-л1тэрал> да чиелова константа

Осганшм часом ьиникла потреба в розробц! (: створешп СУБД нового кжшння з ийкаатично б1льш сэгатими I дозволяычими б1льш адекватно В1ДОбргЕати предаетну область базовимя моделями. В якост1 тако! базоюI модел! пропонуеться викорастання розшзренох ненордалгзоваяо! рэляцгйно! модел1 даних. При розробц! дослШюго прототипу СУБД поресшдувалшсь такт основн! цШ:

- гпдтрикка структур розшмрэнох нанорчал1 зовано I релящйно! моде Л1 дашн;

- зэбозпеченвя сумхсносп "знизу-вверх" при робот! з базами дансх на основ 1 трэдицгВно! релящйно! кодел!;

- введения ноеш базовкх атрибут1в нульовдго порядку, що гидтржушься СУБД;

- гпдтргмка автоштизованого шструментарм проектування сем вгдношень БД;

- шдтрккха макромови спасу задач груп коркстувач1в; .

- забезлзченЕя тшюво! структура програмно-алгоритм1 чного комплекса п!дтримки БД 1 ршешя задач труп користувачгв;

забазпеченкя вяг'дяого високортвнесого Штерфэйсу кищового користувачя як в плаш. проектувакня БД, так I шдтрикки готсвих 1ЕформаЩйнах систем;

шдтрнмка "прикладного програмного 1нтерфейсу да спещал1зоважн обробки даних.

В результат! проведение доелдаень був розроблеаий експерямэнталыгас прототип СУБД На основ! ненормал!зовано! реляц!йно! уддьд! даних. Значний коудлекс програмно-

алгоритмiчних роб!Т буэ виконапий cjv.ioro з Грабовецьким C.B.

Дясертант- висловлш пдячп1сть колегам по робот!, шп пост1йно його гпдтримували на протяз! всього 15--гир1чкого пер1оду (1978-1993 pp. ) проведения комплексу досл1дясень по лроблокаткц! реляд1йниз моделей баз да них та зкань и Державному ушворситат! "Лыпвська политедшка".

Великий комплекс сумхсяих po6ii був виконанкй з Проданшом М.М., Берком A.D., Грабовецьким Ю.В., Малюют Т.О.. Квдмае» Т.З., ЛнхЯнцем Я.В., Угольковою I.B , 1£уви1ренком В.О., Тавпашем Ю.В., Якушввою Т.В., Копчаком 0.1., як! првдгаяи в творчому колектив! по загальн!й тематик! "Реляц!йн! модел! баз даних та знвнь" п1д кер iвництвом дистертанта виконували науков1 досл1джвння я ршках деракйдаетяих та гогодогов1рнкх тем.

Дясертант глкооко вдячний сво!м няуковкм наставникам BpoHi йосацу Ивановичу та Стогн1ю Алалол!» Александровичу, як! булн безпосереднига науковими кер!вникчет, консультантами та осноннимя натхненниками виконаних дисертвщйшх досл!девяь.

СПИСОК Н1УКСВИХ ПРАЦЬ.

i. Пасичяя; S.B. Бвиоторав вопроси вввлвза рзлкцюннкх баз давних // Кся-грольно-какьратехьаея техника. - Львов, 1961. -Bail.30.С.143-149.

а. Паинзншс В.В. мвтодаштическае основы рзг-работки учевшв САПР баз данннг // Тр. и Всасош. кэвф. "Банта данных". -Ташкент,1982. - C.S6-6G.

3. Паснчнни В.В. Рвлэтрвэнннй подход к автомалгафававною,* проеэтярованип АС? // Тр. Вевсоюз. конф. "Аншшз Еффокташаостк а качества щовкщававяя к Дуикцяпнарозанм АСУ в народам хозяйства". - ДьиовДЭвЗ. - C.220-22I.

4. Стошй a.a., Пвапншс в.а. Рвляцгонниэ модая* Саг данных. - К. : SC ан УСЛРДЗбЗ. - 2SS о.

е. Посячвжк В.Х, Цроданш Н.Ы. Проектчрованкв реляционных баз "дашва да (ШР иисргвлвктроннге аширвтп*! // Воесоюз. _ nay^.-raœ. соиец.нАвкдетЕгацЕЯ прозятгроввняя кЕнро-алвх*-pœaoft ишярвтуры", Эааноград,1583. : Таз. докл.- Зеленоград, 1983. - 0.IQ2-IŒ.

е. лукавдк I.A., осалвоокол к,tí., пбсжчекк в.б. Жооядояагв» «етодав тюЕшеши качества пвредвчк информации a ACT // Тр. i Всеоооз. коаф. "СзстамЕЫв ысслвдрвзшя проблви упрьшэ-ежя качеством я автомэтазацю процессов управления", 21 -23 &bhtj ht? г. - х.дэте. - С.97-89.

7. Пас1чшк В.В., Лукщук Л.А., Обельовська K.m., Досл1даэння нэзод!в Шдквщэння достой i ршст 1 горвдач! 1нформацП а А»' // Bisa. Льв1в. кШтехн. 1н-ту. - ir,/9. - * 135 : Автокатичн1 та 1н1ор^12ш>-оСчж1дгввльн1 npscTpuï. - С.65-76. е. Стогний A.a., Врала И.И., Яасичник В.В. Средства в вв-годи автэиатшмцивашлго проектирования реляционных баз данных //, Ивтариаш m Всасош. хонф."Банки данных". - Таллин,1985. -СЛШ-IIS.

е. Брава И.И., Стогний A.A., Пасзчник В.В. Исшдьзовгнив пвр-. сональных ЭВМ для разнятая инструментальных средств проекти-ровання реляционных без данных // Коаф. НВВВТ тавтоматазацни инфсрищгонннх процессов на персональных ЭВМ, ВНР.Вудапэтт, 1966 г. - БудапвштДЭЗБ. - С.12-14.

îo. Стогшй A.A., Пасичник В.Б. Редяцвэлнкв модели бэз данных.

- М.гЦЙТИ "Акмпга©ори",ийЗ. - 296 с.

il. Пасичник В.В., Проданзк? Н.Ы. База знавв£ вкспергаой сас-тош проектирования реляционных баз данных // 1"аспредалвнпвя обработка даявтг и лжалъиыэ счти ЭВМ :(Натергалы семинара), Москва 1387 г.- Ы.:ВДИТП,19е7. - 0.136-142. îs. Пасичиак B.D., Продаж« H.H. Скнтез концептуальных схем распределенных реляционных баз данных // Тез. докл.и Есесоьз. ковф. "Цроблеш создания ВЦКП и распределенных автоматизированных башня данных в городе»» хозяйстве",26-28 мая 1987 г. -И..КЭТ. -C.ÏI7-II8.

13. Отогний A.A., Броне 1.И., Пасичник В.В. Шдолирова:вю вре-ивягого параметра в процессах проектирования реляционных баз данных // Яатериилы vi Всесотан. шкшш-сешнара "Распзрадлв-ливаняв обработки информации",10-23 пая 1987 г. - Львов,1387.

- 4.1. - С.187-189.

14. Пасичник В.В., Кудрявцев А.Т. Аппаратура сортировки отш-шввий в реляционных базах данных // Ыатзриалы vi Зсасогв. шяо-ла-семинара "Распараллеливание обработки информации", 18-23 мая 1987 Г. - Львов, 1987. - 4.1. - 0.150.

îs. Пссичнхк В.В., Проданпс H.H. Анализ структура экспертных систем // Вести. Львов, политеха, ин-та. - 1986. - * 219 : Технические средства вагона газации измерений и управления научными исследованиями. - 0.7-10.

10. . Пасичник В.В., Проданпс Н.Ы. Подсистема базы знаний экспертной систем* проектирования реляционных баз данных // Контрольно—измерительная техника. - Львов, 1987. - Еш.43. -С.61-69.

17. Пясичник В.В. Средства и метода анализа реляционных моделей баз данных: Авгораф. дас. ... канд. фвэ.-мат.кэук / АН УССР. Ин-т кибернетики им. В.И.Глушкова. - К.,3984. - ,26с. îa. Пасичник В.В., Колчак О.И., Проданш Н.М. Дшшзговэя подсистема нормализации схем реляционных баз данных - Львов,1997. - 143с. - (Иафорч. листок / ЛвЯТЩГГЙ ; а 225/87).

is. Броне Й.И., Пасичник В.В., Копдак O.K., Диалоговые процедуры логического проектирования реляционных оаз д^нных/зна нзй // Тр. il Респ. Еoni, "Прой»шю-оргэвта|юваншп дяалого-шв еастеш". Бэт^сгг, &-в oxr.TSS? г. - "Малаек-0.252-2SÏ.

го. Пйсвчвее В.В., Крагай 0.1. Ваза знаний по здэнтнфакадги и расгозшЕаяша рошршх точек в рефлексотерапии //Тр. и Все-соЕЗ. kohS- " Математические мзтода распознавания обраг,ов", 10-12 ноября IS87 г. - Львов,1987. - С.222-224. ai. Пасичник В.В,,, Ксшчак О.И. Расиозаззание информационных инвариантов проблемной области в процессах проектирования баз данных // Тр. их Все союз. ковф. "Математические «гэтода распознавания обрэзов", 10-12 ноября 1337 г. - Львов,1987. -С.217-320.

22.. Пасачнзк В.В., Грица O.K., Копчак О.И., Конструирование схем рашдшвнах баз данных средствами языка ПРОЛОГ // Материалы I шгросп. студ. кауч.-тэхн. конф."Резботка автокатизи-роаанша систем управления". - К.,1987. - 0.89- 91. - Дэп. в УкрНИЙНТИ 04.04.89,* 998-Ук8Э.

аз. пасичник В.В., Копчак O.K. Технология проектирования и создания прокшленных баз данных ориентированных на иерархическую кодвль // Тез. докл. Всэсовз. семинара "Актуальные проб-лака рззиптзя шрепьктввнше анфорыацданацх технологий* ,27-28 акт. 1537 г. - К. ,1937. - С.65-68.

2<t. Пасичник В.В., Продашк Н.Ы. Информационная система для автоматизированного анализа экспертных систем // Тез. докл. Всесоаз. сешсаара "Актуальные проблемы развития перспективных информационных технологий" ,27-28 окт. 1987 г. -• М. ,1987. -С.25-28.

2S. Пасичник В.В.,Верес В.З., Копчак О.И. Реализация процессов проектирования реляционных баз данных средствами языка ПРОЛОГ // Контрольно-измерительная технике. - Львов,1988. -Вал. 44. - С.80-92.

га. Стогний A.A., Врона И.И., Пасичник В.В. Электронный журнал. Аналитический обзор // Веста. АН УССР. - К.,1988. - *2. -С.41-52.

Я7. Пасичник В.В., Продаяш Н.Ы. Инструментальные средства проектирования баз дошнх // Тез. /рол. i Всесовз. науч. конф. "ЕкЗйсркатика и науков-аденЕе".- Тамбов, 1ЭвЗ. - 0.165-168. ай. Малюта ?.А., пасичник З.В. Реализация диалогового цроок-тнросаная реляционных баз двншас с использованием реляцтнапй ВД // Материалы респ. нон£. "Проблемно-ориентированные диалоговое састэин", 25-28 окт. ISS8 г. - Батут,1383. - G.140-145. га. Пасичник В.В., Фалэса С.М. Графгеесков провктнровашэ реляционных баз данных // КонтрольЕо-нзкэрительная техника. -ЛьеовДЗВВ. - Вап.4Г>. - 0.43-50.

30. Пасичник В.В., Верес Q.U., Копчак О.И. Реализация процессов проэктировашш реляционных Sas данных средствами языка ПРОЛОГ // Контрольно-измерительная техника. - Львов,1988. -Вып.45. - С.24-30.

31. Кушнгрзнко В.А., Пасичник В.В. Социализированный транслятор с языка обработки реляционных баз данных и знаний // Веста. Львов, шлитэхн. ин-та. - 1383. - # 229 : Технические средства автоматизации измерений и управления научными исследованиями. - С.78-81.

за. Пасичник В.В., Фадеев О.Ы. процедура графического проектирования реляционных баз данных // Материала их Всесого. конф. "йэтода сродства обработка слоеной графической ¿формации", 6-8 сеет. 1388 г. - Горький,1383. - С.242--245. зз. Брона Й.И., Пасичник В.В., Прсдвнга Н.Ы. Представление знаний в экспертной системе проектирования реляционных баз данных // Тез. докл. Всесгаз. конф. по искусственному кителенту, Пераслшшь-Задлвсккй, 21-25 ноября 1983. г. - Ы. ,1988. -С.251-255.

за. Калита т.А., Пасичних В.В. Расширенна средств реляционной СУБД для обработка размытых значений данных // Тез.-докл. Всо-соЕз.няуч.-практ. шкоды-семинара "Прогрвкккое обеспечение ЭВМ: индивидуальная технология, интелвктуализацая разработки и прн-ганакто",5-10 дэк. Т988 г. - Ростов-на-Дону, 1988. - 0.74-76.

зз. Экспертные систему - эффективный инструмент соБреетнас ИЕфор*ационниг технологий / Отопшл A.A., Броня И. и., Пасичник В.В., Проданш H.H. // Веста. ДК УССР. - I98S. - *5.

- С.17-26.

зе. Брока Й.И., Малита Т.А., Памчвик В.В. Реляционные базы данных с нвчаткики значениями // Реляционные брзи данных с не-чьтккка значэнаяжи. - Новосибирск,I3R9. - С.1-53. - (Прэпр./ АН СССР. ВЦ СО ;846)..

37. Stogniy A.A.. Malyuta Т. А. ,Pasitschnik V. V. Means for management of relation fuzzy data bases-way to merging of systems of data bases and knowledge bases// Lecture Notes in Computer science. - fV?rlin;Tokyc: Spr 1 nger : Ver 1 ag, 1989. - X 364.

- P.337-347.

за. Ыалюта Т.A., Пасичник B.B. 5!нтел£ктуализ8ц2н реляционных баз данных путем введения в них возможностей работа с неполной И неточной информацией // Conference on intelligent management systems / Bulgarian academy of science,, - Varna ,1989. -^.36-ICP,

за. Пас1чник B.B., Берко A.D. Примевзниэ зниний в проектировании реляционных баз данных // Conference ал Ir.tal 1 igent management ¿ystems / Buigд.-ian »cadamy of science. - Varna.I9QS.

- P.362-368.

4.0. Pasitschnik V. V. .Malyuta T. A Use of at>str4.ct data types to nanupylate the incomplete and imprecise information ii. relational databases // lH'-th International Seminar on Database Management. System. - Suzdal,1289. - Books 2.- P.132-135.

Пасичник D.B., Тавпаш S.A. Компактное представлокка отношений в базах данных // Материалы мевдунар. конф. молодых ученых.апрель 1989 г. - К.,1989. - С.122-123. ¿2- Пясичню: В.В., Тавпаги С.А. Программные средства поддержки цвлостаости г реляциояных базах данных // Тез. докл. iv Рса-созз. юонф. "Проблемы управления большим городом" , Москва , апр. 1989 г. - М. ,1989. - СЛ0Э-Ц0-

43■ Пас1чнзк В.В., Тавпаш O.A. Распознавание типов ¡зависимостей в реляционных базах даннта // Тез. докл. Всесога, тюнф. "Математические ттг i распознавания образов",Рига.охтЛЭВЭ г. - К. ,1989. - C.II4 -116.

5о

-* ' - Пасичник B.B., Кушпррешю З.А. ИетелАктуьлизировенннй АРМ чглсрэфлексогералевта на базе ПЭВМ профессионального класса // Тез. докл. Всесоюз. конф."Применение АРЫ на базе ПЕВМ в непромышленной сфере", Москва, окт IP89 г. - tü,I983. - C.62-G3. аз. Брона И.Й., Пчскчник В.В., Малвта Т.А. Неопределенные и неполные значения в реляционных базах данных // Материала iv Всесоюз. конф."Банки данных и знаний" ,Калинин, нояб.1983 г. -Калинин,1989. - С.т-18.

dö. Информационная слзтома научного исследования по проблеме "Экспертные системы и ВЗ" / Стогняй A.A., Брпк-j И.И., Паскч-ник в.в., Предание н.М. // Сб. тр. / вдн мта- sztaki. - Будапешт,1988. - s 214. - С.7-37.

»7 Анализ ЭС из сферам применения / Отогний A.A., Брона И.И., Пасичник В.В., Проданш ,'f Сб. тр. / ван мтд sztäki . - Будапешт, 1988. - в 314. - С.39-79.

¿е. Терминологический словарь проблекзий области ЭС а Б Знаний / Стогний A.A., Брона К.И., Пасичник В.В., Продашж H.H. // Сб. тр. / ван мта szta'.-i. - Будапешт,1988, - * '214. -С.103 121.

40. Англо-русский словарь по экспертным системам Стогний A.A., Бронз И.И., Пйсечник В.В., Продагозс Н.М. // Сб. тр./ ван мтд sztaki. - Нудапешт,1983. - * 214. - С.123-138.

список опушпковши: метсдошх розробок.

so. Пасичник В.В. Исследование структуры информационные массивов в АСУ : Инструкция к лабораторной работе по ОПАСУ / ЛПИ. - Львое,1983. - 17 е..

st. Пасичник B.iT. Методические указания к выполнению курсовой рабо-.н с а цементами НИК! по "Исследования операций" : Методические указания по курсовой работе "Исследование операций" •/ ЛПИ. - ЛьвовД'^б. - 12 с.

за. Пасичник D.B., Проданш Н.М. Исследование структур СУБД "ркбд" и процессов создания реляционных баз ,¿энных : Инструкция к лабораторной рабств по курсу "Базы и банки данных и знаний" / ДЛИ. - Львов,I9TS. - 21 с.

53. Пасйчник В.В., Продажи Н.Ы. Исследование процрда^,формирования запросов и генерация отчетен с шпюцьв реляционной СУБД "Рибд" : Инструхцяя к лабораторной работе ira курсу "Базы и банки денных и знаний" / ЛПИ. - Львов,1988. - 19 с. 34. Пзснчмк В.В., Продашк н.М. йссладоваше процвссов проектирования реляционных сзгтаа : Инструкция к лабораторной работе tíi по курсу "Базы и банки данных и знаний" /ЛПИ. - Львов, 1988.

- 26 с.

ss. Паскчшж З.В., Проданш Н.М. Мвтодаческие указания для са-шсто «тельной работы по изучению отдельных глав курса "Базы и банки данных и знаний" / ЛПИ. - Львов,1988. - 47 с. , вв." Паснчник В.В., Налета Т.Д. Мвтодичвскиь указания по са-шстоятелъной работе студентов при изучении отдельных глав курса "Базы и банки данных и знаний (экспертные системы)/ ЛПИ. - Львов,IB88. - 50 с.

57. Паснчник В.В., Проданш Н.Ы. Исследование програшяго-тех-ническах средств для автоматизации процессов проектирования : Инструкция к лабораторной работе #1 по курсу "Автоматизация процессов проектирования" /' ЛПИ. - Львов,1988. - 31 с. 53- Паснчник В.В., Проданш Н.Ы. Исследование процзссов созда-еня база знаний экспертной систека проектирования баз данных : Инструкция к лабораторной работе #2 по курсу "Автоматизация процессов проектирования" / ЛПИ. - Львов,IS88. - 36 с. ss. Паснчншк В.В., Прсданкк Н.М. Язык логического программирования Ы-ПРОЛОГ : Учеб. пособие ш курсу "Автоматизация процветав проектирования". - К.:УМКВ0,1989. - ПО с. со. Паучник В.В., Грабовецький Ю.В. Ыетодачн1 вказ1вки до вивчення теми "Вторил i зован i раляц!йН1 модел1 даних" курсу "Бази та банки даних t знань" / ЛП1.-Льв!в,1Э90.- 4.1.- 43 с. ei;. Пяз1чник В.В., Грабовецький D.B. Методачш вказ!вки до самостийного вивчення окремих роздШв курсу "Бази i банки данях та знань" з теми "Ненормалхзоваш рвляцШп нодел! даних" / ДШ. - JbBiB,I93G. - Ч.Й. - 43 с.

82. Песочник В.В., Тавнаш D.A. Ивтодачш bk8síbkk до вивчення окремих розд1Л1В курсу "Бази i банки даних та знань" з теми "к-знача i лог i ки в анвл1з1 реляцШних даних" / ЛТП. - Льв'.в, 1981. - 28 с.

бэ. Паслчпкк B.B., МАлвть Т.О. Ма-тодачн! вказ1Екп по винчении окреких роздтлхв курсу "Вазн тя банки д.эшп i зпань" (poamri ■кч пуст! значения в роляцгПшк базах даних } / ЛГГГ. - Льв!в, 1990. - 43. с, -

СПИСОК 3BITIB ПО ЗАВ2РШЕШК НДР.

et. Доол1да»ння та розробка окремах кокпонэпт1в вкспортвог систем антоматизованого проектування р9ляц!йнпх баз давних : Зв!т про НДР (гавврш.) / ЛИ ; KepiBHSK Пас1чник В.В., Лука-щуя Л.О. à 01370001864. - .Tbi)tB,I383. - 320 с. - т-

кон.: Продавшк М.М.

Розробка та досл1джвкня кодул!в екгаертно! саствми проектування рэляц£Йних баз даннш та знэнь: 33ÏT про НДР (завери. ) / ЛИГ ; Квр1внж П8С1ЧНИК В.В. - м 01860053898. - Льв1в, 1987. -245 с. - В1ЯД. вш:о_н. : Кспчак 0.1.

te. Розробка элемент tp ввтоматизовако! системя обробки баз данах та знань рел>щ!Яного типу на основ! персональких EDM про-3»с!Ешгс класу : Зз!т про НДР (завврш.) / ЛШ ; Кер!вник Па-Ш1ЧЕШЯ В.З. - a 0Î890G57488. - Льв!в, 1S9I. - 320 с. - В1ДО. ижсое. : ГрабоввдькиЗ Р.В., Тавпаш D.A., Берхо A.D. в?. £осл!дг*чня та розробка олвквнт{в систем обробки даних на öasi nr,Ti профвс!йяого клчсу з ор1ентац1йю на СУБД ррладейного may : 3bît про НДР (заЕерш.) / ЛИГ ; Kepiвник Пвс!ч-кик В.В. - * 01890040X41. - Льв!в, 1992. - ZSZ с. - В1ДЛ. ви-коя.: Малята Т.О., Копчад 0.1.

68. ^озробка комплексу АРМ in на örai ПШ.1 д-тя явтоматизац!ï npou.eciB opraz';зчц!йно-эколои iчпого упрашйння ЛВО "Пластмае-фур'йтура" : 3bït про НДР (завери. ) / ЛТС ; Kept вник Паучник В.В. - е 0I9I005295I. - Льв!в,199Т. - 25S с. - В¡ДО'. ви-кон.: Кравець П.О., Андреева Л.1., Буров Е.В. es. Гозробка йьтоматизовешп !нформзц1йнгн системи для паукового няпрямку "Одяор!дн! обчислшрльн! середоквдэ та сгс.тол:ч-н! структури : Зв1т про НДР (з.чвери.) / ЛШ ; Kepi вник Паучник п.В. - л- ОТ89000905Я. - ЛъВ1й,1989. - 185 с. - В1ДЗ. ви-тсон.: Когтчак О.Т., Малютн Т.О.

Ь9

70. ВэлщЩн! модал! баз г.чнжх : Зэ!т цро КД? (вавэра.) / ЯП; ReplEHFxt IXfiCinax В.В. - .' 01Ш0057829. - Льв1в.1Э30. - 327 с. ' - В1дп. бекон. : Верно A.D., Грабовэцький Ю.В., Тевпаш Ю.А.

71. Стйорэнзя програшо-мотэкатичкого комплексу розяяреотя фун-кцЮзальпжг кокличоствй систем баз данях 1 знэнь реляд!йного типу на основ! впарату катрадец1йши лог!к: Зв!т пт НДР (завари.) / ЛШ Нор1внлк пэс1чът£к В.В. - ä DISI004T76T). - Льв5в, 1991. - 257 с. - В1дп. викон.: Грабоведасай В.В., JicSt-звць Я.В., 'Гавпаш Ю.А.

Г.1ДП. до друку gsnip друк. » 2 лыоън.фарб.-вхд« __Тирал /РбПЯЫ

Д1льшщя оцервтиэного друку ДУЛГ1 ^Львхв, вул. Горсдсцька, 286