Нормаллаштириш нормал формалар нормалаштириш - Информатика и ИТ - Рефераты

Нормаллаштириш нормал формалар нормалаштириш

Загружено в:

20.09.2019

Скачано:

0

Размер:

180 KB

Нормаллаштириш нормал формалар нормалаштириш

Реляцион МБ муносабатларида структурали ва семантик ахборотлар сакланиши мумкин. Структуравий ахборотларни биз муносабат схемалар ёрдамида биламиз. Семантик ахборотлар эса муносабат схемаларда маълум булган ва хисобга олинадиган ва атрибутлар уртасидаги функционал боғланишлар билан ифодаланади. МБ сидаги муносабатларда атрибутларни таркиби 2 куйидаги талабга жавоб бериши керак. 1. Атрибутлар уртасида нохуш функционал богланишлар булмаслиги керак. 2. Атрибутлар гурухланиши маълумотлар такрорланишидан энг кам холатининг тахлиллаш керак ва улар кайта ишлаш ва тиклашни кийинчиликсиз амалга оширилиши керак. 3. Куйилган МБ муносабатлари нормаллашади. Муносабатлар нормалаштириш МБ да берилган муносабатларни декомпозиция (ажратиш) жараёни ёрдамида содда ва кичик муносабатлар хосил килишдир. Фамлияси Телефон Талаба Ашуров 4767777 2341717 Солиев 1365556 2341717 Солиев 1365656 2485888 Амиров 2351717 2485888 Амиров 2381817 Амиров 2351817 Ҳар бир муносабатда кортежлар идентификатор калитига эга бўлиши керак. Калит қуйидаги иккита хоссага эга бўлиши керак: 1 1. Картеж калит қиймати билан бир қийматли ифодаланиши керак; 2 2. Калитда ортиқчалик бўлмаслиги керак. Бу дегани ҳеч қандай атрибутни калитдан олиб ташлаш мумкин эмас. Реляцион МБ да информацияларни ортиқчалигини нормаллаштириш йўли билан камайтирилади. Жадваллар устида ҳар хил амаллар бариш мумкин. Бу амалларни тартиблаб ишлаб чиққан одам Кодд. Амалларга қуйидагилар киради:  Тўпламлар устида бирлаштириш, кесишув, айирма, декарт кўпайтма ва бўлиш амаллари киради.  Махсус реляцион амаллар, уларга: пролекция, бирлаштириш, ажратиш (танлаб олиш) амаллари киради.

Муносабатлар устида амални бажариш учун ишлатиладиган тилларни икки синфга ажратишимиз мумкин: a) Реляцион алгебра тиллари; b) Реляцион ҳисоблаш тиллари. Муносабатлар ўз мазмунига қараб икки синфга ажратилади: a) Объектли муносабатлар; b) Боғланувчи муносабатлар; Объектли муносабатларда объектлар ҳақидаги муносабатлар сақланади. Масалан, талаба муносабати. Боғланиш муносабатларида асосан, объектли муносабатларнинг калитлари сақланади. Калит атрибутлари оддий ва мураккаб бўлиши мумкин. Агар калит иккита ва ундан ортиқ атрибутдан ташкил топган бўлса, мураккаб ҳисобланади. Фамили я Кур с Мутахасисл ик Собиро в 2 Математика Алиев 4 Физика Хабиро в 3 Химия МБ узлуксиз ўзгариб туради. Унда янги маълумот элементлари қўшилади. Улар орасида янги алоқалар ёки боғланишлар ўрнатилади ва уларни қайта ишлашни янги усуллари қўлланилади. Бу жараёнда имкони борича фойдаланувчи яратган МБ билан ишлаш учун яратилган программа иловасини кам ўзгартиришга ҳаракат қилади. Бу муаммони ҳал қилиш учун маълумот элементларини асосли равишда гурухларга бирлаштириш ва улар учун калитларни аниқлаш йўли билан ҳал қилиниши мумкин. Ҳозирги кунда ахборот тизимларни ишлаб чиқарувчилар маълумотларни 3 – нормал формада тасвирлаб ишлатишни таклиф этадилар. Функционал боғланиш тушунчаси Реляцион МБ да маълумотларни структурасидан ташқари уларни схематик информациясига ҳам этибор берилади. МБ ни структураси ҳақидаги информация муносабат схемаси ёрдамида берилади. Схематик Талаба Фан Собиров Алгебра Алиев Тарих Алиев Алгебра Хабиров Дастурлаш

