UDBS Cvičení 10 Funkční závislosti



Podobné dokumenty
Úvod do databázových systémů 10. cvičení

Databázové systémy Tomáš Skopal

Relační datový model. Integritní omezení. Normální formy Návrh IS. funkční závislosti multizávislosti inkluzní závislosti

Úvod do databázových systémů

NORMALIZACE Část 2 1

Teorie zpracování dat

Úvod do databázových systémů. Cvičení 12 Ing. Martin Zwierzyna

TÉMATICKÝ OKRUH Teorie zpracování dat, Databázové a informační systémy a Teorie informačních systémů

Kvalita relačního schématu, normalizace

Kapitola 7: Návrh relačních databází. Nástrahy relačního návrhu. Příklad. Rozklad (dekompozice)

Inovace tohoto kurzu byla spolufinancována z Evropského sociálního fondu a státního rozpočtu České republiky.

Princip rozšíření a operace s fuzzy čísly

DBS Normální formy, normalizace

Databázové systémy Tomáš Skopal

Úvod do informatiky. Miroslav Kolařík

Databáze. Logický model DB. David Hoksza

P4 LOGICKÉ OBVODY. I. Kombinační Logické obvody

= 2x + y, = 2y + x 3. 2x + y = 0, x + 2y = 3,

Fakulta elektrotechniky a informatiky Vysoká škola báňská - Technická univerzita Ostrava. Úvod do databázových systémů 2012/2013 IS MHD

Dvojné a trojné integrály příklad 3. x 2 y dx dy,

DATABÁZOVÝ SYSTÉM Proč databázový systém? Vrstvy modelování Konceptuální datové modelování

verze 1.3 x j (a) g k 2. Platí-li vztahy v předchozím bodu a mají-li f, g 1,..., g s v a diferenciál K = f + j=1

7. Normální formy. PŘ: POJIŠŤOVNA Povinné ručení relace Platby

STEREOMETRIE ZÁKLADNÍ POJMY, METRICKÉ VLASTNOSTI, ODCHYLKY, VZDÁLENOSTI. STEREOMETRIE geometrie v prostoru

Úvod do databázových systémů 6. cvičení

Kapitola 6: Omezení integrity. Omezení domény

Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno

Aritmetika s didaktikou I.

Algebraické výrazy-ii

Analytická geometrie ( lekce)

3. Celistvé výrazy a jejich úprava 3.1. Číselné výrazy

Úvod do databázových systémů

Funkce a lineární funkce pro studijní obory

10 Přednáška ze

1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad

y ds, z T = 1 z ds, kde S = S

1. Základné mocniny Odmocnina Tretia mocnina Tretia odmocnina a

Úvod do databázových systémů 1. cvičení

verze 1.3 kde ρ(, ) je vzdálenost dvou bodů v R r. Redukovaným ε-ovým okolím nazveme ε-ové okolí bodu x 0 mimo tohoto bodu, tedy množinu

Databázové systémy. * relační kalkuly. Tomáš Skopal. - relační model

Relace. R, S vyjmenovaním prvků. Sestrojte grafy relací R, S. Určete relace

Projekt OPVK - CZ.1.07/1.1.00/ Matematika pro všechny. Univerzita Palackého v Olomouci

5. Formalizace návrhu databáze

5. Formalizace návrhu databáze

Funkce pro studijní obory

Úvod do databázových systémů

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

5. cvičení z Matematiky 2

Analýza a modelování dat 3. přednáška. Helena Palovská

4.3.2 Koeficient podobnosti

Definice 4.1 Nechť (X, ) je svaz s nejmenším prvkem 0 a největším prvkem 1. Komplement prvku x X je každý prvek y, pro který platí. x y = 1, x y = 0.

Matematická analýza 1

Návody k domácí části I. kola kategorie A

Globální extrémy. c ÚM FSI VUT v Brně. 10. ledna 2008

Schéma identifikační procedury

Funkce zadané implicitně

C8 Relační databáze. 1. Datový model

Úvod do informatiky. Miroslav Kolařík. Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008.

Rys č. 1 Zobrazení objektu

Normální formy. Zdeněk Kouba

2. LOGICKÉ OBVODY. Kombinační logické obvody

