Үшінші қалыпты түр

Үшінші қалыпты түр (ағылш. Third normal form; немесе 3NF) дерекқор нормалауында қатынастың барлық кілт емес атрибуттары кандидат кілттерінен тәуелді болуын тексеруіне арналған қалыпты түр (форма) . 3NFтың екінші қалыпты түрінен айырмашылығы: 3NFтың барлық кілт емес атрибуттары кандидат кілттерінен тәуелді болуы шарт. Сондықтан Bill Kent айтуынша, 3NF тілеуі: " қатынас кілтпен ғана негізделеді, тек қана кілтпен".

Формалдық анықтама

өңдеу

Айтайық:

  •   қатынас схемасы болсын,
  •   бір қатар   ды үстайтын функциялық тәуелділік/функциялық тәуелділіктер болсын
  •   -  дың бір қатар жиыны болсын
  •   -  дың атрибуттары болсын

Еғер, әрбір   түріндегі функциялық тәуелділікке төмендегі жағдайлардың біреу сәйкес келсе   үшінші қалыпты түрде болады.

  •  ; деғеніміз,   тривиалды функциялық тәуелділік,
  •   суперкілт болса,
  •   -   кілтіне кірсе.

кез келген жартылай тәуелділіктегі немесе тразитивті тәуелділіктегі қатынас үшінші қалыпты түріне кірмейді.

Мысал

өңдеу

Мына қатынасты көрелік:

Механикалық бөлшек
Бөлшектің нөмірі
(primary key)
Өндірушінің аты Өндірушінің мекен жайы
1000 Toyota Park Avenue
1001 Mitsubishi Lincoln Street
1002 Toyota Park Avenue

Бұл жерде, өндірушінің мекен жайы қатынасқа кірмейді. Сондықтан өндірушінің мекен жайы бөлек кестеге өз аттрибуттарымен көшірілу керек.

Өндіруші
Өндірушінің аты
(primary key)
Өндірушінің мекен жайы
Toyota Park Avenue
Mitsubishi Lincoln Street

...бастапқы кесте енді былай болу керек:

Механикалық бөлшек
Бөлшектің нөмірі
(primary key)
Өндірушінің аты
1000 Toyota
1001 Mitsubishi
1002 Toyota

Кесте 3NFте болмаса әрбір өндірушінің атына біз артық мекен жай қосуына мәжбір болушедік (Әр өндірушінің атына бір мекен жай емес, әр бөлшектің нөміріне бір бір мекен жай беруге тура келушеді).

Дерекнама

өңдеу

Дерекнама

өңдеу

Сыртқы сілтемелер

өңдеу