информациялар эса атрибутлар орасидаги функционал боғланишлар орқали ифодаланади. МБ муносабатларида атрибутларни таркибини қуйидаги талабларга жавоб берадиган қилиб гурухлаш керак:  Атрибутлар орасидаги зарурий бўлмаган такрорланишлар бўлмаслиги керак.  Атрибутларни гурухлаганда маълумотлар такрорланиши минимал даражада қилиб таъминланиши керак. Бу бевосита маълумотларни тез қайта ишлаш имконини беради. Бунга нормаллаштириш жараёни ёрдамида эришилади. Нормаллаштириш деганда берилган муносабатни бир неча марта оддий ва кичик муносабатларга ажратиш тушунилади. Бу жараёнда мумкин бўлган барча функционал боғланишлар аниқланади. Мисол. А ва В атрибутлар берилган бўлсин. Агар ихтиёрий вақтда А атрибутни биттадан ортиқ бўлмаган қийматимос келса, унда В атрибутда функционал боғланган дейилади ва қуйидагича белгиланади: А → В Шахсий номер → Фамилия Масаби → Маош боғланишлар Нормал формалар Нормал формаларни ўрганишдан олдин нормал бўлмаган форма тушунчасин и ўрганиб чиқамиз. Нормал бўлмаган форма (ННФ) – бу бир ёки бир нечта такроланувчи маълумотлар гурухига эга бўлган жадвал. Такроланувчи гурух тушунчаси . Такрорланувчи гурух ЕR – диаграммалардаги муносабатнинг кўп қийматли атрибутига мос келади. Такроланувчи гурух (repeating group) - бу ҳар бир майдонида бир нечта қиймат жойлашган атрибут. Мисол . Масалан ходимлар муносабатида (жадвалида) фарзандлар номини ва туғилган кунларини сақлаш зарур бўлсин. Ҳар бир ходимда бир нечта фарзанд бўлиши мумкин. Шунинг учун фарзандлар туғилган куни ва исмлари такрорланувчи гуруҳни ташкил этади. Xodimlar

Xodim_I D Ism Fam Farzand ismlari Farzand tug_kun 1001 Jane D ое Масу, Sа m 1/1/92,5/15/94 1002 John D ое Mary, Sа m 2 / 2 /92, 5 /1 0 /94 1003 Jane S m ith John, Pat, Lee, Масу 10/5/94,10/12/90,6/6/96,8/21 /94 1004 John S m ith Michael 7/4/96 1005 Jane Jones Edward, Martha 10/21/95, 10/15/89 Расм 1.Такрорланувчи гурухга эга бўлган нормаллаштирилмаган муносабат Бу жадвалда кўриниб турганидек ҳар бир сатрнинг иккита устунида ( Farzand_ismlari, Farzand_tug_kun ) биттадан кўп қиймат жойлашган. Бу жадвалда келтирилган маълумотлар бир мунча тартибсиз ёки тушунарсизликка ухшайди. Такрорланувчи гурухларни бартараф этиш . Келтирилган жадвални биринчи нормал формага келтиришнинг ёки такрорланувчи гурухларни бартараф этишнинг иккита усули мавжуд: нотўғри ва тўғри. Нотўғри усул . Биринчи усулда такрорланувчи гурухлар ҳар бир такрорланувчи қиймат учун жадвалга алоҳида устун қўшиш орқали бартараф этилади. Баъзи холатларда бу усул тўғри бўлади. Баъзи холатларда эса жадвал биринич нормал формага келгани билан гурухдаги қийматларнинг сони билан боғлиқ муаммо келиб чиқади. Мисол . Юқорида келтирилган жадвалда Farzand_ismlari ва Farzand_tug_kun устунларини учта устунга ажратамиз. Xodimlar Xodi m ID Ism Fam Farzan d 1 ismi Farzan d2 ismi Farzan d3 ismi F1_tug _k F2_tug _k F3_tug_ k 1001 Jan e D ое Масу Sа m 1/1/92 5/15/94 1002 Joh n D ое Mary, Sа m 2 / 2 /92, 5 /1 0 /94 1003 Jan S m it John, Pat Lee 10/5/94 10/12/9 6/6/96