analytické geometrie v prostoru s počátkem 18. stol.

EXTRÉMY FUNKCÍ VÍCE PROMĚNNÝCH

1 Predikátová logika. 1.1 Syntax. jaký mohou mít formule význam (sémantiku). 1. Logických symbolů: 2. Speciálních (mimologických) symbolů:

Vektorové prostory R ( n 1,2,3)

Otázka č. 1 (bodů za otázku: 4)

NALG 001 Lineární algebra a geometrie 1, zimní semestr MFF UK Doba řešení: 3 hodiny

HAZARDY V LOGICKÝCH SYSTÉMECH

DBS Konceptuální modelování

Databázové systémy. Normálové formy + kandidátní klíče. 2.přednáška

Typové příklady k opravné písemné práci z matematiky

Spojitost funkcí více proměnných

Obsah přednášky. Databázové systémy. Normalizace relací. Normalizace relací. Normalizace relací. Normalizace relací

Matematika I, část I. Rovnici (1) nazýváme vektorovou rovnicí roviny ABC. Rovina ABC prochází bodem A a říkáme, že má zaměření u, v. X=A+r.u+s.

- shodnost trojúhelníků. Věta SSS: Věta SUS: Věta USU:

= = = : 1 k > 0. x k + (1 x) 4k = 2k x + 4 4x = 2 x = x = = 2 : 1.

Rekonstrukce diskrétního rozdělení psti metodou maximální entropie

Výroková a predikátová logika - VII

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

a počtem sloupců druhé matice. Spočítejme součin A.B. Označme matici A.B = M, pro její prvky platí:

D DE = = + [ + D[ [ D = - - XY = = + -

VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ. FAKULTA STROJNÍHO INŽENÝRSTVÍ Ústav automatizace a informatiky DATABÁZOVÉ SYSTÉMY

A5M33IZS Informační a znalostní systémy. O čem předmět bude? Úvod do problematiky databázových systémů

Zadání. stereometrie. 1) Sestrojte řez krychle ABCDEFGH rovinou KS GHM; K AB; BK =3 AK ; M EH; HM =3 EM.

Úvod do informatiky. Miroslav Kolařík

B A B A B A B A A B A B B

Databázové systémy. Úvod do teorie normalizace. Vilém Vychodil

4. Model M1 syntetická geometrie

Cvičení Programování I. Stručné poznámky ke cvičení ze

VEKTOROVÁ POLE VEKTOROVÁ POLE

Kapitola 2: Entitně-vztahový model (Entity-Relationship model) Množiny entit (entitní množiny) Atributy

LOGICKÉ OBVODY 2 kombinační obvody, minimalizace

9.6. Odchylky přímek a rovin

1 Mnohočleny a algebraické rovnice

Uzavřené a otevřené množiny

FAKULTA STAVEBNÍ MATEMATIKA II MODUL 2 STUDIJNÍ OPORY PRO STUDIJNÍ PROGRAMY S KOMBINOVANOU FORMOU STUDIA

Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.

Databázové systémy. Tomáš Skopal. - úvod do relačního modelu. - převod konceptuálního schématu do relačního

Základní pojmy teorie množin Vektorové prostory

Transkript:

UDBS Cvičení 10 Funkční závislosti Ing. Miroslav Valečko Zimní semestr 2014/2015 25. 11. 2014

Návrh schématu databáze Existuje mnoho způsobů, jak navrhnout schéma databáze Některá jsou lepší, jiná zase horší Jeden z možných postupů je pomocí Funkčních závislostí Definuje postupy, jak automaticky dojít ke správnému návrhu schématu databáze Správně navržené tabulky

Univerzální relační schéma Vytvoření relace se všemi možnými atributy RU(a,b,c,d,e,f) Je vždy prvním krokem automatického návrhu databáze RU (id_oddeleni, nazev, id_zam, jmeno, prijmeni, plat, profese) id_oddeleni nazev id_zam jmeno prijmeni plat profese 1 Vyzkumné oddělení 1 Jan Novak 15 000 Asistent 1 Vyzkumné oddělení 2 Petr Svoboda 16 500 Vědec 2 Personální oddělení 3 Eva Novotná 13 000 Personalistka

Funkční závislost Je definována mezi dvěma podmnožinami atributů v rámci jednoho schématu relace. Jde o vztah mezi atributy, nikoliv mezi entitami Závislost mezi atributy značíme: X Y RU (id_oddeleni, nazev, id_zam, jmeno, prijmeni, plat, profese) id_oddeleni nazev id_zam jmeno, prijmeni, plat, profese

Funkční závislosti Armstrongovy axiomy Pro funkční závislosti existují určitá odvozovací pravidla Tato pravidla se obvykle nazývají Armstrongovy axiomy: Dekompozice (rozklad) Sjednocení Tranzitivita Rozšíření

Armstrongovy závislosti Dekompozice X A,B,C X A X B X C Sjednocení X A X B X C X A,B,C

Armstrongovy závislosti Rozšíření X A,B,C XY A,B,C,Y Tranzitiva X A A B X B

Uzávěr množiny atributů Máme množinu atributů X a množinu funkčních závislostí F Uzávěr množiny atributů X vzhledem k množině funkčních závislostí F je množina všech funkčně závislých atributů na X Tento uzávěr pak značíme X+ Neformálně Máme hodnoty atributů X a funkčních závislostí F, pak do uzávěru X+ budou patřit všechny hodnoty atributů, které dokážeme nalézt pomocí funkčních závislostí F 8

Uzávěr množiny atributů RU (A, B, C, D, F) F(A F, B GH, C G) Uzávěry množin atributů: A+ = A,F B+ = B,G,H C+= C,G D+=D F+=F

Klíč schématu relace Množina atributů K R je klíčem R, pokud jsou všechny atributy schématu R funkčně závislé na K Tedy pokud K všechny atributy R Zjistit klíč schématu můžeme pomocí uzávěru K+ a zjistím, jestli obsahuje všechny atributy z relace R Můžeme mít více klíčů, obvykle nás pak zajímá ten nejkratší

Minimální neredundantní funkční závislosti V množině FZ se mohou nacházet nadbytečné FZ. Stejně tak některé atributy na levé straně některých FZ mohou být nadbytečné. 1. Musíme rozložit dané FZ na tzv. elementární FZ 2. Vypočteme uzávěry pro levé strany FZ 3. Nalezneme a odstraníme redundantní FZ 4. Nalezneme a odstraníme redundantní atributy na levých stranách FZ

Minimální neredundantní funkční závislosti Redundantní funkční závislosti R(X, Y, Z) F(X YZ, Y XZ) Rozklad FZ na tzv. elementární FZ F(X Y, X Z, Y X, Y Z) Uzávěry levých stran FZ X+ = XYZ Y+ =YXZ Postupně vezmeme každou FZ a zkusíme ji odstranit, zda-li je redundantní Odstraníme X Y, X+ = XZ (neobsahuje Y, není redundantní) Odstraníme X Z, X+ = XYZ (obsahuje vše co původní, je redundantní) Odstraníme Y X, Y+ = YZ (neobsahuje X, není redundatní) Odstraníme Y Z, Y+ = YXZ (obsahuje vše co původní, je redundantní)

Minimální neredundantní funkční závislosti Redundantní funkční závislosti R(X, Y, Z) F(X YZ, Y XZ) Rozklad FZ na tzv. elementární FZ F(X Y, X Z, Y X, Y Z) Výsledek je, že máme dvě možné neredundantní množiny FZ: 1. {X Y, Y X, Y Z} 2. {X Y, X Z, Y X}

Minimální neredundantní funkční závislosti Odstranění redundantních atributů Testujeme pouze tam, kde je na levé straně více atributů R(A, B, C, D, E) F(ABC D, E C, AB E, C D) Musíme určit uzávěr ABC ABC+ = ABCDE Poté určíme uzávěry AB+, BC+, AC+, AB+ = ABCDE BC+ = BCD AC+ = ACD Atribut C je redundantní, jelikož ABC+ = AB+ Výsledkem tedy je tato množina FZ {AB DE, E C, C D}

Minimální neredundantní pokrytí Příklad R(A,B,C,D,E) F={A B, BC D, D BC, C A} Vypočtěte minimální neredundantní pokrytí a poté určete klíč schématu.