e h 0 1004 Joh n S m it h Michael 7/4/96 1005 Jan e Jone s Edward Martha 10/21/9 5 10/15/8 9 Расм 2. Такрорланувчи гурухларни нотўғри бартараф этилиши 2 расмда келтирилган жадвал биринчи нормал форма талабларини қаноатлантиради. Бироқ унда бир қатор муаммолар вужудга келган.  Жадвалда хар бир ходим учун фақат учта фарзанд ибалн чегараланган. Унда ходимнинг 4-фарзанди хақида маълумот сақлаш имкони йўқ.  Ходимларнинг фарзанди учтадан кам бўлган ходимларда жадвалнинг кўгина қисми бекор қолади.  Конкрет фарзандни излаш амали мураккаблашади. Тўғри усул . Иккинчи усулда боланғич жадвалдаги бирор атрибут ёки атрибутлар калит сифатида белгиланади, кейин такроланувчи гурухлар жорий жадвалдан олиниб алохида жадвалга ўтказилади. Бунда такрорлунвчи гурухдаги ҳар бир қиймат калит нусхаси билан бирга янги жадвалга ўтказилади. Янги жадвалга ўтказиш ҳар бир такрорланувчи гурух учун бажарилади. Агар яратилган жадвалда ҳам такрорланувчи гурухлар мавжуд бўлса улар учун ҳам тўғри ёки нотўғри усул қўлланилади. Мисол . Келтирилган мисолда фарзанд исмлари ва туҳилган кунлари хақидаги маълумотлар янги жадвалга ўтказилади. Унда бошланғич жадвалда Xodimlar Xodim_ID Ism Fam 1001 Jane D ое 1002 John D ое 1003 Jane S m ith 1004 John S m ith 1005 Jane Jones Farzand Xodim_ID Ism Tug_yil 1001 Масу 1/1/92 1001 Sа m 5/15/94 100 2 Mary 2 / 2 /92 100 2 Sа m 5 /1 0 /94 100 3 John 10/5/94 100 3 Pat 10/12/90 100 3 Lee 6/6/96 100 3 Масу 8/21/94 100 4 Michael 7/4/96 100 5 Edward 10/21/95

100 5 Martha 10/15/89 3 расм. Такрорланувчи гурухларни тўғри бартараф этилиши Биринчи нормал формага бўлган талаблар қуйидагилардан иборат: 1) Берилган бошланғич муносабат тасвирланган реляцион жадвалнинг ҳар бир атрибутининг қиймати атомар бўлиши керак. Яъни бу қиймат реляцион жадвал (муносабат) бўлиши мумкин эмас; 2) бошланғич муносабат маълумотлар орқали – яъни реляцион жадвал ва унга тегишли бўлган маълумотлар базасининг бутунлик шартлари орқали ифодаланади. Хусусан бу қуйидагиларни билдиради:  жадвалда бир сатрлар (кортежлар, ёзувлар) мавжуд эмас;  ҳар бир устун жадвалда атрибут номи билан номланган ва атриьутнинг жорий қийматларидан иборат бўлади;  ҳар бир атрибут маълум домен (маълумотларнинг абстракт типи) билан боғланган; 3) агар реляцион жадвалда (муносабатда) ушбу жадвал илан ишлаш эътиборга олиниши керак бўлган функционал боғланишлар мавжуд бўлса, у холда ушбу боғланишлар маълумотлар базасининг бутунлик шартида қайд қилинади; 4) ёзувлар яққол ва нояққол тартибланган (масалан, жимликка кўра - фойдаланувчига маълум ёки номаълум шаклда). Хусусан тартибланганлигига қатъий талаблар қўйилмайди (бу талаб эффектифлик билан ёки ишлашдаги қулайлик билан боғлиқ); 5) бирламчи калитнинг хеч бири бўш (NULL) бўлмаслиги керак; 6) агар 1НФ даражасида калитлар белгиланса (калит кейинроқ – 2НФ да аниқланиши ҳам мумкин), у холда кўрсатгичларнинг бутунлик шарти қаноатлантирилиши керак. Биринчи нормал форма (1НФ) : Жадвал биринчи нормал формада дейилади, қачонки ундаги ҳеч бир қаторнинг исталган майдонда биттадан ортиқ қиймат жойлашмаган бўлмаса ва бирорта калит майдони бўш ( NULL қийматга) бўлмаса.

Бошқача айтганда биринчи нормал форма бу ҳар бир сатр ва устун кесишмасида битта бўлинмас атомар қиймат жойлашган муносабат ёки жадвалдир. Шахсий номер Предмет номи Соатлар сони Фамилия Мансаб и Маоши Кафедра Тел. 201 ЭҲМ 36 Эргашев Доц. 70000 ЭВМ 4-89 201 ШК 72 Эргашев Доц. 70000 ЭВМ 4-89 202 МББТ 48 Комилов Доц. 70000 ЭВМ 4-89 301 МББТ 48 Бабаев Проф. 100000 АСУ 5-19 401 Физика 52 Ғаниев Асс. 50000 ФЭ 4-12 401 Оптика 20 Ғаниев Асс. 50000 ФЭ 4-12 Агар муносабат 1-н ф бўлса, унда барча калит калит бўлмаган атрибутлар калит атрибутга функционал боғланган. Лекин, боғланиш даражаси ҳар хил. Агар калит бўлмаган атрибут калит атрибутни қисмига боғланган бўлса, у қисман боғланишли дейилади. Бизнинг мисолда соатлар сони (калит бўлмаган атрибут) предметлар номи атрибутига қисман боғланган. Агар калит бўлмаган атрибут барча мураккаб калитга боғланган бўлса, ва уни қисмига боғланган бўлмаса, унда бу атрибутни мураккаб калитга тўла функционал боғланиш дейилади. Агар, А,В,С атрибутлар берилган бўлса ва унда А → В бўлса, В→С бўлса, унда С А дан транзитив боғланган бўлади. Бизни мисолда фамилия, кафедра, телефон. Иккинчи нормал форма (2НФ): Жадвал иккинчи нормал формада дейилади, қачонки агар у биринчи нормал формадаги ифодаларни, майдонларни қаноатлантиради ва бирламчи калит бўлмаганда ҳамда бирламчи калитга тўлиқ функсионал қарам булмаганда? Учинчи нормал форма (3НФ): Жадвал учинчи нормал формада дейилади, қачонки у 2НФ нинг барча шартларини қаноатлантирса ва бирорта ҳам унинг калитсиз майдонлари бошқа бир калитсиз майдонлар билан боғлиқ бўлмаса. Маълумотлар муносабатларда 2НФ га келтирилганда ҳам бир қанча ноқулайликлар бўлади. Жумладан, маълумотларда информацияни ортиқчалиги, амалларни бажариш қийинлиги ва бошқалар. Бундай

муносабатларни 3НФ га келтирилади. 3НФ да транзитив боғланиш йўқотилади.

Агар, А,В,С R муносабатини 3 та атрибути ёки атрибутлар тўплами бўлсин. Агар В атрибут А атрибутга, С атрибут эса В атрибутга боғланган бўлса, яъни , А → В ва В→С Бунда тескари боғлинишлар бўлмаса, унда С атрибут А атрибутга транзитив боғланган дейилади. Уни кўпинча диаграмма кўринишида қуйидагича белгилаймиз: 3НФ бу схемадан ўтиши уни 2 та муносабатга ажратиш билан бажарилади, яъни, Масалан, хизматчи (номер, номи, маош, лойиҳа _ номери, тугаш санаси). Ҳизматчи (ҳиз-номери, ҳиз номи, маош, лойиха номери) Лойиҳа (лойиҳа номери, тугаш санаси). С В А В А В С Номе р Номи Маош Лойиҳ а номе ри Тугаш санас и

Шундай қилиб, R муносабат 3НФ да берилган дейилади, анарда, у 2НФ да бўлса ва R муносабатдаги бирламчи калит бўлмаган ҳар бир атрибут R муносабатни ҳар ҳар бир мумкин бўлган калит атрибутига нотранзитив боғланган бўлса. Умуман олганданормаллаштириш жараёни ва муносабатни 3нф га келтириш қуйидаги босқичлардан иборат бўлади: 1. Маълумотларни ихтиёрий структурасидан оддий структурали 2 ўлчамли жадвалларга ўтиш ва 1НФ ни ҳосил қилиш. 2. Калит атрибутлари билан барча атрибутлар орасидаги мумкин бўлган тўлиқмас функционал боғланишларни йўқотиш ва 2НФ ҳосил қилиш. 3. Мумкин бўлмаган калит атрибутлари ва асосий бўлмаган (нокалит) атрибутлар орасидаги транзитив функционал боғланишларни йўқотиш ва 3НФ ни ҳосил қилиш Бойса-Кодд нормал формаси Жадвал Бойса-Кодд нормал (БКНФ) формасида бўлади, агар майдонлар орасидаги ҳар қандай функционал боғланиш тўлиқ функционал боғланишга эга бўлса. Бешинчи нормал форма (5НФ): Жадвал бешинчи нормал формада (5НФ) бўлади, қачонки ҳар бир тўлиқ декомпозиция барча проекциялари мумкин бўлган калитларни сақласа.

Бирорта тўлиқ декомпозицияга эга бўлмаган жадвал ҳам бешинчи нормал формада (5НФ) бўлади. Тўртин ч и нормал форма ( 5 НФ) агар тўлиқ д е композиция иккита про е кция бирлашмасидан иборат бўлса б е шинчи нормал форманинг хусусий ҳоли бўлади. Нормаллаштириш алгоритми Нормаллаштириш алгоритми (яъни муносабатларни 3НФ га келтириш алгоритми) қуйидаги кўринишда ёритилади: 1-қадам (1НФ га келтириш). Биринчи қадамда предмет соҳа тушунчасини тасвирлайдиган битта ёки бир нечта муносабатлар берилади. Предмет соҳа модели бўйича топилган функционал боғлиқликлар ёзилади. Барча муносабатлар автоматик равишда 1НФ да бўлади. 2-қадам (2НФ га келтириш). Агар қандайдир муносабатда атрибутларнинг мураккаб калитга боғлиқлиги топилган бўлса, бу муносабатни бир нечта муносабатга қуйидаги кўринишда ажратамиз: мураккаб калит қисмига боғлиқ бўлган атрибутлар шу калит қисми билан биргаликда алоҳида муносабатга жойлаштирилади. Бошланғич муносабатда барча калитли атрибутлар қолади. Бошланғич муносабат: ) ,..., , ,..., , , ( 1 1 2 1 m n B B A A K K R . Калит: ) , ( 2 1 K K - мураккаб. Функционал боғлиқликлар:  } ,..., , ,..., { } , { 1 1 2 1 m n B B A A K K  - барча атрибутларни муносабат калитига боғлиқлиги.  } ,..., { } { 1 1 nA A K  - баъзи атрибутларни мураккаб калитнинг қисмига боғлиқлиги. Ажратилган муносабатлар:  ) ,..., , , ( 1 2 1 1 mB B K K R - бошланғич муносабатдан қолгани. Калит ) , ( 2 1 K K .  ) ,..., , ( 1 1 2 nA A K R - бошланғич муносабатдан мураккаб калит қисми билан олинган атрибутлар. Калит 1 K .

3-қадам (3НФ га келтириш). Агар баъзи муносабатда баъзи калит бўлмаган атрибутларнинг бошқа баъзи калит бўлмаган атрибутларга боғлиқлиги топилган бўлса, у ҳолда бу муносабатни бўлишни қуйидаги кўринишда амалга оширамиз: бошқа калит бўлмаган атрибутларга боғлиқ калит бўлмаган атрибутлар алоҳида муносабатларга жойлаштирилади. Янги муносабатда функционал боғлиқлик детерминанти калит ҳисобланади: Бошланғич муносабат: ) ,..., , ,..., , ( 1 1 m n B B A A K R . Калит: K . Функционал боғлиқликлар: } ,..., , ,..., { 1 1 m n B B A A K  - барча атрибутларни муносабат калитига боғлиқлиги. ) ,..., { } ,..., { 1 1 m n B B A A  - баъзи калит бўлмаган атрибутларнинг бошқа калит бўлмаган атрибутларга боғлиқлиги. Ажратилган муносабатлар: ) ,..., , ( 1 1 nA A K R - бошланғич муносабатдан қолгани. Калит K . ) ,..., , ,..., ( 1 1 2 m n B B A A R - бошланғич муносабатдан функционал боғлиқлик детерминанти билан олинган атрибутлар. Калит } ,..., { 1 nA A .

Адабиётлар 1. И.А .Каримов Постановление «О ... по направлению образования «информатика и информационные технологии» rus.tuit.uz/Fil/default.aspx 2. И.А. Каримов. На сессии Олий Мажлиса, май 2001 г. “Экономическое обозрение” № 6, 2002г., «Информационные технологии на службе развития» ru.infocom.uz/more.php 3. Каримов И.А. "Информационные технологии и коммуникации для образования Газета: Правда Востока, №66 4. Каримов И.А., "Информационные технологии и коммуникации для образования и исследований" ngouz.freenet.uz/chronos.html 5. Дейт К. Введение в системы баз данных 7-изд. М. 2001 г. 6. К. Дейт. Введение в системы баз данных. 7-е изд., М.; СПб.: Вильямс.- 2001 7. Гектор Гарсиа-Молина, Джеффри Ульман, Дженифер Уидом. Системы баз данных. Полный курс. Москва, Санкт-Петербург, Киев, Вильямс, 2003 8. К. Дейт, Хью Дарвен. "Основы будущих систем баз данных", М: Янус-К, 2004. 9. Дейт К. Введение в системы баз данных //6-издание. - Киев: Диалектика, 1998. - 784 с. 10. Philip A. Bernstein, Eric Newcomer «Principles of Transaction Processing». Morgan Kaufmann Publishers, Inc., 1997. Сергей Кузнецов. Основы современных баз данных.

Похожие

Нормаллаштириш. Нормал формалар. 1,2,3-нормал формалар. Нормаллаштириш устунликлари ва камчиликлари

HTML формалар

Рнр дастурлаш тили. Рнр тилининг синтаксиси. Формалар билан ишлаш

Delphi дастурлаш мухитининг ёрдам тизими

Microsoft Access да форма ва хисоботлар яратиш